diff options
| author |  rustanleino <unknown> | 2010-01-28 19:09:49 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-01-28 19:09:49 +0000 |
| commit | 7fe28b7c23ffd6a458975a117531bdfea6012177 (patch) | |
| tree | 5074fb742425ffebc01981f39552bf232bce1459 /Test/test21/Casts.bpl | |
| parent | 797a819fd618ef3e0a3f44c5ac0eda5d018a0999 (diff) | |
Dafny: Added support for big integers.
Diffstat (limited to 'Test/test21/Casts.bpl')
0 files changed, 0 insertions, 0 deletions