Repository navigation

Commits

Commits on Sep 18, 2026
- Always use a sysroot (#391)
  
  N1ark
  and
  giltho
  authored
  1a4839d
- Soteria Rust clarification of `#[test]` entrypoints (#489)
  
  N1ark
  and
  sunshowers
  authored
  421f0e9
Commits on Sep 17, 2026
- Ability to learn tuple equalities in matching plans (#498)
  giltho
  authored
  3234f11
Commits on Sep 7, 2026
- Enable warnings! (#495)
  N1ark
  authored
  3a86145
- Benchmark Collections-C a few more times (#496)
  N1ark
  authored
  3d0bed5
Commits on Aug 24, 2026
- Significantly improve performance of floats (#475)
  N1ark
  authored
  471f51d
Commits on Aug 22, 2026
- Miscellaneous Rust improvements (#480)
  N1ark
  authored
  9c93c0c
Commits on Aug 21, 2026
- Encode rust values to SMT (#464)
  N1ark
  authored
  4e9182b
Commits on Aug 18, 2026
- Force typedness of pointer metadata (#462)
  N1ark
  authored
  71fc8f9
Commits on Aug 14, 2026
- Add solver declarations (#460)
  N1ark
  authored
  5d5901b
- Set dune version in switch installation (#481)
  pcarrott
  authored
  8ecff68
Commits on Aug 12, 2026
- Encode enum variants concretely (#458)
  N1ark
  authored
  8d04c1f
Commits on Aug 11, 2026
- Use `ppx_matches` (#457)
  N1ark
  authored
  8db4b65
- Heap abstraction (#456)
  N1ark
  authored
  8479ec7
Commits on Aug 7, 2026
- Release v0.2.3 (#474)
  N1ark
  authored
  14d5a11
- Release v0.2.2 (#473)
  N1ark
  authored
  d4fffe2
- Release v0.2.1 (#472)
  N1ark
  authored
  2264b41
- Release v0.2.0 (#471)
  N1ark
  authored
  cc9dae7
Commits on Aug 5, 2026
- Fix regression (#470)
  N1ark
  authored
  2484c28
- Fix Licences (#469)
  N1ark
  authored
  0bc1481
- Bump Charon and Obol (#467)
  N1ark
  authored
  965529f
- Remove `patricia-tree` (#465)
  N1ark
  authored
  bb308dc
Commits on Aug 4, 2026
- Fix the Licensing to reflect Imperial's ownership (#466)
  giltho
  authored
  75e74a8
Commits on Jul 29, 2026
- Minor store reorganisation (#452)
  N1ark
  authored
  1f945bd
- Minor Tree Borrows improvements (#455)
  N1ark
  authored
  e3ec958
- Pin `grace` to 0.3.0 (#463)
  N1ark
  authored
  82d6cf3
Commits on Jul 21, 2026
- Fix opam file (#453)
  N1ark
  authored
  0131555
Commits on Jul 6, 2026
- Use nonzero values in TreeBlock (#450)
  
  N1ark
  and
  giltho
  authored
  9c9633d
- Disable recursive validity by default (#449)
  
  N1ark
  and
  giltho
  authored
  02e88f5
- Fix hack in decoding values (#446)
  N1ark
  authored
  a2a3dda
Commits on Jul 1, 2026
- Upstream fixes and minor features from the CN work (#445)
  giltho
  authored
  082d78b
- Don't allocate ZSTs (#442)
  N1ark
  authored
  ce1e5d4
- Fix opam files (#443)
  N1ark
  authored
  e3d88c2
- Add `TArray` type to Soteria Rust's values (#444)
  N1ark
  authored
  1537bd4
Commits on Jun 27, 2026
- Release v0.1.0 (#441)
  N1ark
  authored
  ef2377c

Branch selector

User selector

Datepicker

Commit history

Commits on Sep 18, 2026

Commits on Sep 17, 2026

Commits on Sep 7, 2026

Commits on Aug 24, 2026

Commits on Aug 22, 2026

Commits on Aug 21, 2026

Commits on Aug 18, 2026

Commits on Aug 14, 2026

Commits on Aug 12, 2026

Commits on Aug 11, 2026

Commits on Aug 7, 2026

Commits on Aug 5, 2026

Commits on Aug 4, 2026

Commits on Jul 29, 2026

Commits on Jul 21, 2026

Commits on Jul 6, 2026

Commits on Jul 1, 2026

Commits on Jun 27, 2026