Repository navigation

Fix transaction closure bounds; replace Kani with no_panic checks - #14

Merged

jadamcrain merged 5 commits into

mainfrom

no-panic-and-api-fixes

Oct 15, 2026

Merged

Fix transaction closure bounds; replace Kani with no_panic checks#14
jadamcrain merged 5 commits into
mainfrom
no-panic-and-api-fixes

Commits on Oct 15, 2026
- Allow ReadCursor::transaction to return data borrowed from the input
  jadamcrain
  committed
  85ddd8a
- Accept FnOnce closures in WriteCursor::at_pos
  jadamcrain
  committed
  1d7abcd
- Replace Kani proofs with no_panic link-time checks
  jadamcrain
  committed
  3997467
- Add round-trip property tests
  jadamcrain
  committed
  1eb926c
- Add CI workflow, declare MSRV, and update changelog
  jadamcrain
  committed
  acfcb62