Version 0.2.7

• Fixed an issue in HashLock where a missing symbolic value assertion could lead to a crash

Version 0.2.6

• Fixed an issue where an exception is thrown if the concrete role has even bytes

Version 0.2.5

• Added a missing check in RoleBasedAccessControl strategy where an exception would be throws when pre-processing the SHA3 operator and top stack elements are symbolic

Version 0.2.4

• Added ability to answer with "unknown" when user is asked if a function has been marked correctly

Version 0.2.3

• Temporarily disabled the LASER plugin CallDepthLimit due to an unhandled exception

Version 0.2.2

• Improved Ownership strategy
• Fixed a bug in FunctionRepository and FlaggedFunctionRepository
• Fixed a bug in analysis base class where state and prev_state could be the same
• Fixed a bug in MultiAuthorization strategy

Version 0.2.1

• Fixes in analysis strategy RoleBasedAccessControl
• Fixed and enabled analysis strategy HashLock
• Fixes and improvements in analysis strategy Ownership
• Fixed a bug in analysis strategy base class
• Minor performance improvement in X-Confirmation strategy
• Added new strategy MultipleAuthorization

Version 0.2.0

• New analysis strategy RoleBasedAccessControl
• Improved text report

Version 0.1.6

This update includes crucial bug fixes and improvements for benchmarking.

• Fixed a crash that would occur in the verification process when it was cancelled and then started again
• Fixed poor performance of storing/loading the benchmark state
• Other minor improvements

Version 0.1.5

• Performance improvements
• More user friendly benchmarking interface that delivers more accurate results
• Collect more detailed information from benchmarks
• Added DB for storing benchmark verifications
• Save benchmark state on filesystem after execution
• Load benchmark state from filesystem