index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Binaries
/
DafnyRuntime.cs
Commit message (
Expand
)
Author
Age
*
Dafny: allowed strictly finite datatypes in comprehensions, quantifiers, and ...
Jason Koenig
2012-07-17
*
Dafny: fixed a couple of compiler bugs
Unknown
2012-06-14
*
Dafny: Added map comprehensions and updated display syntax
Unknown
2012-05-31
*
Dafny: Added compilation of finite maps
Unknown
2012-05-25
*
Dafny: added comment about how to mark the run-time expression-sequencing met...
Rustan Leino
2012-01-04
*
Dafny: compile let expressions efficiently (i.e., with an extra variable, not...
Rustan Leino
2012-01-04
*
Dafny: implemented compilation of parallel statements
Rustan Leino
2011-10-25
*
Added compilation support for multisets and sequences from arrays.
Jason Koenig
2011-07-15
*
Dafny: Dafny now uses the Euclidean definition of division. (Verifier and run...
Jason Koenig
2011-07-08
*
Dafny: added set comprehension expressions
Rustan Leino
2011-05-18
*
Dafny: fixed compilation bugs, added @-signs in front of identifiers to avoid...
Rustan Leino
2011-05-11
*
Dafny: added "choose" operator on sets
rustanleino
2011-03-26
*
Dafny: compile quantifiers
rustanleino
2011-03-26
*
Dafny: Compilation of multi-dimensional arrays
rustanleino
2010-09-21
*
Dafny:
rustanleino
2010-05-21
*
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