diff options
author | 2010-05-13 19:02:06 +0000 | |
---|---|---|
committer | 2010-05-13 19:02:06 +0000 | |
commit | a660fb79bf527b42e3238b1810143f4fc3f3b827 (patch) | |
tree | 49ab2f1cdd38b97aaf8af0504fd32a986bbdd20f /Source/Dafny/Translator.ssc | |
parent | f34f3551a17f9971231cd5c8fec8f27b6f9337b7 (diff) |
Dafny:
* Effectively make all in- and out-parameters of ghost methods ghosts.
* Added DafnyRuntime.cs back in, which is needed to run Dafny programs, but which, unfortunately, is currently not being used in the test suite (something we should address)
Diffstat (limited to 'Source/Dafny/Translator.ssc')
0 files changed, 0 insertions, 0 deletions