getting ready for slicing bitvectors
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 17 Feb 2011 00:29:26 +0000 (00:29 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 17 Feb 2011 00:29:26 +0000 (00:29 +0000)
commitc008b0201af83f2781ff4b3af84767927cf8382f
tree8e48ca57d82e45ed7109ecb50a05140707efa8fc
parent977730599a67d53fb4479b32714fafa7867cfa11
getting ready for slicing bitvectors
src/theory/bv/Makefile.am
src/theory/bv/equality_engine.h
src/theory/bv/slice_manager.h [new file with mode: 0644]
src/theory/bv/theory_bv.cpp
src/theory/bv/theory_bv.h