summaryrefslogtreecommitdiff
path: root/Binaries/DafnyRuntime.cs
Commit message (Expand)AuthorAge
* Dafny: allowed strictly finite datatypes in comprehensions, quantifiers, and ...Gravatar Jason Koenig2012-07-17
* Dafny: fixed a couple of compiler bugsGravatar Unknown2012-06-14
* Dafny: Added map comprehensions and updated display syntaxGravatar Unknown2012-05-31
* Dafny: Added compilation of finite mapsGravatar Unknown2012-05-25
* Dafny: added comment about how to mark the run-time expression-sequencing met...Gravatar Rustan Leino2012-01-04
* Dafny: compile let expressions efficiently (i.e., with an extra variable, not...Gravatar Rustan Leino2012-01-04
* Dafny: implemented compilation of parallel statementsGravatar Rustan Leino2011-10-25
* Added compilation support for multisets and sequences from arrays.Gravatar Jason Koenig2011-07-15
* Dafny: Dafny now uses the Euclidean definition of division. (Verifier and run...Gravatar Jason Koenig2011-07-08
* Dafny: added set comprehension expressionsGravatar Rustan Leino2011-05-18
* Dafny: fixed compilation bugs, added @-signs in front of identifiers to avoid...Gravatar Rustan Leino2011-05-11
* Dafny: added "choose" operator on setsGravatar rustanleino2011-03-26
* Dafny: compile quantifiersGravatar rustanleino2011-03-26
* Dafny: Compilation of multi-dimensional arraysGravatar rustanleino2010-09-21
* Dafny:Gravatar rustanleino2010-05-21
* Dafny:Gravatar rustanleino2010-05-13
* Changed the 'svn:ignore' property of /Binaries such that ALL currently not sv...Gravatar mschwerhoff2010-05-12
* Dafny:Gravatar rustanleino2010-05-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 23:27:25 +0000