package soteria

  1. Overview
  2. Docs
Soteria is a toolkit for writing symbolic bug-finding tools

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Maintainers

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Sources

v0.1.0.tar.gz
md5=8f15271b81e34caa12a39e3b7a63313a
sha512=5f6987cf362bc06402d9bed324c7b060384d7ef02479e2a614ca4b4122cc65082f6afc892c398c6562b0eb42fc13d6cc77e76c2518221590576215aaa00ee5bd

doc/CHANGELOG.html

Changelog

All notable changes to Soteria, Soteria Rust and Soteria Rust are recorded here. The three are released together under a single version number. The format is based on Keep a Changelog; see RELEASING.md for the versioning policy and the release process.

Add entries for your change under ## [Unreleased] as part of your pull request.

[Unreleased]

[0.1.0] - 2026-06-27

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.