projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a330021) | patch
Switch from SMT-LIB v2.0 to v2.5 for smt2 files
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 14 Dec 2016 19:33:08 +0000 (11:33 -0800)
committerAndres Notzli <andres.noetzli@gmail.com>
Wed, 14 Dec 2016 20:41:27 +0000 (12:41 -0800)
commitdec7bfc3219d77be61d298dfd8877afdaa62473c
treed5f7176021e7dfab1445e4c83cb14bd19fcf8b7atree
parenta33002181a581f28da66cbc2c93626996a1fb1aacommit | diff
Switch from SMT-LIB v2.0 to v2.5 for smt2 files

As mentioned in bug 741, CVC4 was parsing `.smt2` files using the
SMT-LIB v2.0 standard by default. This commit switches to v2.5.
src/main/driver_unified.cpp diff | blob | history