diff options
| author |  Rustan Leino <unknown> | 2014-07-08 13:46:45 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-07-08 13:46:45 -0700 |
| commit | 1844457f6a4a51592103c67de5f67a8785d8c92f (patch) | |
| tree | 1c1b762f60486131e758154090e824bfd485ae15 /Test/vstte2012 | |
| parent | de0ad2057984cc066d4a9dc0fcf701abe23b47fc (diff) | |
Implemented compilation of the int<->real conversions, and changed the resolution and verification implementations of these.
Changed FreshExpr to be a UnaryExpr, and also introduced the UnaryOpExpr subclass.
Diffstat (limited to 'Test/vstte2012')
0 files changed, 0 insertions, 0 deletions