~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2012-08-17	Small Makefile fix.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@162100 91177308-0d34-0410-b5e6-96231b3b80d8
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the ↵	Cristian Cadar
	--with-stp option mandatory: "1. At configure time the --with-stp= option is now mandatory. 2. The HAVE_EXT_STP macro has been removed. 3. The ENABLE_EXT_STP autoconf replacement variable has been removed and consequently the Makefile variable of the same name has been removed." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161055 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
	This patch adds a new configure option, --with-stp, which configures KLEE to use an external version of STP instead of the version in the source tree. It includes documentation referring users to the STP download location. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108347 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-02	Use ConstantExpr::alloc instead of ref<Expr> directly	Daniel Dunbar
	- The "constant optimization" embedded inside ref<Expr> is going away. - No functionality change. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72730 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-01	Modify eval() to return a cell reference instead of its contents.	Daniel Dunbar
	Add get{Dest,Argument}Cell for computing the cell to store instructions results and arguments into, respectuvely. Prep for moving fast path constant evaluation out of the Expr libraary itself. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72692 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