soteria
READ-ONLY MIRROR of the previous soteria repo
Star
Fork
Watch

Commits on tutorial3

Sacha Ayoun
slopper believes it's addressed the comments
committed
Sacha Ayoun
AI-generated tutorial for Logs and Stats. It's bad.
committed
opale
Add sections to CLI arguments (#291)
committed
opale
Fix scripts for artifact (#287)
committed
opale
Symbolic Abstraction (#284)
committed
opale
Cleanup Validity in Rust (#281)
committed
opale
Support Cargo tests: `--test` (#283)
committed
Sacha Ayoun
Nightly + modularize CI (#282)
committed
opale
Re-organise Soteria Rust (#277)
committed
opale
Rust: nicer UX, add `--recursive-validity` (#273)
committed
Sacha Ayoun
Minor changes (#279)
committed
Sacha Ayoun
Improvements on Soteria on user experience for Soteria-C scripts (#276)
committed
Sacha Ayoun
Bump Grace (#261)
committed
opale
Nicer Soteria root documentation (#275)
committed
opale
Document `solvers` and some of `symex` (#266)
committed
Sacha Ayoun
Fuzzer for simplifying constructors (#272)
committed
Sacha Ayoun
fix merging of statistics in experiments script (#269)
committed
Sacha Ayoun
Update readme for "install from source" instructions (#270)
committed
Sacha Ayoun
Fixing the C package (#268)
committed
Sacha Ayoun
Create a Rust package (#265)
committed
Sacha Ayoun
Add CI check that opam files were up to date (#264)
committed
Sacha Ayoun
Rust: Make Rustsymex state carry the entire current stack trace (#263)
committed
Sacha Ayoun
Add `versionsync pull` command (#262)
committed
Sacha Ayoun
Bump Charon, more intrinsics (#260)
committed
Sacha Ayoun
Create a Soteria.Config module to centralise configuration (#258)
committed
opale
Bump Obol and Charon (#257)
committed
opale
Versioning in README.md (#256)
committed
Sacha Ayoun
Fix off-by-one column in Rust diagnostic printing (#255)
committed
Sacha Ayoun
Track current code location being executed using a State Monad in C (#254)
committed
opale
Cleanup of Rust errors, format comments (#253)
committed
Sacha Ayoun
Script to synchronise versions (#252)
committed
Sacha Ayoun
Minor styling improvements in Soteria-linear (#249)
committed
Sacha Ayoun
Reduce signature duplication in pmap and pmap.mli (#250)
committed
Sacha Ayoun
Extract Symex.Core from Symex.Base, reduce code in State_monad (#251)
committed
opale
Generalise statistics (#246)
committed
opale
Add Analysis Filters (#247)
committed
Sacha Ayoun
Run CI on merge queue
committed
Sacha Ayoun
Write interpreters and state using State Monads (#237)
committed
opale
Add bitwise reductions (#245)
committed
opale
Revamp `Logs`/`Terminal` split (#244)
committed
Sacha Ayoun
Add a `fail_fast` option to terminate execution at error (#243)
committed
opale
Bump Charon (#242)
committed
opale
Fix recursive reduction for `(X & N) & M` (#241)
committed
opale
Polymorphism (#220)
committed
opale
Handle thread locals (`thread_local!`) (#235)
committed
Sacha Ayoun
Attempt at doc styling (#231)
committed
Sacha Ayoun
Update license to Soteria Tools Ltd. and Copyright to 2026 (#233)
committed
Sacha Ayoun
Improve Readme and Contribution Guidelines (#232)
committed
Sacha Ayoun
attempt at better ci (#230)
committed
opale
Fix Makefile for OCaml 5.4.0 (#228)
committed
Sacha Ayoun
Update OCaml to 5.4 (#227)
committed
opale
Allow exposing fn pointers (#226)
committed
Charly
Bugfix: do not block on child process stdout (#225)
committed
opale
Cleanup: remove some Layout functions and simplify (#223)
committed
Sacha Ayoun
Tiny nerdsnipe: write_once for config (#221)
committed
Sacha Ayoun
Pools of solvers (#218)
committed
opale
Bump Charon and Obol (#211)
committed
opale
Avoid unnecessary layout calculations (#210)
committed
opale
Hotfix failing CI (#219)
committed
opale
Share stats printing, improve `Soteria.Terminal` (#209)
committed