projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ad796d) | patch
Disallow construction of (_ BitVec 0).
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 12:59:25 +0000 (08:59 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 12:59:25 +0000 (08:59 -0400)
commit067f3f556a84c1af54d4ef2188d1b145d02b26e3
tree3839c3a84f865dcd84d1104a04acf3a10b8433cftree
parent5ad796d0ddaa9c6f2ad98d2680babb7776a5f9b0commit | diff
Disallow construction of (_ BitVec 0).

Thanks to David Cok for reporting this issue.
src/parser/cvc/Cvc.g diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history