|
Failed to load latest commit information. |
|
.ci
|
no emails
|
Jun 29, 2018
|
|
|
examples
|
* Added a dedicated folder with examples to the project root
|
Aug 16, 2018
|
|
|
misc
|
small logo
|
Jul 20, 2018
|
|
|
obsolete
|
cleanup
|
Jul 8, 2018
|
|
|
project
|
bump app sbt-assembly version
|
Jul 2, 2018
|
|
|
src
|
* Added a dedicated folder with examples to the project root
|
Aug 16, 2018
|
|
|
.gitignore
|
Dumping stats to a CSV file
|
Jun 18, 2018
|
|
|
.jvmopts
|
Travis CI configuration
|
Jun 28, 2018
|
|
|
.travis.yml
|
Fixing Scala typing bug.
|
Jul 6, 2018
|
|
|
LICENSE
|
licence updated
|
Jul 2, 2018
|
|
|
README.md
|
Update README.md
|
Aug 24, 2018
|
|
|
application.conf
|
Cleanup in SMT-related tests. Deprecating CVC4 for now.
|
Jun 30, 2018
|
|
|
build.sbt
|
Renaming examples and benchmarks for consistency with the presentation
|
Jul 11, 2018
|
|
|
gen-table.py
|
Update table and revert the srtl definition I changed accidentally
|
Jul 12, 2018
|
|
|
logback.xml
|
Better runner
|
Jul 2, 2018
|
|
|
suslik
|
Better runner
|
Jul 2, 2018
|