ported my bv-core branch from svn to git
fixed some slicer bugs; set up bv theory to run bit-blaster to check for correctness
more slicer bug fixes
slicer bug fixing
minor bug fixes
fixed most bugs and added paranoid assertions
fixed more minor bugs
minor changes trying to optimize the slicing code
starting the slicer form scratch.
compiling implementation of new slicer finished; need to add debugging information and debug.
fixes
fixing slicer bugs.
fixed some more bugs
done fixing slicer bugs.
minor changes.
merged master into branch
Fixing regression failure. The only unfixed ones seem model related which would require some graph coloring algorithm.
Added path compression and caching for getBaseDecomposition.
make datatypes enumerator behavior clearer (no exceptions in normal operation)
make datatypes enumerator behavior clearer (no exceptions in normal operation)