newca12 / scala-atp / 20

Builds Branch Commit Type Ran Committer Via Coverage
20 master Try to fix coveralls report (again) push newca12 travis-ci pending completion   set done
19 master Libraries update and cleanup push newca12 travis-ci pending completion   set done
18 master Pretty printer and many enhancements push newca12 travis-ci pending completion   set done
17 master Try to fix coveralls report push Olivier ROLAND travis-ci pending completion   set done
12 master Revert to old coveralls plugin (https://github.com/scoverage/sbt-scoverage/issues/2) push newca12 travis-ci pending completion   set done
10 master Libraries update and cleanup push newca12 travis-ci pending completion   set done
9 master Chap 2.6 : Disjunctive and conjunctive normal forms push newca12 travis-ci pending completion   set done
8 master camo side effect push newca12 travis-ci pending completion   set done
7 master Chap 2.5 : Simplification and negation normal form push newca12 travis-ci pending completion   set done
6 master Fix parsing of true and false push newca12 travis-ci pending completion   set done
5 master More tautologies and uncomment unit tests push newca12 travis-ci pending completion   set done
4 master Code is now faithfull to the book's code push newca12 travis-ci pending completion   set done
3 master Fix parse_prop_formula push newca12 travis-ci pending completion   set done
2 master Switch to Travis CI and coveralls push newca12 travis-ci pending completion   set done