projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 620ebba) | patch
Minor fix for bounded integers.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 22 Mar 2017 15:58:03 +0000 (10:58 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 22 Mar 2017 15:58:03 +0000 (10:58 -0500)
commit478251bcea8c25596eaab1664ac18c7ddd15c445
tree90341131fcb820c6851cb0dd9880aa46504c1d19tree
parent620ebbaf88f07abc36399499cfa6dfef8c3369d9commit | diff
Minor fix for bounded integers.
src/theory/quantifiers/bounded_integers.cpp diff | blob | history
src/theory/quantifiers/first_order_model.cpp diff | blob | history
test/regress/regress0/fmf/Makefile.am diff | blob | history
test/regress/regress0/fmf/quant_real_univ.cvc [new file with mode: 0644] blob