diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-04-24 23:08:47 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-04-24 23:08:47 +0100 |
| commit | 75544f809a86052e4cfe68f76edfcf43eb4d3165 (patch) | |
| tree | d2f0fa69c9d64f02f08bd9b988809057e9883659 /Source/Dafny/Translator.cs | |
| parent | 5d9f67a57accdd84dd124719f7155262eeeb3133 (diff) | |
Started refactoring invariant generation rules.
Diffstat (limited to 'Source/Dafny/Translator.cs')
0 files changed, 0 insertions, 0 deletions