projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f425420) | patch
processing assertions in bit-vectors even when in fullcheck (needed for sharing)
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 6 Apr 2012 19:01:25 +0000 (19:01 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 6 Apr 2012 19:01:25 +0000 (19:01 +0000)
commitbc63c26f48851a79d21139f32f2c57daeb47f49d
tree2ea7c3c7d51cda62f153f4371440984b789479c6tree
parentf42542012fa0e59bdcca2b3f4c39b1a575d62140commit | diff
processing assertions in bit-vectors even when in fullcheck (needed for sharing)
src/theory/bv/theory_bv.cpp diff | blob | history