Enable warnings! (#495)
`not_impl` for function map in compo mode
Bump Charon and Obol
add Soteria benchmarks (customSmallerIsBetter) benchmark result for 3a861459dc26731fbe81626a04e8f781d6b7cc95
Update JSON docs from soteria@3a861459dc26731fbe81626a04e8f781d6b7cc95 3a861459dc26731fbe81626a04e8f781d6b7cc95
Fix missing trait solving
assert we dont branch too much on patterns
Add `size_of`, `TVar`'s layout uses it
Fix unsoundness around dirty slots
soteria-rust improvements for upcoming cargo-soteria changes
try reclaiming perf
drive-by: optimised distinct_seq in compositional for soteria-c
Fix `--list-tests` for multi-target
Stub hashing to support hashtables!
remove one cause of decay
Doc improvement slop
test: add a multi-domain thread-safety stress test
revert that change because that was not the exact same behaviour
update after pull from main
minor adjustment to layout comments
minor adjustment to layout comments
Merge branch 'main' into feat/coverage-module-181
Merge branch 'main' into stubs
Rename `Managed_effect` -> `Bookkeeping`
Delegate monad things to `Monad`
restrict linol version...
Add `--offline` to Soteria Rust
nix: merge soteria and soteria-c into single derivation to fix CMI inconsistency
add `atomic_xadd` implementation
Merge branch 'main' into sym-tree-borrows
Add action to mark comments as oudated
Add ppx info to tutorial
Oops this was off
Oops this was off
ppxlib 0.38.0 with support for labelled tuples
slopper believes it's addressed the comments
Simplify module interfaces
Use the reversible array for the PC in the solvers
Use deriving reversible in analyses
Simplify simplify (lmao)
TODO: fix `dyn FnOnce` & co
Use packages in benchmarks
hacky: ineqs for locations are never dirty
use --cfg kani in kani mode
Update soteria-rust/lib/interp.ml
Add trivial checks stat to BV solver
Effects for config
Errors are brokennnnn
incomplete: use Charon-like layouts
try with latest dune?
remove save_counter
fix printing of serialized blocks
add existentials to bv_values
Experiments: n-ary `&&,||,+`: slightly better
cleanup experiments.py
`VarTbl` should be `ValTbl`
Experiment: add array repetition to rust_val
