index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Changed the 'verifySnapshots' command-line option to accept a numeric argumen...
wuestholz
2014-06-20
*
Fixed crash in resolver
Rustan Leino
2014-06-19
*
Fix bug in BigDec.FromString() which would not parse negative
Dan Liew
2014-06-18
*
Added mechanism for getting the variables referenced by a loop (not just the ...
Ally Donaldson
2014-06-09
*
Fixed a bug in revised mod set analysis
Ally Donaldson
2014-06-06
*
Refactored modset analysis to avoid the use of static fields. Static fields ...
Ally Donaldson
2014-06-06
*
Merge
Ally Donaldson
2014-06-06
|
\
*
|
Small refactoring
Ally Donaldson
2014-06-06
*
|
Made VarsAssignedInLoop public, since it can be useful in computing modifies ...
Ally Donaldson
2014-06-06
|
*
updated golden outputs and removed irrelevant tests
qadeer
2014-06-02
|
*
Merge
qadeer
2014-06-02
|
|
\
|
*
|
various fixes
qadeer
2014-06-02
|
|
*
Added more tests (snapshots).
wuestholz
2014-05-30
|
|
*
Add isBvConst and asBvConst accessors to LiteralExpr to match the
Dan Liew
2014-05-28
|
|
*
Documented the clean.py script
Dan Liew
2014-05-28
|
|
*
Document lit's ``-s`` option.
Dan Liew
2014-05-28
|
|
*
Merge.
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
|
|
/
/
|
/
|
|
|
|
*
Fixed minor issue.
wuestholz
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
|
*
|
Merge
Ally Donaldson
2014-05-28
|
|
\
\
|
*
|
|
Refactored ConcurrentHoudini and Houdini to (significantly) reduce duplicatio...
Ally Donaldson
2014-05-28
|
*
|
|
Removed printing code from candidate dependence analyser
Ally Donadlson
2014-05-28
|
*
|
|
Small cleanup in Staged Houdini
Ally Donaldson
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
|
|
\
\
|
|
/
/
|
/
|
|
|
*
|
Fixed state capture concurrency bug with Staged Houdini
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
*
|
|
Merge
Dan Liew
2014-05-27
|
\
|
|
*
|
|
Added simple python implementation of diff to replace using the
Dan Liew
2014-05-27
|
*
|
Merge
Ally Donaldson
2014-05-27
|
|
\
\
|
|
/
/
|
/
|
|
|
*
|
Undid accidental commit
Ally Donaldson
2014-05-27
*
|
|
Implemented an additional type check for assumption variables.
wuestholz
2014-05-27
*
|
|
Added more tests (snapshots).
wuestholz
2014-05-27
|
*
|
Merge
Ally Donaldson
2014-05-27
|
*
|
Added key check to uniformity analysis
Ally Donaldson
2014-05-27
|
/
/
*
|
Merge duality changes
Ken McMillan
2014-05-26
|
\
\
|
*
|
Conjecture printing for duality and child user time tracking.
Ken McMillan
2014-05-26
|
|
*
Merge
qadeer
2014-05-21
|
|
|
\
|
|
_
|
/
|
/
|
|
|
|
*
a small fix
qadeer
2014-05-21
*
|
|
Set the following tests to expected failure under lit. Having these
Dan Liew
2014-05-19
*
|
|
Made the Boogie driver return an exit code.
wuestholz
2014-05-19
*
|
|
keep some stats for debugging
akashlal
2014-05-15
*
|
|
Delete '_admin' directory.
wuestholz
2014-05-13
|
|
/
|
/
|
*
|
Simplify Z3 executable discovery.
wuestholz
2014-05-12
[next]