Tags: agurfinkel/z3
Tags
A point at which spacer and z3/master are in synch. Commits below this point that are not already part of z3/master are spacer specific changes that did not make the cut. Those are: changes to the pdr engine to bring it closer to spacer for experiments. the long term vision for this code to be rewritten based on data structures and algorithms developed for spacer. changes to memory allocation under debug mode on non windows platforms. this, perhaps, should be submitted upstream. changes to exiting when assertion is triggered in debug mode python scripts to run z3 with the many spacer options. this script should migrate into some other repository. There are two scripts. One simply runs the binary and is still actively used. Another uses Python API and is quite stale. various samples / examples / benchmarks. These have not been properly maintained and should be pulled out of the repository.