projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 830c09d) | patch
Change is-cons to (_ is cons) in Sygus benchmarks. (#4174)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Sat, 28 Mar 2020 19:31:37 +0000 (14:31 -0500)
committerGitHub <noreply@github.com>
Sat, 28 Mar 2020 19:31:37 +0000 (14:31 -0500)
commita7f4f4fcf4d42f2c5b60bd62d3fd914f31202f64
treeeec8ff7d01a9465f2e3220cab41517053ba8f750tree
parent830c09d3cadc119845aff27684bd68c16e442692commit | diff
Change is-cons to (_ is cons) in Sygus benchmarks. (#4174)
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history
test/regress/regress1/sygus/dt-test-ns.sy diff | blob | history
test/regress/regress1/sygus/list-head-x.sy diff | blob | history