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
...
*
Improved error messages for doomed program points.
schaef
2010-06-15
*
Dafny:
rustanleino
2010-06-14
*
Dafny: Added two additional heuristics for guessing missing loop decreases c...
rustanleino
2010-06-11
*
fixed a compiler warning about initialization of a non-null field inside the ...
qadeer
2010-06-10
*
Dafny: Another bug fix in SplitExpr, having to do with generic results of fu...
rustanleino
2010-06-09
*
Chalice: fixed bug in the exhale of permissions (to handle negative epsilons)
mueller
2010-06-09
*
Dafny: Fix type bug in SplitExpr translation.
rustanleino
2010-06-08
*
Dafny: For functions with an empty decreases clause that use the reads clause...
rustanleino
2010-06-08
*
Boogie:
rustanleino
2010-06-08
*
Consistently use the new code pattern for translating locations to tokens and...
mikebarnett
2010-06-07
*
Added forgotten file.
mikebarnett
2010-06-06
*
Updated the project to .NET v4.0.
mikebarnett
2010-06-06
*
Dafny:
rustanleino
2010-06-05
*
added lazyinline to the regressions
qadeer
2010-05-28
*
Updated to find the latest version of Z3 (2.7) and made the algorithm slightl...
wuestholz
2010-05-28
*
changed the behavior of /loopUnroll:n so that the parameter n is applied per ...
qadeer
2010-05-26
*
Dafny: Allow < and > for comparisons of datatype values (which then compares ...
rustanleino
2010-05-21
*
Dafny:
rustanleino
2010-05-21
*
Dafny: Fixed crash in parser (that occurred when the Dafny input had a parti...
rustanleino
2010-05-18
*
Script that gathers the files for the binary distribution Boogie.zip.
rustanleino
2010-05-17
*
Boogie:
rustanleino
2010-05-15
*
Dafny:
rustanleino
2010-05-13
*
Changed the 'svn:ignore' property of /Binaries such that ALL currently not sv...
mschwerhoff
2010-05-12
*
BCT: Added prelude. Started test1 as a test of verification.
rustanleino
2010-05-12
*
Dafny:
rustanleino
2010-05-08
*
Dafny:
rustanleino
2010-05-06
*
Dafny:
rustanleino
2010-05-06
*
Added another option for lazy inlining based on macro expansion. This option...
qadeer
2010-05-03
*
Updated to find the latest version of Z3 (2.6).
wuestholz
2010-05-02
*
1. Fixed lazy inlining implementation so that inlined procedures use live var...
qadeer
2010-04-30
*
1. couple of bug fixes in interprocedural error trace generation
qadeer
2010-04-23
*
Added callee args information to calleeCounterexamples
qadeer
2010-04-21
*
Fixed bug in translation of select/store arguments that are Boolean
qadeer
2010-04-20
*
Fixed bug in interprocedural counterexample generation
qadeer
2010-04-19
*
1. Fixed an off-by-one error in parsing array partitions in Z3 models
qadeer
2010-04-19
*
Forgotten to turn the echo off.
mikebarnett
2010-04-19
*
Updated list of tests to just include test0.
mikebarnett
2010-04-19
*
New, simpler way of running regressions.
mikebarnett
2010-04-19
*
Fixed a bug. Call RegisterType before the collection of Select and Store fun...
qadeer
2010-04-19
*
First cut of lazy inlining. The option can be turned on by the flag /lazyInl...
qadeer
2010-04-17
*
Moved BCT project references for Boogie to the Boogie\Binaries directory.
rustanleino
2010-04-16
*
Upgraded solution file and project file to VS2010.
mikebarnett
2010-04-16
*
Updated to use new CCI API.
mikebarnett
2010-04-16
*
Dafny: Removed the previous optional curly braces in match expressions (use p...
rustanleino
2010-04-02
*
Dafny:
rustanleino
2010-03-31
*
Dafny: Ensures that function axioms are not being used while their consisten...
rustanleino
2010-03-19
*
Dafny:
rustanleino
2010-03-18
*
Dafny:
rustanleino
2010-03-16
*
Dafny:
rustanleino
2010-03-16
*
Dafny: Added definedness checks for all statements (previously, some were mi...
rustanleino
2010-03-13
[prev]
[next]