projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbdc832) | patch
SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor, and...
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 19:21:52 +0000 (15:21 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 19:21:52 +0000 (15:21 -0400)
commit468f1afc7546ad47dc8aac097aa738c374acdc82
tree9de12a88e58d448da2752f021be9681965c7c978tree
parentdbdc83268d75b205198cbad5d60397de28705c65commit | diff
SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor, and bvxor.
src/parser/smt2/smt2.h diff | blob | history