projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9712e2) | patch
LIRA proof: Arithmetic predicates & reification thereof (#3612)
authorAlex Ozdemir <aozdemir@hmc.edu>
Sat, 18 Jan 2020 00:56:44 +0000 (16:56 -0800)
committerGitHub <noreply@github.com>
Sat, 18 Jan 2020 00:56:44 +0000 (16:56 -0800)
commitc3bc4ac99c36029b78d866ffb89bd0d322821f34
tree96f9d556e0427fadc867722e1d3985c9222818c8tree
parentf9712e22adc1f422f113df4dbc90623f632890a6commit | diff
LIRA proof: Arithmetic predicates & reification thereof (#3612)

* Merge branch 'master' into lira-pf-arith-pred

* Shorten reify_arith_pred, thanks Yoni!

Use recursion!

* typo
proofs/signatures/th_lira.plf diff | blob | history