| Age | Commit message (Expand) | Author |
|---|
| 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-03 | Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unconstr... | Hristina Palikareva |
| 2014-10-09 | Fixed passing of long double (and other big types) in var_args on x86_64. Rem... | Willem |
| 2014-10-09 | Add (currently failing) test to check for correct long double alignment in va... | Willem |
| 2014-09-14 | [Core] Fix a bug in how source file names were written in .istats files. | Daniel Dunbar |
| 2014-09-14 | [Module] Try harder to associate each instruction with source level debug info. | Daniel Dunbar |
| 2014-09-14 | [Core] Remove support for "--use-asm-addresses". | Daniel Dunbar |
| 2014-09-13 | These tests require --optimize=false to run successfully. | Cristian Cadar |
| 2014-09-12 | [Module] Fix handling of instructions without debug info. | Daniel Dunbar |
| 2014-09-12 | [tests] Rewrite MemoryLimit test to use larger allocations for "little" test ... | Daniel Dunbar |
| 2014-09-12 | [tests] Set --output-dir on all test runs, in support of running tests in par... | Daniel Dunbar |
| 2014-09-12 | XFAIL LargeReturnTypes.cpp on Darwin, it depends indirectly on using libstdcxx. | Daniel Dunbar |
| 2014-02-24 | Improved DumpStatesOnHalt.c to make sure there is always more than one instru... | Cristian Cadar |
| 2014-02-24 | Fixed AliasFunction.c and AliasFunctionExit.c to work also when optimizations... | Cristian Cadar |
| 2014-02-14 | Added C test case that checks that concrete and symbolic overshift | Dan Liew |
| 2014-02-14 | Fixed overshift of arithmetic right shift by symbolic so that it overshifts | Dan Liew |
| 2014-02-14 | Added C test case that checks that concrete and symbolic overshift | Dan Liew |
| 2014-02-14 | Added C test case that checks that concrete and symbolic overshift | Dan Liew |
| 2014-01-20 | Remove the last remnants (I think) of DejaGNU. Goodbye! | Dan Liew |
| 2014-01-20 | Fixed tests where llvm-gcc was called without the -emit-llvm flag. | Dan Liew |
| 2014-01-20 | Fixed Feature/InAndOutOfBounds.c so it did not make use of ! which | Dan Liew |
| 2014-01-20 | Fixed Feature/LongDouble.cpp test for llvm-lit by removed use of | Dan Liew |
| 2014-01-20 | Fixed many tests that make use of the file tool to check | Dan Liew |
| 2013-10-29 | Merge pull request #26 from delcypher/fix_divide_by_zero | Paul |
| 2013-10-17 | Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogging.c... | Hristina Palikareva |
| 2013-09-23 | Lower intrinsic instruction "llvm.trap" to a call of the abort() function. | Lei Zhang |
| 2013-09-02 | Implemented runtime check for overshift (controllable with --check-overshift | Dan Liew |
| 2013-09-02 | Fixed bug where divide by zero bugs would only be detected once in a program | Dan Liew |
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
| 2013-08-15 | Implemented llvm.umul.with.overflow | Martin Nowack |
| 2013-08-06 | Renaming solver-related command-line options in order to decouple them from S... | Hristina Palikareva |
| 2013-01-02 | Patch by Tomasz Kuchta that refactors the logging code, by introducing a new ... | Cristian Cadar |
| 2012-11-28 | Only emitting a warning, instead of failing on large mallocs. | Cristian Cadar |
| 2012-11-28 | Fixed fragile test case that depended too much on the code generated | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew: "Added primitive test that checks kleaver's new | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew which improves the logging options: "Removed | Cristian Cadar |
| 2012-09-12 | Restructured the command-line options for setting the search | Cristian Cadar |
| 2012-09-11 | Fixed test case to be independent of compiler optimizations and search heuris... | Cristian Cadar |
| 2012-07-20 | Fixed bug FPToSI bug reported by Peng Li. Added a simple test case. | Cristian Cadar |
| 2012-04-10 | Lowering support for the llvm.uadd.with.overflow intrinsic. | Peter Collingbourne |
| 2012-04-08 | Fixed --max-stp-time, which wasn't working unless --use-forked-stp was | Cristian Cadar |
| 2011-08-01 | Make the Executor capable of handling bitcasts of aliases, by rewriting the | Peter Collingbourne |
| 2011-07-29 | Sign extend, rather than zero extend, narrow gep indices | Peter Collingbourne |
