index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Binaries
Commit message (
Expand
)
Author
Age
*
Boogie:
rustanleino
2010-06-22
*
Dafny:
rustanleino
2010-06-18
*
Dafny:
rustanleino
2010-05-21
*
Script that gathers the files for the binary distribution Boogie.zip.
rustanleino
2010-05-17
*
Dafny:
rustanleino
2010-05-13
*
Changed the 'svn:ignore' property of /Binaries such that ALL currently not sv...
mschwerhoff
2010-05-12
*
Dafny:
rustanleino
2010-05-06
*
Dafny:
rustanleino
2010-05-06
*
Dafny:
rustanleino
2010-03-31
*
Dafny: Ensures that function axioms are not being used while their consisten...
rustanleino
2010-03-19
*
Added a comment to the Makefile
mschwerhoff
2010-03-12
*
Update to F# 1.9.9.9.
MichalMoskal
2010-02-18
*
Dafny: Added if-then-else expressions (replacing and extending the previous b...
rustanleino
2010-02-04
*
Dafny: updated to reflect Boogie's new parsing of function arguments
rustanleino
2010-01-07
*
Added resolution and translation of algebraic datatypes and (in function bodi...
rustanleino
2009-11-20
*
Start (some parsing and resolution) of adding algebraic datatypes to Dafny.
rustanleino
2009-11-08
*
Added a sequence update expression in Dafny.
rustanleino
2009-11-06
*
Redesigned the encoding of Dafny generics, including the built-in types set a...
rustanleino
2009-11-06
*
Applied patch 4316, which fixes an unsoundness in the axiomatization of seque...
rustanleino
2009-11-05
*
Update F# binaries to Oct09 CTP
MichalMoskal
2009-10-30
*
Restoring Spec# binaries
stobies
2009-09-30
*
Fixed some bugs in the generation of bitvector input for Z3.
rustanleino
2009-09-29
*
Dafny: Added axioms for division and modulo.
rustanleino
2009-09-15
*
Dafny:
rustanleino
2009-09-14
*
Full (?) support in Dafny for Counterexample Visualizer predicates.
rustanleino
2009-08-19
*
Incorporated Counterexample Visualizer (CEV) information in the generated Boo...
rustanleino
2009-08-15
*
Changes needed in order to build Boogie using a freshly built Spec# compiler ...
mikebarnett
2009-08-10
*
Initial set of files.
mikebarnett
2009-07-15