logic-ng / LogicNG / 35

Builds Branch Commit Type Ran Committer Via Coverage
35 master IntelliJ codestyle push czengler travis-ci pending completion   set done
34 master fixed a bug in Assignment and added unit tests for Assignment's fast-evaluation feature push Steffen Hildebrandt travis-ci pending completion   set done
33 master removed an unused import push Steffen Hildebrandt travis-ci pending completion   set done
32 master fixed examples in Getting Started push Steffen Hildebrandt travis-ci pending completion   set done
31 master removed some unused code from Glucose (only used in parallel mode) push czengler travis-ci pending completion   set done
30 master Detailed release plan and changelog push czengler travis-ci pending completion   set done
29 master Update README.md push czengler travis-ci pending completion   set done
28 v1.0-RC2 Release Candidate 2 push czengler travis-ci pending completion   set done
27 master Release Candidate 2 push czengler travis-ci pending completion   set done
26 master Excluded generated sources from test coverage push czengler travis-ci pending completion   set done
25 master Removed AIG writer for 1.0 and implemented file writer test push czengler travis-ci pending completion   set done
24 master Renamed parser package push czengler travis-ci pending completion   set done
22 master improved the SAT tests, more test coverage on formulas push czengler travis-ci pending completion   set done
21 master More testing for formulas and datastructures push czengler travis-ci pending completion   set done
20 master Update README.md push czengler travis-ci pending completion   set done