| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Answer | 1970 | logplain |
| -rw-r--r-- | COST-verif-comp-2011-1-MaxArray.dfy | 3133 | logplain |
| -rw-r--r-- | COST-verif-comp-2011-2-MaxTree-class.dfy | 5271 | logplain |
| -rw-r--r-- | COST-verif-comp-2011-2-MaxTree-datatype.dfy | 2941 | logplain |
| -rw-r--r-- | COST-verif-comp-2011-3-TwoDuplicates.dfy | 5312 | logplain |
| -rw-r--r-- | COST-verif-comp-2011-4-FloydCycleDetect.dfy | 20003 | logplain |
| -rw-r--r-- | Calculations.dfy | 6994 | logplain |
| -rw-r--r-- | Classics.dfy | 3602 | logplain |
| -rw-r--r-- | Intervals.dfy | 1731 | logplain |
| -rw-r--r-- | MajorityVote.dfy | 16562 | logplain |
| -rw-r--r-- | MonotonicHeapstate.dfy | 3630 | logplain |
| -rw-r--r-- | SegmentSum.dfy | 878 | logplain |
| -rw-r--r-- | SnapshotableTrees.dfy | 17855 | logplain |
| -rw-r--r-- | StoreAndRetrieve.dfy | 1763 | logplain |
| -rw-r--r-- | TreeBarrier.dfy | 4149 | logplain |
| -rw-r--r-- | TreeFill.dfy | 741 | logplain |
| -rw-r--r-- | TuringFactorial.dfy | 509 | logplain |
| -rw-r--r-- | runtest.bat | 1217 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |