index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
Commit message (
Expand
)
Author
Age
...
*
Worked on adding support for "canned errors".
wuestholz
2014-07-06
*
Did some refactoring, fixed minor issues, and made it apply the more advanced...
wuestholz
2014-07-06
*
Implemented an optimization for assignments to assumption variables that are ...
wuestholz
2014-07-04
*
Fixed issue involving axioms in the dependency analysis used for verification...
wuestholz
2014-07-03
*
Optimized the way that assertions are marked as partially verified.
wuestholz
2014-06-26
*
Fixed issue in verification result caching.
wuestholz
2014-06-26
*
Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"
Dan Rosén
2014-06-24
*
Worked on an extension of the existing verification result caching.
wuestholz
2014-06-23
*
Changed the 'verifySnapshots' command-line option to accept a numeric argumen...
wuestholz
2014-06-20
*
Fixed crash in resolver
Rustan Leino
2014-06-19
*
updated golden outputs and removed irrelevant tests
qadeer
2014-06-02
*
Added more tests (snapshots).
wuestholz
2014-05-30
*
Documented the clean.py script
Dan Liew
2014-05-28
*
Document lit's ``-s`` option.
Dan Liew
2014-05-28
*
Remove a few other old test infrastructure files. They
Dan Liew
2014-05-28
*
Removed old test infrastructure files except for
Dan Liew
2014-05-28
*
Merge
Dan Liew
2014-05-28
|
\
*
|
Report the python version being used when executing lit.
Dan Liew
2014-05-28
*
|
Fix running pydiff.py under Python 2.7
Dan Liew
2014-05-28
|
*
Updated an 'Answer' file (AbsHoudini).
wuestholz
2014-05-28
|
/
*
Merge
Dan Liew
2014-05-27
|
\
*
|
Fix lit test suite when running Boogie under a path that contains
Dan Liew
2014-05-27
|
*
Merge
Ally Donaldson
2014-05-27
|
|
\
|
|
/
|
/
|
*
|
Convert the AbsHoudini tests to lit tests. They weren't being run by the old
Dan Liew
2014-05-27
*
|
Added simple python implementation of diff to replace using the
Dan Liew
2014-05-27
|
/
*
Implemented an additional type check for assumption variables.
wuestholz
2014-05-27
*
Added more tests (snapshots).
wuestholz
2014-05-27
*
Set the following tests to expected failure under lit. Having these
Dan Liew
2014-05-19
*
Remove solver executable check under windows at the request
Dan Liew
2014-05-12
*
Converted test0/Arrays1.bpl test to OutputCheck style test.
Dan Liew
2014-05-12
*
Convert houd12.bpl into a OutputCheck style test and also pass
Dan Liew
2014-05-12
*
Added some documentation on the new testing infrastructure
Dan Liew
2014-05-11
*
Remove old testing script. Probably not much use anyway, the executable
Dan Liew
2014-05-11
*
Added script for cleaning up temporary files created by both the lit
Dan Liew
2014-05-11
*
Prevent lit tests from running on OSX/Linux if mono is not in
Dan Liew
2014-05-11
*
Remove some legacy test infrastructure for OSX/Linux
Dan Liew
2014-05-11
*
Remove old python testing scripts
Dan Liew
2014-05-11
*
Made lit tests slightly less fragile under OSX/Linux by passing flags to ignore
Dan Liew
2014-05-11
*
Enable as many "og" lit tests. Several fail because they weren't
Dan Liew
2014-05-11
*
Prevent running doomed tests. They weren't being run
Dan Liew
2014-05-10
*
Remove old copy of lit. It's too old to work with our current configuration
Dan Liew
2014-05-10
*
Unbreak the tests in test2 for batch file testing infrastructure
Dan Liew
2014-05-10
*
Added a sanity check to lit configuration so tests won't run
Dan Liew
2014-05-10
*
Enabled "linear type checking" lit tests.
Dan Liew
2014-05-07
*
Enabled symdiff lit test.
Dan Liew
2014-05-07
*
Enable snapshot test. This test is unusual in that it doesn't
Dan Liew
2014-05-07
*
Enabled "HAVOC-generated bpl files" lit tests.
Dan Liew
2014-05-07
*
Enabled "Extract loops benchmarks" lit tests.
Dan Liew
2014-05-07
*
Enabled the "Stratified inlining benchmarks" lit tests.
Dan Liew
2014-05-07
*
Added "STORM benchmarks for testing correctness of live variable analysis" li...
Dan Liew
2014-05-07
[prev]
[next]