diff options
| author |  rustanleino <unknown> | 2010-07-19 20:46:55 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-07-19 20:46:55 +0000 |
| commit | cd39df6071c1e6636c92d499381695d1bed5ec0a (patch) | |
| tree | ac2b920ffaa44d07acaa9bae0718e1962e20f627 /Util/latex | |
| parent | 002b9a5f3e614e21214e7f95e8b07f2ec332dfd9 (diff) | |
Chalice: Introduced '[[ S ]]' as a shorthand syntax for 'lock (this) { S }'. Think of the new brackets as atomicity brackets (see PetersonsAlgorithm.chalice)
Chalice: Added Peterson's algorithm to test suite (safety properties only)
VS 2010 integration: Updated Chalice and Dafny modes, added keyword highlighting for a new Boogie mode
Diffstat (limited to 'Util/latex')
0 files changed, 0 insertions, 0 deletions