index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Core
Commit message (
Expand
)
Author
Age
*
Fixed issue in the verification result caching.
wuestholz
2014-11-10
*
Worked on the verification result caching.
wuestholz
2014-11-10
*
Made it never include the statement checksum when printing assert statements.
wuestholz
2014-11-16
*
renamed :phase to :layer
qadeer
2014-11-14
*
Minor refactoring
wuestholz
2014-11-05
*
Let attributes live on during inlining
akashlal
2014-11-05
*
Worked on the verification result caching.
wuestholz
2014-11-05
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-11-02
*
Fixed an issue (reported by Akash Lal).
wuestholz
2014-10-30
*
Fixed minor issue (reported by Alex Summers).
wuestholz
2014-10-28
*
Worked on the verification result caching.
wuestholz
2014-10-19
*
Worked on the verification result caching.
wuestholz
2014-10-19
*
Did some refactoring.
wuestholz
2014-10-18
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-10-18
*
Worked on the verification result caching.
wuestholz
2014-10-17
*
Worked on the verification result caching.
wuestholz
2014-10-17
*
Worked on the verification result caching.
wuestholz
2014-10-17
*
Worked on the verification result caching.
wuestholz
2014-10-17
*
Did some refactoring.
wuestholz
2014-10-16
*
Minor change
wuestholz
2014-10-16
*
Worked on the verification result caching.
wuestholz
2014-10-15
*
Fix issue in computation of checksums for calls.
wuestholz
2014-10-15
*
Fix issue in computation of checksums for indented statements.
wuestholz
2014-10-15
*
Fix issue in computation of checksums for assume statements.
wuestholz
2014-10-14
*
Minor change
wuestholz
2014-10-14
*
Add '/traceCaching' flag.
wuestholz
2014-10-13
*
Implement ToString() override for TransferCmds. It is overriden for
Dan Liew
2014-10-13
*
Fix bug in the Duplicator.
Dan Liew
2014-10-08
*
Fix typos in the name of a property and method used for handling
Dan Liew
2014-10-08
*
Fix bug in Duplicator. Previously when cloning an entire Program
Dan Liew
2014-10-06
*
Improved on my fix to the Duplicator bug fixed in ca82591ab1f8.
Dan Liew
2014-10-06
*
Fix bug in Duplicator where GotoCmd's LabelTargets and LabelNames
Dan Liew
2014-10-05
*
Merge
akashlal
2014-09-27
|
\
*
|
Better fix for the duplicator, thanks to wuestholz
akashlal
2014-09-27
|
*
Fixed issue reported by Akash Lal.
wuestholz
2014-09-26
|
/
*
Fix for the duplicator; can't use Clone
akashlal
2014-09-26
*
The setter is better this way
akashlal
2014-09-25
*
Lets have a setter for TopLevelDeclarations as well
akashlal
2014-09-25
*
Simple VC generation for SI
akashlal
2014-09-24
*
Did more refactoring and addressed several todos.
wuestholz
2014-09-23
*
Did more refactoring.
wuestholz
2014-09-23
*
Did some refactoring.
wuestholz
2014-09-23
*
Fixed an issue in the verification result caching (recycled errors).
wuestholz
2014-09-22
*
a small fix to prefix calculation
qadeer
2014-09-19
*
a bug fix in Houdini (also AbsHoudini)
qadeer
2014-09-19
*
InlineAssume attribute for ensures clauses; if present, the ensures condition...
qadeer
2014-09-18
*
fixed various CodeContracts issues.
qadeer
2014-09-18
*
added a comment
qadeer
2014-09-17
*
fixed a bug in inlining
qadeer
2014-09-17
*
Added the ability to attach arbitary objects to Absy nodes using an
Dan Liew
2014-09-03
[next]