diff options
| author |  rustanleino <unknown> | 2010-06-05 02:00:33 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-05 02:00:33 +0000 |
| commit | e51b347511f11ea1bda810b843e5d61fdf088832 (patch) | |
| tree | d8623e08a29be5c38f198462a2f38d1f41436413 /BCT/BytecodeTranslator/StatementTraverser.cs | |
| parent | 4453e362a1ed8449f9031454467cd67da5674451 (diff) | |
Dafny:
* Fixed bug in translation of well-formedness conditions
* Added Test/dafny0/Celebrity.dfy
* Added a harness to Test/vacid0/Composite.dfy
Diffstat (limited to 'BCT/BytecodeTranslator/StatementTraverser.cs')
0 files changed, 0 insertions, 0 deletions