projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aeeb951) | patch
Evil bitvector preprocessing pass for simplifying powers of two.
authorlianah <lianahady@gmail.com>
Sun, 15 Jun 2014 03:06:50 +0000 (23:06 -0400)
committerlianah <lianahady@gmail.com>
Sun, 15 Jun 2014 03:06:50 +0000 (23:06 -0400)
commit782bfe1b122a34f72c0533d9f189045379eb1d58
tree099de5435867ce26654b9c0e44195c7fc8ccb0fctree
parentaeeb951b0fcc33e03feb6a6300808834a96daff5commit | diff
Evil bitvector preprocessing pass for simplifying powers of two.
src/Makefile.am diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/bv/bvintropow2.cpp [new file with mode: 0644] blob
src/theory/bv/bvintropow2.h [new file with mode: 0644] blob
src/theory/bv/options diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/bv/theory_bv.h diff | blob | history