diff options
| author |  rustanleino <unknown> | 2010-01-14 22:20:49 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-01-14 22:20:49 +0000 |
| commit | 66939a686e115c00e9cb6824e7c5a2dadc85a8df (patch) | |
| tree | 8d766cf6298bb6c2ca1ba3a6ba9df3c47f44efb4 /Source/VCExpr/TypeErasureArguments.ssc | |
| parent | 8e7037f8764dd8e63f68ee588283d0a2484c884c (diff) | |
Dafny:
* Allow (and currently ignore) "ghost" modifier.
* Fixed bug in boxing.
* Check for div-by-zero error for modulo operator.
* Improved emacs and latex modes.
Diffstat (limited to 'Source/VCExpr/TypeErasureArguments.ssc')
0 files changed, 0 insertions, 0 deletions