v0.2.5

updates codebase to core-kernel v0.12

updates to BAP.2.0

• bap-veri is not an executable anymore, but just a command to the main BAP frontend with all previously available options: bap veri ...
• few minor updates in codebase due to the new BAP version

v0.2.3

updates to core.v0.11.1

v0.2.2

Added support for modern bap memory per byte reading/writing.

v.0.2.1

Added compatibility to a modern bap

v0.2

• rename the binary to bap-veri for consistency
• install the library along with the binary file

v0.1

initial release