v0.1.0

This is our first release! We will be releasing regularly, under the 0.x series.

Added

• Switched to OCaml 5.5.0!
• soteria-c version and soteria-rust version now print the release version.

Changed

• Minor performance improvements in Soteria Rust.

Frontend versions

Built against:

• Charon soteria-tools/charon 4986f2907dbe5899b0756ab623b5ef661ed2c58c
• Obol soteria-tools/obol bdf52aa2082fbda85bb6b3bdb5a0d9c2b2c55a69