diff options
| author |  kyessenov <unknown> | 2010-07-02 18:50:44 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-07-02 18:50:44 +0000 |
| commit | 8680b6fec730fd740474d3d06ae80c7d4d6a21c4 (patch) | |
| tree | b82508257a16ecf9fe2c9564b194e8e7de0e468a /Build | |
| parent | 5ca0acb4630583e05a97254ae7d302b3408bddca (diff) | |
Added a simple refinement extension to Dafny. The new keywords are "refines" (for classes and methods) and "replaces .. by" (for coupling invariants.) Extended grammar, printer, resolver, and translator to support this extension. Compiler does not support the extension yet.
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions