Code

constant prop#56

Code

Open

hen3kr8 wants to merge 62 commits intowvisser:masterwvisser/green:masterfrom hen3kr8:masterCopy head branch name to clipboard

+508-14

Commits

Commits on Jul 24, 2018

• Update SATCanonizerTest.java

  hen3kr8

  authored
  082873f

  Copy full SHA for 082873f

• Update build.xml

  hen3kr8

  authored
  7d9cb3e

  Copy full SHA for 7d9cb3e

• Update SATCanonizerTest.java

  hen3kr8

  authored
  74c2b09

  Copy full SHA for 74c2b09

• Update build.xml

  hen3kr8

  authored
  ebbe294

  Copy full SHA for ebbe294

• Update build.xml

  hen3kr8

  authored
  adddf34

  Copy full SHA for adddf34

• Update SATCanonizerTest.java

  hen3kr8

  authored
  d9bf716

  Copy full SHA for d9bf716

• Update SATCanonizerTest.java

  hen3kr8

  authored
  247c29d

  Copy full SHA for 247c29d

• Update build.xml

  hen3kr8

  authored
  d08f02e

  Copy full SHA for d08f02e

Commits on Jul 25, 2018

• travis.yml update

  

  Hendrik Carel Krijt

  committed
  02794cb

  Copy full SHA for 02794cb

Commits on Jul 26, 2018

• fixing travis.yml

  

  Hendrik Carel Krijt

  committed
  cb4a73e

  Copy full SHA for cb4a73e

• Update .travis.yml

  hen3kr8

  authored
  8439628

  Copy full SHA for 8439628

• Update .travis.yml

  hen3kr8

  authored
  ba6e6a0

  Copy full SHA for ba6e6a0

• fixing travis

  

  Hendrik Carel Krijt

  committed
  23e24a8

  Copy full SHA for 23e24a8

• Update .travis.yml

  hen3kr8

  authored
  d82f39e

  Copy full SHA for d82f39e

• Update .travis.yml

  hen3kr8

  authored
  06363bc

  Copy full SHA for 06363bc

• Update .travis.yml

  hen3kr8

  authored
  8daf75a

  Copy full SHA for 8daf75a

• Update SATCanonizerTest.java

  hen3kr8

  authored
  dd82898

  Copy full SHA for dd82898

• Update SATCanonizerTest.java

  hen3kr8

  authored
  3729609

  Copy full SHA for 3729609

• Update SATCanonizerTest.java

  hen3kr8

  authored
  64cbcfc

  Copy full SHA for 64cbcfc

• Update SATCanonizerTest.java

  hen3kr8

  authored
  aa24bb8

  Copy full SHA for aa24bb8

• fixing travis

  

  Hendrik Carel Krijt

  committed
  d51f410

  Copy full SHA for d51f410

• fixing travis

  

  Hendrik Carel Krijt

  committed
  558d255

  Copy full SHA for 558d255

• fixing travis

  

  Hendrik Carel Krijt

  committed
  75e6f28

  Copy full SHA for 75e6f28

• fixing travis

  

  Hendrik Carel Krijt

  committed
  4b573cc

  Copy full SHA for 4b573cc

Commits on Jul 27, 2018

• fixing travis

  

  Hendrik Carel Krijt

  committed
  a6fdad1

  Copy full SHA for a6fdad1

Commits on Jul 30, 2018

• added name for container

  

  Hendrik Carel Krijt

  committed
  212f814

  Copy full SHA for 212f814

• added name for container

  

  Hendrik Carel Krijt

  committed
  dc3265e

  Copy full SHA for dc3265e

• Update README.md

  hen3kr8

  authored
  962ea26

  Copy full SHA for 962ea26

• edit readme, deliverable1

  

  Hendrik Carel Krijt

  committed
  675fe16

  Copy full SHA for 675fe16

• Merge branch 'master' of https://github.com/hen3kr8/green

  

  Hendrik Carel Krijt

  committed
  0118b50

  Copy full SHA for 0118b50

Commits on Jul 31, 2018

• Update SATCanonizerTest.java

  hen3kr8

  authored
  be3a45e

  Copy full SHA for be3a45e

• Update Dockerfile

  hen3kr8

  authored
  68a527c

  Copy full SHA for 68a527c

• Update SATCanonizerTest.java

  hen3kr8

  authored
  756c5c0

  Copy full SHA for 756c5c0

• Added broken test case to show it works

  hen3kr8

  authored
  1376bf3

  Copy full SHA for 1376bf3

• Removed broken test case

  hen3kr8

  authored
  9c23287

  Copy full SHA for 9c23287

• making sure DockerFile is correct

  

  Hendrik Carel Krijt

  committed
  2595eef

  Copy full SHA for 2595eef

• Merge branch 'master' of https://github.com/hen3kr8/green

  

  Hendrik Carel Krijt

  committed
  5f62556

  Copy full SHA for 5f62556

Commits on Aug 11, 2018

• start tut2

  

  Hendrik Carel Krijt

  committed
  21f4e01

  Copy full SHA for 21f4e01

Commits on Aug 13, 2018

• started simplification

  

  Hendrik Carel Krijt

  committed
  95485b4

  Copy full SHA for 95485b4

• forgot a ;

  

  Hendrik Carel Krijt

  committed
  65ade52

  Copy full SHA for 65ade52

• fixed some errors

  

  Hendrik Carel Krijt

  committed
  bd3434f

  Copy full SHA for bd3434f

• fixed some errors

  

  Hendrik Carel Krijt

  committed
  42bfb1c

  Copy full SHA for 42bfb1c

• fixed some errors

  

  Hendrik Carel Krijt

  committed
  0d873b4

  Copy full SHA for 0d873b4

• fixed some errors

  

  Hendrik Carel Krijt

  committed
  6b477a1

  Copy full SHA for 6b477a1

• fixed some errors

  

  Hendrik Carel Krijt

  committed
  7e35269

  Copy full SHA for 7e35269

• nitty gritty things

  

  Hendrik Carel Krijt

  committed
  42b6300

  Copy full SHA for 42b6300

• trying to fix propogation

  

  Hendrik Carel Krijt

  committed
  a829c80

  Copy full SHA for a829c80

• trying to fix propogation

  

  Hendrik Carel Krijt

  committed
  6ff4a00

  Copy full SHA for 6ff4a00

• trying to fix propogation

  

  Hendrik Carel Krijt

  committed
  33aa477

  Copy full SHA for 33aa477

• misplaced }

  

  Hendrik Carel Krijt

  committed
  a2471f9

  Copy full SHA for a2471f9

• testing

  

  Hendrik Carel Krijt

  committed
  173c4bb

  Copy full SHA for 173c4bb

• testing

  

  Hendrik Carel Krijt

  committed
  f359b97

  Copy full SHA for f359b97

• syntax error

  

  Hendrik Carel Krijt

  committed
  9e0a1a0

  Copy full SHA for 9e0a1a0

• syntax error

  

  Hendrik Carel Krijt

  committed
  dfef7a8

  Copy full SHA for dfef7a8

• still not propogating

  

  Hendrik Carel Krijt

  committed
  78943e3

  Copy full SHA for 78943e3

• still not propogating

  

  Hendrik Carel Krijt

  committed
  b4bd0e9

  Copy full SHA for b4bd0e9

Commits on Aug 14, 2018

• neatening code

  

  Hendrik Carel Krijt

  committed
  29447eb

  Copy full SHA for 29447eb

• neatening code

  

  Hendrik Carel Krijt

  committed
  1b0f878

  Copy full SHA for 1b0f878

• neatening code

  

  Hendrik Carel Krijt

  committed
  0525e45

  Copy full SHA for 0525e45

• taking out canonizer tests

  

  Hendrik Carel Krijt

  committed
  e2053da

  Copy full SHA for e2053da

• adding comments

  

  Hendrik Carel Krijt

  committed
  e3d2a8e

  Copy full SHA for e3d2a8e

• adding comments and javadocs

  

  Hendrik Carel Krijt

  committed
  8f5cfc3

  Copy full SHA for 8f5cfc3