diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-07-02 16:54:10 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-07-02 16:54:10 +0200 |
| commit | 69769dae4886621f82c2905b82db727bf2e8cf3f (patch) | |
| tree | fde0dfe43acb6fc7f0f07251de91db6ed8c2a148 /RELEASE-NOTES | |
| parent | d475d255f3c61380524517cd9b97725dcb0c9c22 (diff) | |
On-demand upper bound lemmas for deltas in quantified LRA (for casc). Force no macros-quant in incremental. Update casc TFN script.
Diffstat (limited to 'RELEASE-NOTES')
0 files changed, 0 insertions, 0 deletions