Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 115
open-standards/proof/proof-rs
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 2db8eff608 Revert "proof-cascade: the probe tick burns its whole 25 ms of thread CPU" 
This reverts commit 2641dead72.
2026-10-07 14:29:24 -04:00
..
crates Revert "proof-cascade: the probe tick burns its whole 25 ms of thread CPU" 2026-10-07 14:29:24 -04:00
Cargo.lock proof: an absent solver yields Unproved, never a fabricated proof 2026-08-29 05:06:17 -04:00
Cargo.toml msrv: raise the rust-version floor to 1.97 across the workspaces 2026-07-23 00:17:08 -04:00