index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
BoogieDriver
Commit message (
Expand
)
Author
Age
...
*
Updated the frame files to work with the latest Coco/R. This entails *not* ha...
mikebarnett
2010-06-22
*
Added another option for lazy inlining based on macro expansion. This option...
qadeer
2010-05-03
*
First cut of lazy inlining. The option can be turned on by the flag /lazyInl...
qadeer
2010-04-17
*
added an option /doModSetAnalysis specially for Zvonimir
qadeer
2010-02-20
*
Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...
MichalMoskal
2010-02-19
*
1. Removed a quadratic loop in SimplifyLikeLineariser.ssc in favor of a linea...
qadeer
2010-02-16
*
Implemented block coalescing invoked right after type checking.
qadeer
2010-02-16
*
(no commit message)
qadeer
2010-02-12
*
1. Fixed bug in StandardVisitor.ssc
qadeer
2010-02-09
*
Preparing Isabelle plugin sources for VCC release.
stobies
2010-02-08
*
doomed stuff: minor bug fixes / improved output / more test cases
schaef
2009-11-19
*
* Boogie and Dafny: added /cev:<file> option
rustanleino
2009-09-15
*
Sign assemblies
stobies
2009-08-17
*
Initial set of files.
mikebarnett
2009-07-15
[prev]