Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
8 | master | added support for java 8 lambda expressions | push | martinschaef | travis-ci | pending completion set done | |
7 | master | Update README.md | push | martinschaef | travis-ci | pending completion set done | |
6 | master | gradle shadowJar to build fatJar that is executable | push | martinschaef | travis-ci | pending completion set done | |
5 | master | removed one test case because it takes too long on travis | push | martinschaef | travis-ci | pending completion set done | |
3 | master | more test cases | push | martinschaef | travis-ci | pending completion set done | |
2 | master | removed old code | push | martinschaef | travis-ci | pending completion set done | |
1 | master | major refactoring. Changed build system to gradle. Replaced multiplication and division by uninterpreted functions | push | martinschaef | travis-ci | pending completion set done |