~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2017-03-06	test: ConstantExpr, fix bogus test	Jiri Slaby
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2014-10-16	Fixed declaration of print_int that Travis complained about	Willem
2014-10-16	Fix the bug in printing 64bit numbers, set the test to expect passing. Change...	Willem
2014-10-15	Fixed test/Concrete/ConstantExpr.ll	Willem
2014-10-15	Added tests to _testingUtils.c (currently failing due to a bug in printing 64...	Willem
2014-10-08	Fixes support for passing arguments to klee in the ConcreteTests.	Willem
2014-09-14	Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still	Dan Liew
2014-09-13	[test/Concrete] Remove the Invoke*.ll tests.	Daniel Dunbar
2014-09-13	[test/Concrete] Update LLVM IR syntax.	Daniel Dunbar
2014-09-12	[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ...	Daniel Dunbar
2014-09-12	[tests] Update ConcreteTest to use --output-dir.	Daniel Dunbar
2014-09-12	Add a README for the Concrete tests.	Daniel Dunbar
2014-09-12	Fix up ConstantExpr to be deterministic with 64-bit addresses.	Daniel Dunbar
2014-09-12	Add support for testing Concrete tests via lit.	Daniel Dunbar
2014-09-12	Fix up Concrete Makefile to not remove outputs, so tests can run in parallel.	Daniel Dunbar
2014-09-12	Rewrite ConcreteTest.py to only run one test at a time.	Daniel Dunbar
2014-09-12	Update Concrete test Makefile for LLVM changes.	Daniel Dunbar
2014-09-12	Update testingUtils to use printf(), putchar() isn't a known external functio...	Daniel Dunbar
2014-09-12	Update FloatingPointOps concrete test case for LLVM changes.	Daniel Dunbar
2014-01-20	Add lit.local.cfg file for test/Concrete so no tests are executed	Dan Liew
2013-03-18	Patch and test case by Jiri Slaby to handle "initializing globals when	Cristian Cadar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar