projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 292f98a) | patch
fix SMT-LIBv2 compliance mode for bitvectors (was completely broken; didn't allow...
authorMorgan Deters <mdeters@gmail.com>
Mon, 8 Oct 2012 16:00:58 +0000 (16:00 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 8 Oct 2012 16:00:58 +0000 (16:00 +0000)
commitef83f6744c1dcd1d5a90ea279cf77530d6de5b31
treebf27aabf5e77da2d8ba6e29f3002c33950c0cc61tree
parent292f98a5649d6f282e1e2d4c53fb76127196488acommit | diff
fix SMT-LIBv2 compliance mode for bitvectors (was completely broken; didn't allow use of any BV ops
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history