index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
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
|
*
Merge
qadeer
2014-06-02
|
|
\
|
*
|
various fixes
qadeer
2014-06-02
|
|
*
Add isBvConst and asBvConst accessors to LiteralExpr to match the
Dan Liew
2014-05-28
|
|
*
Fixed minor issue.
wuestholz
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
*
|
Fixed state capture concurrency bug with Staged Houdini
Ally Donaldson
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
*
|
|
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
*
|
|
Made the Boogie driver return an exit code.
wuestholz
2014-05-19
*
|
|
keep some stats for debugging
akashlal
2014-05-15
|
|
/
|
/
|
*
|
Simplify Z3 executable discovery.
wuestholz
2014-05-12
*
|
Added stack bounding
akashlal
2014-05-10
|
*
Merge extra recuresion bound changes for FixedPointVC
Ken McMillan
2014-04-21
|
|
\
*
|
|
Teach the ExecutionEngine to respect the -useBaseNameForFileName commandline
Dan Liew
2014-04-09
*
|
|
Added /useBaseNameForFile command line argument. The Scanner
Dan Liew
2014-04-06
*
|
|
a bug fix
qadeer
2014-05-07
*
|
|
added {:aux} attribute to local variables
qadeer
2014-05-07
*
|
|
third checkpoint (refactored more code)
qadeer
2014-05-05
*
|
|
second checkpoint
qadeer
2014-05-04
*
|
|
checkpoint
qadeer
2014-05-03
*
|
|
bug fix in the last update
qadeer
2014-04-25
*
|
|
updated the mover checks
qadeer
2014-04-25
*
|
|
Add support for assumption variables.
wuestholz
2014-04-21
*
|
|
added simulation relation computation to yield type checking
qadeer
2014-04-20
*
|
|
fixed some bugs in the previous check ins
qadeer
2014-04-16
*
|
|
added the framing for the refinement check
qadeer
2014-04-16
*
|
|
Merge
qadeer
2014-04-16
|
\
\
\
*
|
|
|
added variable hiding
qadeer
2014-04-16
|
*
|
|
Minor fix to abshoudini
akashlal
2014-04-16
|
*
|
|
Fixed malformed Contracts section
Rustan Leino
2014-04-15
|
|
|
*
Added extra recursion bound and preconditions to FixedpointVC.
Ken McMillan
2014-03-17
|
*
|
|
disabled quantifier merging, except when no triggers are provided (as discuss...
Unknown
2014-03-03
|
/
/
/
[next]