~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2017-10-17	[travis] build metaSMT with C++11	Hoang M. Le
2017-10-17	[travis] update scripts to additionally test CVC4 and Yices2	Hoang M. Le
2017-05-02	[travis] add environment variable METASMT_BOOST_VERSION to control the boost ...	Hoang M. Le
2017-04-07	[travis] fix a git submodule failure of metaSMT	Hoang M. Le
2017-03-30	[TravisCI] Try unbreaking the TravisCI metaSMT build. Copying across	Dan Liew
2017-03-23	[TravisCI] Try to unbreak the metaSMT build.	Dan Liew
2017-03-23	[TravisCI] Check if `METASMT_VERSION` is set and abort if it is not	Dan Liew
2017-03-23	[travis] build metaSMT without C++11	Hoang M. Le
2017-03-23	[travis] use a proper version of metaSMT via environment variable METASMT_VER...	Hoang M. Le
2017-02-21	fix metaSMT version	Hoang M. Le
2017-01-19	[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b...	Dan Liew
2016-10-27	upgrade to boolector-2.2.0 & remove the no longer needed aux array vector	Hoang M. Le
2016-06-10	add metaSMT to travis	Hoang