Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Dafny: added ExtensibleArray program as a test | rustanleino | 2011-02-16 |
* | 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 |
* | 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-08 |