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

Commits on floatml

N1ark
Add trivial checks stat to BV solver
committed
N1ark
Add Z3 time statistics
committed
N1ark
Consider float equalities in analysis if not nan
committed
N1ark
Reduce float operations
committed
N1ark
Use `floatml`
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
Sacha Ayoun
Contributor License Agreement (#197)
committed
opale
Slightly nicer intrinsics (#192)
committed
opale
Update README.md (#193)
committed
opale
Add provenance flag! (#185)
committed
luthenwald
refactor(channels): Remove custom Channels module, use OCaml stdlib In_channel/Out_channel (#191)
committed
Sacha Ayoun
Don't re-expose symex in every abstraction (#188)
committed
Sacha Ayoun
Simplify State interface and printing (#186)
committed
Sacha Ayoun
Slightly prettier (#183)
committed
N1ark
Refresh `rust_val`, untyped state, fix reduction (#179)
committed
Sacha Ayoun
Improve printing (#178)
committed
N1ark
Tree Borrows perf, print errors (#171)
committed
N1ark
Switch Soteria C to use `Bv_values` (#153)
committed
N1ark
Add equality analysis (#172)
committed
N1ark
Add interval analysis to `Bv_values` (#150)
committed
N1ark
Add support for &dyn and VTables (#143)
committed
N1ark
Use Obol by default in CI (#152)
committed
N1ark
Evaluation work, checked multiplication (#142)
committed
N1ark
Bump Charon, resolve trait consts, fix float-int casting (#141)
committed