projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6855bb) | patch
Minor fix for corner cases of fmf-fun, fix for --dt-rewrite-error-sel. Add competitio...
authorajreynol <andrew.j.reynolds@gmail.com>
Sat, 2 May 2015 08:13:18 +0000 (10:13 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Sat, 2 May 2015 08:13:18 +0000 (10:13 +0200)
commit75995dfb481521b38668185c71dacda145e62454
treeb3fc1f539305628d86f74de15ebdb259960dc18btree
parentc6855bb13420c020690cf63c8b770186f278081ccommit | diff
Minor fix for corner cases of fmf-fun, fix for --dt-rewrite-error-sel. Add competition scripts (in progress).
contrib/run-script-casc25-fof [new file with mode: 0755] blob
contrib/run-script-smtcomp2015 [new file with mode: 0644] blob
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/quantifiers/fun_def_process.cpp diff | blob | history