| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2014-10-15 | Added tests to _testingUtils.c (currently failing due to a bug in printing 64... | Willem |
| 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-10-08 | Fixes support for passing arguments to klee in the ConcreteTests. | Willem |
| 2014-09-15 | Generate fake files for test cases | Martin Nowack |
| 2014-09-15 | Merge pull request #157 from MartinNowack/fix_posix_printout | Cristian Cadar |
| 2014-09-15 | Remove --read-args command line option because this feature has been | Dan Liew |
| 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 | [tests] Enable running tests in parallel. | Daniel Dunbar |
| 2014-09-14 | [Core] Remove support for "--use-asm-addresses". | Daniel Dunbar |
| 2014-09-14 | Use klee-libc for this test, as it runs when configured w/o uclibc. | Daniel Dunbar |
| 2014-09-14 | Enable test case again | Martin Nowack |
| 2014-09-14 | Use not test instead of non-existing FAIL. | Martin Nowack |
| 2014-09-14 | Fix testcase FD_Fail2.c | Martin Nowack |
| 2014-09-14 | [Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this preve... | Daniel Dunbar |
| 2014-09-14 | Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still | Dan Liew |
| 2014-09-13 | [tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines. | Daniel Dunbar |
| 2014-09-13 | [test/Concrete] Remove the Invoke*.ll tests. | Daniel Dunbar |
| 2014-09-13 | [test/Concrete] Update LLVM IR syntax. | Daniel Dunbar |
| 2014-09-13 | test/lit.site.cfg is never deleted, leading to misconfiguration errors. | Cristian Cadar |
| 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] Run 'make clean' prior to starting tests. | Daniel Dunbar |
| 2014-09-12 | [tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ... | Daniel Dunbar |
| 2014-09-12 | [tests] Rewrite MemoryLimit test to use larger allocations for "little" test ... | Daniel Dunbar |
| 2014-09-12 | [tests] Dramatically scale back the forks limit for our ImmutableSet 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 | [tests] Update ConcreteTest to use --output-dir. | Daniel Dunbar |
| 2014-09-12 | Add a README for the Concrete tests. | Daniel Dunbar |
| 2014-09-12 | Fix up ConstantExpr to be deterministic with 64-bit addresses. | Daniel Dunbar |
| 2014-09-12 | Add support for testing Concrete tests via lit. | Daniel Dunbar |
| 2014-09-12 | Fix up Concrete Makefile to not remove outputs, so tests can run in parallel. | Daniel Dunbar |
