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

Commits on flamegraph

Sacha Ayoun
Update soteria-rust/lib/interp.ml
committed
Sacha Ayoun
Update soteria-rust/lib/interp.ml
committed
Sacha Ayoun
Update soteria-c/lib/interp.ml
committed
Sacha Ayoun
Update soteria/tutorial/core_symex.mld
committed
Sacha Ayoun
Update soteria/lib/profiling/flamegraph.ml
committed
Sacha Ayoun
update tutorial
committed
Sacha Ayoun
update flamegraph
committed
Sacha Ayoun
pin ocaml-flamegraphs
committed
Sacha Ayoun
escape "::" in filenames in Rust
committed
Sacha Ayoun
add flamegraphs to dependencies
committed
Sacha Ayoun
ok
committed
Sacha Ayoun
Specify where to store flamegraphs
committed
Sacha Ayoun
basic support for flamegraph
committed
Sacha Ayoun
add flamegraph module
committed
Sacha Ayoun
add profiling module
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