Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-08-30 | Support KLEE with different STP versions; Disable r940 | Martin Nowack | |
Build STP version based on provided branch. Build current STP version 2.1.0 by default and test with master branch as well | |||
2015-06-15 | encrypted secrets with main klee repo key | Timotej | |
2015-06-15 | added zcov integration to travis CI | Timotej | |
2015-04-25 | Make sure TravisCI tests at least one Debug+Asserts build. | Dan Liew | |
2015-04-25 | Remove boost requirements from TravisCI build. | Dan Liew | |
2014-09-14 | [Travis] Stop building with both Clang and GCC for now, see comment. | Daniel Dunbar | |
2014-09-15 | Clean up travis build scripts a little. | Dan Liew | |
2014-09-14 | Remove dependence on the bc tool. Use python instead because we are | Dan Liew | |
already dependent on it. | |||
2014-09-13 | Enable ASSERTS in Travis builds. | Daniel Dunbar | |
2014-09-13 | Add TravisCI testing infrastructure files. | Dan Liew | |