projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd29958) | patch
Axioms for affine function bounds. Tests. (#3632)
authorAlex Ozdemir <aozdemir@hmc.edu>
Sun, 26 Jan 2020 02:59:50 +0000 (18:59 -0800)
committerGitHub <noreply@github.com>
Sun, 26 Jan 2020 02:59:50 +0000 (18:59 -0800)
commitbde056be1c65a77f0f5ca4389edc910b530ed436
tree77311d4843ae284762ffbf62614da468221ef369tree
parentdd29958ff0c78c099f540f080e455d843caf1c6bcommit | diff
Axioms for affine function bounds. Tests. (#3632)

* Axioms for affine function bounds. Tests.

* Apply suggestions from code review

Co-Authored-By: yoni206 <yoni206@users.noreply.github.com>
* Clarify descriptions of th_lira tests

Thanks, Yoni!

Co-authored-by: yoni206 <yoni206@users.noreply.github.com>
proofs/signatures/th_lira.plf diff | blob | history
proofs/signatures/th_lira_test.plf [new file with mode: 0644] blob