index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny1
Commit message (
Expand
)
Author
Age
...
*
Dafny: improved and corrected physical/ghost distinction
rustanleino
2011-03-26
*
Dafny: compile quantifiers
rustanleino
2011-03-26
*
Dafny: Fixed typo in P16 of Rippling benchmarks, which now makes it (true and...
rustanleino
2011-03-07
*
Dafny:
rustanleino
2011-03-06
*
Dafny: Added heuristic for when to turn on the induction tactic
rustanleino
2011-03-05
*
Dafny:
rustanleino
2011-03-04
*
Dafny:
rustanleino
2011-02-17
*
Dafny: added test harness to Test/dafny1/ExtensibleArray.dfy
rustanleino
2011-02-16
*
Dafny: added ExtensibleArray program as a test
rustanleino
2011-02-16
*
Dafny: added alternate version of PriorityQueue
rustanleino
2011-02-15
*
Dafny: every decreases clause implicitly ends with a never-ending sequence of...
rustanleino
2011-02-03
*
Dafny: implemented a more precise scheme for allowing use of a function's rep...
rustanleino
2011-02-03
*
Dafny: added ensures clauses to functions
rustanleino
2011-02-02
*
Dafny: Added Test/dafny1/PriorityQueue.dfy
rustanleino
2010-12-10
*
Dafny: Improved default decreases clauses for methods and functions
rustanleino
2010-11-25
*
Test/dafny1/KatzManna.dfy: Changed mocked up matrix class to use Dafny's bui...
rustanleino
2010-10-27
*
Boogie:
rustanleino
2010-10-26
*
Dafny: Compilation of multi-dimensional arrays
rustanleino
2010-09-21
*
Dafny:
rustanleino
2010-09-17
*
Dafny: Axiom about inverting a set union operation, similar to the recent on...
rustanleino
2010-07-09
*
Dafny:
rustanleino
2010-06-24
*
Boogie:
rustanleino
2010-06-22
*
Dafny: Added two additional heuristics for guessing missing loop decreases c...
rustanleino
2010-06-11
*
Dafny: Fix type bug in SplitExpr translation.
rustanleino
2010-06-08
*
Boogie:
rustanleino
2010-06-08
[prev]