projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9817df5) | patch
Disallow overflow in bitvector literals (parser only)
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 22 Feb 2013 21:48:13 +0000 (16:48 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sat, 9 Mar 2013 00:30:49 +0000 (19:30 -0500)
commit56b7a4f494dfe069fc4cbdb1dcd05c23c9b59a1d
treea8dc4d5d2e1ecaba112fa67c9a61e27e5ef07c80tree
parent9817df56827b4ee0ee67a33361f8619c5d1df6edcommit | diff
Disallow overflow in bitvector literals (parser only)

* For example, (_ bv5 1) is now an error instead of being silently truncated.
* Probably inappropriate for 1.0.x because it changes exception specifications.
src/parser/antlr_input.h diff | blob | history
src/parser/cvc/cvc_input.cpp diff | blob | history
src/parser/cvc/cvc_input.h diff | blob | history
src/parser/input.h diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/smt1/smt1_input.cpp diff | blob | history
src/parser/smt1/smt1_input.h diff | blob | history
src/parser/smt2/smt2_input.cpp diff | blob | history
src/parser/smt2/smt2_input.h diff | blob | history
src/parser/tptp/tptp_input.cpp diff | blob | history
src/parser/tptp/tptp_input.h diff | blob | history