v0.1.2

• Fixes a bug in conversion to SMT, and makes SplitDests (was: OutputSplits) public
• Added memory access count filter to liblisa-semantics-tool

v0.1.0

Fix publishing of `liblisa-x64-observer`

Cargo always sees the `bootdisk.img` file as 'not committed to git'.
We pass the --allow-dirty flag to make cargo ignore this.