Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tutorial 2 Multi-variable propagation only #41

Open
wants to merge 66 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
66 commits
Select commit Hold shift + click to select a range
b1b6987
Changed README.md
20039867 Jul 24, 2018
a239f0c
Updated README.md
20039867 Jul 24, 2018
956b2b5
Merge branch 'master' of https://github.com/20039867/green
20039867 Jul 24, 2018
6540289
Update SATCanonizerTest.java
20039867 Jul 24, 2018
fc60205
Corrected test case
20039867 Jul 24, 2018
dcc9a8a
Create Task_ANS
20039867 Jul 24, 2018
6692282
Rename Task_ANS to Task_ANSWERS
20039867 Jul 24, 2018
42159d0
Update .travis.yml
20039867 Jul 24, 2018
46bbb55
Update .travis.yml
20039867 Jul 24, 2018
8382346
Update .travis.yml
20039867 Jul 24, 2018
06652cf
Update .travis.yml
20039867 Jul 24, 2018
081545c
Update .travis.yml
20039867 Jul 24, 2018
9238fbb
Update .travis.yml
20039867 Jul 24, 2018
7ea872c
Update Dockerfile
20039867 Jul 24, 2018
882bf28
Update Dockerfile
20039867 Jul 24, 2018
2491851
Update .travis.yml
20039867 Jul 24, 2018
74a671d
Update .travis.yml
20039867 Jul 24, 2018
4a00ffd
Update .travis.yml
20039867 Jul 24, 2018
a44eee3
Update .travis.yml
20039867 Jul 24, 2018
35f882d
Update .travis.yml
20039867 Jul 24, 2018
fbd9781
Update .travis.yml
20039867 Jul 24, 2018
cd3560c
Update .travis.yml
20039867 Jul 24, 2018
5f21951
Update .travis.yml
20039867 Jul 24, 2018
de032b2
Update .travis.yml
20039867 Jul 24, 2018
5ad7ad4
Update .travis.yml
20039867 Jul 24, 2018
fd5b851
Update .travis.yml
20039867 Jul 29, 2018
8024f9b
Update .travis.yml
20039867 Jul 29, 2018
d431432
Add files via upload
20039867 Jul 29, 2018
e293166
Delete build.properties
20039867 Jul 29, 2018
0b03b78
Update .travis.yml
20039867 Jul 29, 2018
bb5bf9c
Update .travis.yml
20039867 Jul 29, 2018
616863b
Update .travis.yml
20039867 Jul 29, 2018
64234bd
Update Task_ANSWERS
20039867 Jul 29, 2018
efaaa06
new branch for tut2
20039867 Jul 31, 2018
672ff9e
Small change
20039867 Jul 31, 2018
aafcccd
added to comp
20039867 Jul 31, 2018
13cd1a8
compli
20039867 Jul 31, 2018
c2a9e56
Changed EntireSuite
20039867 Jul 31, 2018
c0f20fc
Changed import
20039867 Jul 31, 2018
05bc754
comm
20039867 Jul 31, 2018
0cd39b1
Update Dockerfile
20039867 Jul 31, 2018
b4414a4
ERROR PLEASE
20039867 Jul 31, 2018
ba9fece
Merge branch 'green_tut2' of https://github.com/20039867/green into g…
20039867 Jul 31, 2018
5ff101f
merge complete
20039867 Jul 31, 2018
c3869b2
Update Dockerfile
20039867 Jul 31, 2018
1ce92ce
Hopefully error again
20039867 Jul 31, 2018
a7c156a
Merge branch 'green_tut2' of https://github.com/20039867/green into g…
20039867 Jul 31, 2018
d817273
Update EntireSuite.java
20039867 Jul 31, 2018
a115d4f
Merge branch 'green_tut2' of https://github.com/20039867/green into g…
20039867 Jul 31, 2018
4bbc0a9
fixed stupid miss
20039867 Jul 31, 2018
6976732
Fixed spelling
20039867 Jul 31, 2018
017fd7b
Trying to figure out how this works BUT the travis IC is working
20039867 Jul 31, 2018
8fbb8d0
Compairing to canonoizer
20039867 Jul 31, 2018
c43f6ad
checking call
20039867 Jul 31, 2018
13b7c72
Update README.md
20039867 Jul 31, 2018
400af0a
fix
20039867 Jul 31, 2018
9bfa3d4
Merge branch 'green_tut2' of https://github.com/20039867/green into g…
20039867 Jul 31, 2018
ae2a4e0
Stealing canonizer code to see if it works
20039867 Aug 7, 2018
b611678
Added a ;
20039867 Aug 7, 2018
c4e18ff
Constant Propagation ONLY
20039867 Aug 13, 2018
c87182c
(x==1)&&((x+y)==10) and (x==1)&&(x==y) types working and added more t…
20039867 Aug 13, 2018
9023b73
Constant propagation ONLY v2
20039867 Aug 13, 2018
5a9891f
Constant Propagation ONLY v3
20039867 Aug 13, 2018
df9a624
Constant Propagation ONLY v4
20039867 Aug 13, 2018
45dddda
Constant Propagation ONLY v5
20039867 Aug 13, 2018
ea9c931
Constant Propagation ONLY v6 (Removed comment and added while limit
20039867 Aug 14, 2018
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update .travis.yml
20039867 authored Jul 24, 2018

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
commit 24918511f819d8c238962edb7692475b2c878fc7
13 changes: 7 additions & 6 deletions .travis.yml
Original file line number Diff line number Diff line change
@@ -1,11 +1,12 @@
sudo: required

language: java

services:
- docker

language: java

script:
- export TAG=`if [[ $TRAVIS_PULL_REQUEST == "false" ]] && [[ $TRAVIS_BRANCH == "master" ]]; then echo "latest"; else echo $TRAVIS_PULL_REQUEST_BRANCH; fi`
- export REPO=20039867/green
- docker build -t $REPO:$TAG -f Dockerfile .
before_install:
- docker build -t 20039867/green .
- docker run "ant;"
- docker ps -a
- docker run "ant test;"