about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2014-12-19Moved some of @ddunbar's notes from llvm.org/bugs into TODO.txtCristian Cadar
2014-12-18Merge pull request #178 from mchalupa/masterCristian Cadar
2014-12-13Add a few line breaks to make the code more readable inDan Liew
2014-12-13Clean up some ExprSMTLIBPrinter code by using llvm_unreachableDan Liew
2014-12-13Clean up a few comments in ExprSMTLIBPrinterDan Liew
2014-12-12Print nested let-abbreviations in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-12-09Merge pull request #186 from paulmar/fixshiftCristian Cadar
2014-12-08Merge pull request #183 from hpalikareva/fix-overshift-metasmtCristian Cadar
2014-12-08Fix overshift checkPaul Marinescu
2014-12-03Merge pull request #182 from hpalikareva/fix-test-prefer-cexCristian Cadar
2014-12-03Handling overshift behaviour in MetaSMTBuilderHristina Palikareva
2014-12-03Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unconstr...Hristina Palikareva
2014-12-02Unbreak compilation (in metaSMT configuration) by preventing the #defineHristina Palikareva
2014-12-02Fix typoDan Liew
2014-12-02Add a comment explaining why the query expr is being negated.Dan Liew
2014-12-02The printing of constraints and the QueryExpr have been merged into aDan Liew
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-12-01klee: let user override path to runtime libraryMarek Chalupa
2014-11-13Fix broken webpage link in README.mdDan Liew
2014-11-13Merge pull request #177 from jirislaby/destdirDan Liew
2014-11-13tools: prepend DESTDIR when installingJiri Slaby
2014-11-02Merge pull request #174 from delcypher/allow_stp_installed_in_rootDan Liew
2014-11-01Upstream libstp is no longer dependent on Boost so remove theDan Liew
2014-11-01configure: allow stp being installed in /Jiri Slaby
2014-10-31Merge pull request #173 from delcypher/switch_to_autoconf_2.69Cristian Cadar
2014-10-31Merge pull request #167 from willemp/willem/fix_64bit_printing_bug_in_testing...Dan Liew
2014-10-31Switch to using autoconf 2.69 this version is more commonly availableDan Liew
2014-10-16Fixed declaration of print_int that Travis complained aboutWillem
2014-10-16Fix the bug in printing 64bit numbers, set the test to expect passing. Change...Willem
2014-10-15Fixed test/Concrete/ConstantExpr.llWillem
2014-10-15Added tests to _testingUtils.c (currently failing due to a bug in printing 64...Willem
2014-10-09Add a hack for Travis so that llvm-gcc can build native executables.Dan Liew
2014-10-09Merge pull request #166 from willemp/willem/klee_opts_to_concrete_testsCristian Cadar
2014-10-08Fixes support for passing arguments to klee in the ConcreteTests.Willem
2014-09-25Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), no...Cristian Cadar
2014-09-19Removed code related to underConstrained, as it is unused (issue pointed out ...Cristian Cadar
2014-09-17Fix segfault under LLVM3.5 . I forgot to release ownership of theDan Liew
2014-09-17Fix more LLVM3.5 compilation issues.Dan Liew
2014-09-17Compilation fix for LLVM3.5 caused by the removal of sys::fs::F_Binary.Dan Liew
2014-09-17Another LLVM3.5 compilation fix.Dan Liew
2014-09-16[LLVM3.5] Update Kleaver for MemoryBuffer::getFileOrSTDIN changes.Daniel Dunbar
2014-09-16Fix #include under LLVM3.5. OwningPtr doesn't exist anymore.Dan Liew
2014-09-16Fix LLVM3.5 compilation a little more. ``Support/system_error.h``Dan Liew
2014-09-16Fix compilation error due to r199218. Maybe we should just remove thisDan Liew
2014-09-15Merge pull request #160 from MartinNowack/fix_dirconsistencyDaniel Dunbar
2014-09-15Generate fake files for test casesMartin Nowack
2014-09-15Merge pull request #157 from MartinNowack/fix_posix_printoutCristian Cadar
2014-09-15Merge pull request #158 from delcypher/remove_response_filesCristian Cadar
2014-09-15[Travis] Show commands as they execute inDan Liew
2014-09-15Merge pull request #134 from delcypher/coloured_error_messagesDan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-12 17:01:04 +0000