diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2018-11-27 00:59:22 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-27 00:59:22 -0800 |
| commit | 72f1d72852213f46d77c85216c9250bb0f0e3eae (patch) | |
| tree | be37eea42008589c825680033a0a14776fef69d8 /src/parser | |
| parent | 391ab9df6c3fd9a3771864900c1718534c1e4666 (diff) | |
LRA proof signature fixes and a first proof for linear polynomials (#2713)
* LRA proof signature fixes and a first proof
The existing LRA signature had a few problems (e.g. referencing symbols
that didn't exist, extra parentheses, etc). I patched it up and wrote an
first example LRA proof. load `th_lra_test.plf` last to run that test.
* Add dependency info to signatures
I chose to indicate shallow dependencies only.
Diffstat (limited to 'src/parser')
0 files changed, 0 insertions, 0 deletions