~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2017-07-19	Added some unit tests for TreeStream: one testing some basic behaviour, the ↵	Cristian Cadar
	other a regression test for #562
2016-09-29	Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)	Dan Liew
	* Add unittest to check that the `Assignment` class can evaluate expressions containing a `NotOptimizedExpr`. * Fix the `AssignmentTest.FoldNotOptimized` unit test by teaching the `ExprEvaluator` to fold `NotOptimizedExpr` nodes.
2016-02-23	Added missing copyright headers per klee/issue #301	Marko Dimjašević

2013-12-21	Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450	Dan Liew
	( Fix compilation of unittests under Clang )
2013-12-20	Fix compilation of unittests under Clang.	Dan Liew
	It seems the GTest header file in LLVM 3.3 (and possibly other versions) makes use of typeid() but the build system passes -fno-rtti. These are incompatible and if building with Clang then compilation will fail. GCC doesn't seem to care!
2013-07-23	BFS searcher.	Lei Zhang

2012-04-07	Patch by Seungbeom that fixes a memory management issue with Refs, and	Cristian Cadar
	associated unit test. More details at http://keeda.stanford.edu/pipermail/klee-commits/2012-February/000904.html git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154256 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8