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

Commits on format

N1ark
tempppp
committed
N1ark
Checked operations were unsound 🎉
committed
N1ark
Fix int overflow error in reductions
committed
N1ark
forgot to register a stat printer
committed
N1ark
Deterministic `is_val_statically_known` for `fmt`
committed
N1ark
More path replacements
committed
opale
Fixes for `HashTable` (#406)
committed
Sacha Ayoun
Allocation-free hashing for Bv_values (#416)
committed
Sacha Ayoun
Fix writealot + keep track if it changes (#415)
committed
Sacha Ayoun
Update readme for clearer cargo-soteria instructions (#409)
committed
Sacha Ayoun
Add --list-tests to `soteria-rust exec` (#408)
committed
Sacha Ayoun
Fix crashes (#407)
committed
opale
Fix `Bv_values` checked flag (#404)
committed
opale
Support more atomics, some externs, fix benchmark (#403)
committed
Sacha Ayoun
Implement `L.failwith`, use it everywhere (#402)
committed
Sacha Ayoun
Fix Z3 leaks (#401)
committed
Sacha Ayoun
Minor fixes and cleaning up (#400)
committed
Sacha Ayoun
bump obol to use the `reconstruct_ptr_checks` pass (#398)
committed
Sacha Ayoun
`not_impl` receives an fmt instead of a string (#397)
committed
opale
Support calls to `dyn FnOnce` (#390)
committed
opale
Minor Tree Borrows optimisation (#394)
committed
opale
Conformance benchmark in CI (#392)
committed
opale
Improve diagnostics the tool gives (#389)
committed
Sacha Ayoun
Don't decay on pointer equality if it can be avoided (#385)
committed
Sacha Ayoun
Don't decay on `check_overlap` for pointers with != provenance (#384)
committed
opale
Use the Obol version from the PR in benchmarks (#395)
committed
opale
Fix benchmark's version of Obol in CI (#393)
committed
Sacha Ayoun
Don't decay pointer for null checks in niche optims (#382)
committed
Sacha Ayoun
Optimise struct and array access in the store (#374)
committed
opale
Bump Charon and Obol (#381)
committed
Sacha Ayoun
Rust: Disjoint exposed addresses (#380)
committed
Sacha Ayoun
Fix Unsoundness in Interval Analysis (#377)
committed
opale
Add `--offline` to Soteria Rust (#375)
committed
Sacha Ayoun
Factor out logic of python scripts into soteria_utils.py (#373)
committed
Sacha Ayoun
Iarray helpers (#372)
committed
Sacha Ayoun
Utilities in tree_state.ml (#371)
committed
opale
Bump Charon and Obol (#369)
committed
opale
Implement the `caller_location` intrinsic (#370)
committed
opale
Detect writes to read-only memory (#368)
committed
opale
Cleaner transmutes (#366)
committed
Sacha Ayoun
Automatic action pinning (#367)
committed
opale
Faster CI (#365)
committed
opale
Bump Charon (#363)
committed
Sacha Ayoun
Minor helpers (#364)
committed
Sacha Ayoun
Fix nondet_raw for unions (#362)
committed
Sacha Ayoun
More performance improvements (#360)
committed
Sacha Ayoun
Don't hardcode name of the repo in actions (#361)
committed
Sacha Ayoun
Dependency upgrades & cleanup rust files (#359)
committed
opale
Update the README.md (#358)
committed
opale
Weak Tree Borrows (#357)
committed
Sacha Ayoun
BtreeSet sort benchmark + trivial inequalities (#356)
committed
opale
Minor doc improvements (#355)
committed
Sacha Ayoun
Drastically improve performance of Rust WPST (#349)
committed
Sacha Ayoun
Improve aliasing logic in stubs (#354)
committed
Sacha Ayoun
Agent files + AI Policy (#347)
committed
opale
Make `Symex.run` return a syntactic PC (#345)
committed
Sacha Ayoun
Update to all workflows + benchmarks (#352)
committed
opale
Auto-sync website API doc (#346)
committed
Sacha Ayoun
Implement sysconf (#350)
committed
Sacha Ayoun
Replace simple_smt dependency with in-house soteria.smt (#343)
committed