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

Commits on flat-values

N1ark
Move `rust_val`
committed
N1ark
Make `Bv_values.Svalue` an extensible ADT
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
opale
Use Patricia trees (#207)
committed
Sacha Ayoun
Linear example, simplify C_values (#189)
committed
opale
Rust store optimisation (#206)
committed
Sacha Ayoun
Improve Readme (add Zulip, badges, clarify build instructions) (#212)
committed
opale
Actually use layouts (#205)
committed
opale
Fix frontend hanging with Charon (#204)
committed
opale
Make layouts symbolics (#202)
committed
luthenwald
docs(soteria/lib/soteria_std): add module documentation and unified entry point (#190)
committed
opale
Add bitwise BitVec <-> Float conversion (#200)
committed
opale
Use `Rust_state_m` everywhere (#198)
committed
Léo
Nix, imrpovements in Soteria-C (#196)
committed