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
...
*
(no commit message)
tabarbe
2010-06-29
*
(no commit message)
tabarbe
2010-06-29
*
(no commit message)
tabarbe
2010-06-29
*
(no commit message)
tabarbe
2010-06-29
*
Testing whether history of an old file remains after rename and commit.
tabarbe
2010-06-29
*
Simplified the translator by merging the ToplevelTraverser, ClassTraverser, a...
mikebarnett
2010-06-28
*
Chalice:
rustanleino
2010-06-25
*
Chalice: Applied patch #6192
mueller
2010-06-25
*
Unified the .frame files so that both Boogie and Dafny use exactly the same o...
mikebarnett
2010-06-25
*
slightly improved syntax file
kyessenov
2010-06-24
*
Dafny:
rustanleino
2010-06-24
*
Dafny:
rustanleino
2010-06-24
*
Updated the frame files to work with the latest Coco/R. This entails *not* ha...
mikebarnett
2010-06-22
*
Boogie:
rustanleino
2010-06-22
*
VIM syntax file for BPL. I just had it laying around.
MichalMoskal
2010-06-21
*
A simple highlighting syntax file for Vim.
kyessenov
2010-06-21
*
Dafny:
rustanleino
2010-06-19
*
Dafny:
rustanleino
2010-06-18
*
Added the factory pattern so that all traversers are created through factory ...
mikebarnett
2010-06-16
*
Derive IsabelleContext from DeclFreeProverContext
stobies
2010-06-16
*
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
[prev]
[next]