v1.0.1 - Bug Fixes

• Fixed an issue with scanning the entire binary for opaque predicates halting on 100% and never leaving first iteration.
• Fixed an issue with cancelling the scanning of the entire binary, now works properly.

v1.0.0 - Initial Release

Initial release of native-predicate-solver