diff options
| author |  kyessenov <unknown> | 2010-08-06 02:31:12 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-08-06 02:31:12 +0000 |
| commit | 019634609db25a4c56abd0eae49da20a1957e258 (patch) | |
| tree | 9fd2c8d940bd7ac648efdb390fd68a40fe79f2e4 /Binaries | |
| parent | e1e7e6d9556256217d123f5ecc4904a1abebf958 (diff) | |
Chalice: still cannot verify refinement of List.get (Z3 goes out of memory); added classic sqrt refinement; assertions on acc(s[*].f) have now positions attached
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions