index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny2
/
runtest.bat
Commit message (
Expand
)
Author
Age
*
Fixed some goof-ups in the test script edits
Rustan Leino
2012-10-04
*
Added Test/dafny3 and another test file for iterators (hey, you can even run ...
Rustan Leino
2012-10-04
*
Dafny: some test cases for "calc" (very cool!)
Unknown
2012-09-17
*
Dafny: added MonotonicHeapstate refinement example
Unknown
2012-08-09
*
Dafny: reinstated autocontracts
Jason Koenig
2012-07-02
*
Dafny: fixed some test cases
Jason Koenig
2012-06-28
*
Dafny: cleaned up test scripts a little
Unknown
2012-06-14
*
Dafny: beefed up allocation axioms for boxes stored in fields
Unknown
2012-06-12
*
Dafny: added some test programs
Rustan Leino
2012-06-08
*
Dafny: added StoreAndRetrieve refinement example
Unknown
2012-03-15
*
Dafny: implemented thresholds for the new interval domain (/infer:j)
Rustan Leino
2011-12-12
*
Dafny tests: Disabled SnapshotableTrees.dfy for now while performance issues ...
Rustan Leino
2011-12-07
*
Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...
Rustan Leino
2011-11-22
*
Added some Dafny and Boogie test cases, including Turing's factorial program,...
Rustan Leino
2011-11-03
*
Dafny: added COST Verification Competition challenge programs to test suite
Rustan Leino
2011-10-07
*
Dafny: Added TreeBarrier as a test case
peter mueller peter.mueller@inf.ethz.ch
2011-09-29
*
Dafny: added Snapshotable Trees example
Rustan Leino
2011-09-11