index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny1
/
ExtensibleArray.dfy
Commit message (
Expand
)
Author
Age
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
Changed ranking function for Seq, so that it's compatible with data types.
Unknown
2013-06-26
*
Made Test/vstte2012/RingBuffer.dfy and Test/dafny1/ExtensibleArray.dfy more s...
Rustan Leino
2013-04-22
*
Fixed bug in translation of method termination checks, and also fixed a (prev...
Rustan Leino
2013-01-23
*
Dafny: beautification in one test case, and fixed an Answer file
Rustan Leino
2011-09-29
*
Dafny: retired the "call" keyword
Rustan Leino
2011-05-26
*
Dafny: Fix parsing of if-then-else expressions, and don't require parentheses...
Rustan Leino
2011-04-21
*
Dafny: Allow field selections and array-element selection as LHSs of assignme...
Unknown
2011-04-05
*
Dafny: Added support for an initializing call as part of the new-allocation s...
rustanleino
2011-03-27
*
Dafny: added test harness to Test/dafny1/ExtensibleArray.dfy
rustanleino
2011-02-16
*
Dafny: added ExtensibleArray program as a test
rustanleino
2011-02-16