Adding a hats file.
Adding some more operations for bit vectors
Added more functionality to the Z3 bindings for bitvectors. Started incorporating it into the constraint solver.
Finished adding the most basic static operators for bit vectors.
Removed some extra pieces of the constraint solver.
Cleaned up some of the static functions provided by the solver. Revised some old examples and organized the code that supports them.
Removing old file
Finished adding supporting files for users to utilize bitvectors.
Finished adding basic support for fixed width bit vectors of varying sizes. Added a simple example that checks integers for being a power of 2.
Overhauling a lot of the constraint solver to make it more accessible.
Adding the beginning of an interface to work with binary files through ATS.
Removed sats files from dynload, added simple wrapper around Python C API, added in a routine that embeds Python into the constraint solver.
Have a basic Python scripting mechanism working for stampseq
Small change
Revised the Stampseq Interpretations.
Finished adding support for handling Python exceptions.
Finished adding support for handling Python exceptions.
Cleaned up the stampseq SMT examples.
Starting to sketch out evaluating user defined macros given in Python scripts.
Renamed project folder to patsolve, added macro evaluation.