about summary refs log tree commit diff homepage
path: root/unittests/Expr
AgeCommit message (Expand)Author
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2022-06-15Spelling Fixesm-davis
2020-04-30Move header files from lib/Expr to include/klee/Expr to eliminate includes us...Cristian Cadar
2019-12-12[optimize-array] Hash collision testTimotej Kapus
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-07-23Remove LLVM 2.9 from MakefilesMartin Nowack
2017-02-16Silenced warning: comparison of integers of different signs ('const int' and ...Andrea Mattavelli
2017-02-14Added unit tests for ReadExpr::create() to check that constant folding is cor...Andrea Mattavelli
2016-11-19[CMake] Remove unneeded dependency declarations for the unit tests.Dan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan Liew
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2014-05-30Fix ExprTest under LLVM 2.9Martin Nowack
2013-03-11Small patch by Dan Liew removing unnecessary line from a Makefile.Cristian Cadar
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-04-07Fix unittests build when using external STP.Peter Collingbourne
2010-04-29Fixed compilation of unit tests.Cristian Cadar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-06-09Remove Array::object.Daniel Dunbar
2009-06-09Remove Array::id.Daniel Dunbar
2009-06-09Switch Array* print-outs to use name instead of ID, and update a fewDaniel Dunbar
2009-06-04Change ConstantExpr::{alloc,create} to return a ref<ConstantExpr>Daniel Dunbar
2009-06-04Use dyn_cast<> instead of dyn_ref_cast.Daniel Dunbar
2009-06-03Kill off specialized ref<> forwarding methods, in the interest of making it aDaniel Dunbar
2009-06-02Use ConstantExpr::alloc instead of ref<Expr> directlyDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 10:39:26 +0000