projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a34a48) | 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>
Mon, 20 May 2013 20:54:27 +0000 (16:54 -0400)
commit1edf48b7b2377603f066335a2d8d087cd803a152
treea18085b7ef0ac6e4c9bcdc37442521c71162147etree
parent3a34a4827c4188db9bd0274b34d4188aee00fff2commit | 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