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
...
*
Boogie:
rustanleino
2010-02-20
*
added an option /doModSetAnalysis specially for Zvonimir
qadeer
2010-02-20
*
Fix up the polymorphic case for lambda; it probably still isn't quite correct.
MichalMoskal
2010-02-19
*
Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...
MichalMoskal
2010-02-19
*
Boogie (Util): Added an Emacs flymake extension for BoogiePL.
wuestholz
2010-02-19
*
Boogie (Emacs mode): Added an alternative Emacs mode for BoogiePL. It support...
wuestholz
2010-02-19
*
Update to F# 1.9.9.9.
MichalMoskal
2010-02-18
*
Implement if-then-else expression.
MichalMoskal
2010-02-18
*
* Added "deprecated" comment in help message about /interprocInfer switch. T...
rustanleino
2010-02-18
*
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
*
Boogie: Peephole optimization to reduce depth of formulas created during VC ...
rustanleino
2010-02-15
*
eliminated the line printing version number in the golden output
qadeer
2010-02-13
*
Dafny:
rustanleino
2010-02-13
*
(no commit message)
qadeer
2010-02-12
*
1. Fixed bug in StandardVisitor.ssc
qadeer
2010-02-09
*
Boogie: /useArrayTheory currently implies /monomorphize
rustanleino
2010-02-09
*
Fix a bug in checking for {:inline} procedure attribute. Resolves #6993.
MichalMoskal
2010-02-08
*
Use reflection to read version string from assembly when displaying logo info...
stobies
2010-02-08
*
Removed Unicode chars from Assembly attributes - they are not liked too much ...
stobies
2010-02-08
*
Preparing Isabelle plugin sources for VCC release.
stobies
2010-02-08
*
Dafny: Added if-then-else expressions (replacing and extending the previous b...
rustanleino
2010-02-04
*
Fixed the implementation of inlining to deal with inlining depth properly.
qadeer
2010-01-30
*
Dafny: Added support for big integers.
rustanleino
2010-01-28
*
bugfix
schaef
2010-01-28
*
Added experimental feature /DoomDebug. Can be test using Test/doomed/doomdebu...
schaef
2010-01-28
*
Fixed bug in DEFTYPE declarations for maps. Made sure that argument and resu...
qadeer
2010-01-28
*
Implemented the command line switch /useArrayTheory. This switch should be u...
qadeer
2010-01-21
*
Chalice: Implemented -vs switch, for use when running Chalice from inside Vi...
rustanleino
2010-01-15
*
Dafny:
rustanleino
2010-01-14
*
Dafny: updated to reflect Boogie's new parsing of function arguments
rustanleino
2010-01-07
*
Chalice: updated Prelude to match new Boogie parsing of function parameters; ...
rustanleino
2010-01-06
*
Doomed checking now uses the counterexample trace to minimize the number of t...
schaef
2009-12-18
*
Allow ":" in addition to "returns" in function definitions. Make the pretty-p...
MichalMoskal
2009-12-17
*
Add makefile for running tests, allows "make -j4" to utilize multiple cores.
MichalMoskal
2009-12-17
*
Remove vcc1 testcase that never worked with Boogie2 and is testing obsolete b...
MichalMoskal
2009-12-17
*
Added prover plugin for Isabelle/HOL.
sboehme
2009-12-14
*
Revert the matching depth limit change from previous checkin: would break VCC.
MichalMoskal
2009-12-10
*
Z3 parameters to help it bail out of fruitless searches faster
mkawa
2009-12-05
*
print attributes in AssertCmd.Emit
mkawa
2009-12-02
*
Added code to (once again) print out prover warnings (under the /proverWarnin...
rustanleino
2009-11-26
*
* Added decreases clauses to functions
rustanleino
2009-11-24
*
Added resolution and translation of algebraic datatypes and (in function bodi...
rustanleino
2009-11-20
*
Setting up test cases for BCT
schaef
2009-11-20
*
(no commit message)
schaef
2009-11-20
*
Support {:PossiblyUnreachable} attribute on asserts
MichalMoskal
2009-11-20
*
Fixed bug in inlining (procedure *definitions* had been traversed by Standard...
rustanleino
2009-11-19
*
doomed stuff: minor bug fixes / improved output / more test cases
schaef
2009-11-19
*
modified the doom checking. It is now able to report only the relevant statem...
schaef
2009-11-18
*
Update use of CCI's API for decompiling the IL model to the Code Model.
mikebarnett
2009-11-17
[prev]
[next]