diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-02 08:33:49 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-02 08:33:49 -0500 |
| commit | 5401565e7622f9ee6b07abb68e1a9378cb9876a8 (patch) | |
| tree | 6aec7ada59563bdd8ecad7b78dbe4ab6d3014a3c /test | |
| parent | 5266e8e075ed222598449cb7bc058e095077d3ae (diff) | |
(proof-new) Updates to skolem manager interface (#4664)
Adds a fix for mkPurifySkolem and introduces new interfaces in preparation for arithmetic operator elimination and term formula removal proofs.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions