diff options
| author |  rustanleino <unknown> | 2010-07-30 18:58:56 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-07-30 18:58:56 +0000 |
| commit | 62fdc7d6ae9b6edf8b4031ad0ed4068d23e82000 (patch) | |
| tree | 70bbf3afb203ea567490e6922d3de98aa0f09499 /Chalice/src/ChaliceToCSharp.scala | |
| parent | 0021cbcbd7ab53b8fad71f7216981ad2b8a8b49b (diff) | |
Also build Boogie and Dafny projects in 32-bit configurations.
Don't insist on DafnyDriver picking up the LKG version (1.0.21125.0) of the Spec# runtime (in fact, most builders will probably have 1.0.21126.0).
Diffstat (limited to 'Chalice/src/ChaliceToCSharp.scala')
0 files changed, 0 insertions, 0 deletions