Age | Commit message (Expand) | Author |
2016-05-28 | Fixed an incorrect read() invocation and missing includes for FD_Fail2.c | Cristian Cadar |
2016-05-27 | Merge pull request #396 from andreamattavelli/fix_kleaver_parser | Cristian Cadar |
2016-05-24 | Split creation of symbolic files and stdin in two distinct options | Andrea Mattavelli |
2016-05-24 | Fixed bug #375 in Kleaver's parser | Andrea Mattavelli |
2016-05-18 | Modified -debug-print-instructions to allow to write directly on log file. | Andrea Mattavelli |
2016-04-17 | Merge pull request #359 from delcypher/fix_indep_solver_bug | Cristian Cadar |
2016-04-14 | This test passes under 2.9, so it cannot be used as an XFAIL. We can enable ... | Cristian Cadar |
2016-04-14 | Added test case with the examples from https://github.com/klee/klee/issues/33... | Cristian Cadar |
2016-04-08 | Rename KLEE command line options from | Dan Liew |
2016-03-22 | Try to fix #348 | Dan Liew |
2016-02-25 | Added support to load libraries from command line | Omer Anson |
2016-02-14 | Try to fix the TravisCI build when using Z3 as the solver. The | Dan Liew |
2016-01-12 | Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing | Dan Liew |
2015-12-19 | Implement support for lowering the ``llvm.objectsize`` intrinsic | Dan Liew |
2015-12-17 | Fixed a bug with how non power 2 values were written to memory, added test fo... | Timotej Kapus |
2015-12-16 | Propagate AddressSanitizer, LeakSanitizer (part of AddressSanitizer), | Dan Liew |
2015-12-11 | Change SilentKleeAssume.c test slightly so that | Dan Liew |
2015-12-11 | Add command line flag ``--silent-klee-assume``to suppress errors due to | Valentin Wüstholz |
2015-11-08 | Merge pull request #269 from MartinNowack/fix_srem | MartinNowack |
2015-09-25 | Don't use /tmp for futimesat unit test | Andrew Chi |
2015-09-22 | [STPBuilder] Generate SRrem expressions correctly | Martin Nowack |
2015-09-21 | Merge pull request #274 from MartinNowack/fix_sdiv_1 | Cristian Cadar |
2015-09-05 | Allow to generate initial values with empty constraint set | Martin Nowack |
2015-08-30 | Fix signed division by constant 1/ -1 | Martin Nowack |
2015-08-21 | Merge pull request #251 from ret2libc/entryFnParam | Cristian Cadar |
2015-08-14 | test: add Feature test for EntryPoint option | Riccardo Schirone |
2015-04-29 | Fix assertion failure in getDirectCallTarget | Sean Bartell |
2015-04-19 | Fixed RewriteEqualities input to be more resilient to differences in compilat... | Cristian Cadar |
2015-04-19 | Temportily marking RewriteEqualities test as XFAIL. | Cristian Cadar |
2015-04-19 | Added a new test case that checks the --rewrite-equalities optimisation. The... | Cristian Cadar |
2015-04-15 | Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift | Dan Liew |
2015-04-01 | [test] Fix compilation warning | Martin Nowack |
2015-04-01 | [tests] Fix undefined function | Martin Nowack |
2015-03-20 | Improve arithmetic-right-overshift-sym-conc.c test by make sure it | Dan Liew |
2015-03-02 | New regression test checking that the Array factory correctly distinguishes b... | Cristian Cadar |
2015-02-13 | Fixed and refactored overflow test cases. | Cristian Cadar |
2015-02-13 | refactor integer overflow detection, add signed int | Luca Dariz |
2015-02-13 | Fix overflow detection in unsigned multiplication | Luca Dariz |
2015-02-13 | add tests for unsigned integer overflow | Luca Dariz |
2015-02-13 | Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub" | Cristian Cadar |
2015-02-10 | Merged @luckyluke's change for detecting overflow of unsigned add, sub | Cristian Cadar |
2014-12-19 | Merge pull request #168 from willemp/fix-va-args-passing-for-big-types | Cristian Cadar |
2014-12-12 | Print nested let-abbreviations in ExprSMTLIBPrinter | Raimondas Sasnauskas |
2014-12-08 | Fix overshift check | Paul Marinescu |
2014-12-03 | Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unconstr... | Hristina Palikareva |
2014-12-02 | The printing of constraints and the QueryExpr have been merged into a | Dan Liew |
2014-12-02 | Implement :named and let abbreviation modes in ExprSMTLIBPrinter | Raimondas Sasnauskas |
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 |