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

Commits on interject

Sacha Ayoun
Effects for config
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
N1ark
Add `DecayMapMonad`, `Sym_states.State_monad` (#137)
committed
Sacha Ayoun
A bit of progress on the scripts (#151)
committed
Sacha Ayoun
remove semeq from value interface (#144)
committed
N1ark
Update README for Rust (#140)
committed
Sacha Ayoun
update progress (#136)
committed
Sacha Ayoun
Fix small unsoundness (#138)
committed
Sacha Ayoun
cleanup alcotest tests (#135)
committed
Sacha Ayoun
remove inline tests (#134)
committed
Sacha Ayoun
Add if%sure (#133)
committed