~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2017-07-28	Fixed script for STP in Travis-CI: Build now exits on errors	Andrea Mattavelli

2017-07-28	Modified Travis-CI script to compile STP with BOOST support	Andrea Mattavelli

2017-05-23	[TravisCI] Try to unbreak the build against upstream STP.	Dan Liew
	It seems there are have been quite a few changes upstream that change the way CMake is invoked. There doesn't seem to be any good reason for doing this.
2017-03-30	[TravisCI] Make handling of `TRAVIS_OS_NAME` more robust by not assuming	Dan Liew
	that its value not being `linux` implies `osx`.
2017-03-24	[Travis-CI] Added support for macOS build	Andrea Mattavelli

2017-01-19	[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan ↵	Dan Liew
	builds of KLEE. Two configurations (one for each build system) have been added to TravisCI to do an ASan build.
2015-08-31	Delete old patches.	Martin Nowack
	Say farewell to r940.
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-04-25	Remove boost requirements from TravisCI build.	Dan Liew

2015-04-09	Switch to using STP's fork of minisat for TravisCI. It contains fixes	Dan Liew
	needed by Clang.
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
	fix travis build of upstream STP and also how KLEE links against STP.
2014-09-15	Capture STP build output to file and only show its contents if there	Dan Liew
	is a build failure. This is so the output shown in the TravisCI web interface is kept small.
2014-09-13	Add TravisCI testing infrastructure files.	Dan Liew