index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny2
/
StoreAndRetrieve.dfy
Commit message (
Expand
)
Author
Age
*
This changeset changes the default visibility of a function/predicate body ou...
leino
2015-03-09
*
Stop pretty-print from emitting deprecated semi-colons.
qunyanm
2015-03-05
*
Disallow parentheses-less declarations of predicates and co-predicates, along...
leino
2014-08-27
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
Moved resolution of BinaryExpr.ResolveOp until the CheckTypeInference phase, ...
Rustan Leino
2013-04-01
*
renamed "abstract module" to "module facade"
Rustan Leino
2012-10-22
*
improved and fixed compilation and resolution of assign-such-that statements
Rustan Leino
2012-10-05
*
Dafny: updated test suite to new syntax
Jason Koenig
2012-07-30
*
Dafny: restored soundness for refinement by disallowing certain updates and m...
Jason Koenig
2012-07-11
*
Dafny: reinstated autocontracts
Jason Koenig
2012-07-02
*
Dafny: fixed a couple of compiler bugs
Unknown
2012-06-14
*
Dafny: support assign-such-that in var declarations in refinements
Unknown
2012-03-15
*
Dafny: added StoreAndRetrieve refinement example
Unknown
2012-03-15