diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 15:19:53 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 15:19:53 -0700 |
| commit | a9c6c8fcf205a13c759c6f09e69b01d3b144df94 (patch) | |
| tree | dace58bcf26dcf09e5fd6466b951b0ad4ead5a71 /Util/vim | |
| parent | d9f97263c53b3493344a3399daa5402663179b33 (diff) | |
Dafny: removed div/mod axioms, since Boogie now interprets div/mod
Dafny: included FloydCycleDetect again (which had been temporarily commented out)
DafnyExtension: adjusted to Boogie's change in abstract-interpretation support
Diffstat (limited to 'Util/vim')
0 files changed, 0 insertions, 0 deletions