open-standards/proof/proof-rs
Repository files (latest commit first)
Filename Latest commit message Latest commit date
dcharlot 8b7a83053b
Some checks failed
standards workspaces build + test / jouledesk-rs (push) Successful in 57s
lockfiles / every Cargo.lock is current (push) Has been cancelled
standards workspaces build + test / arl-rs (push) Has been cancelled
standards workspaces build + test / eoc-rs (push) Has been cancelled
standards workspaces build + test / jcp-rs (push) Has been cancelled
standards workspaces build + test / joule-code-rs (push) Has been cancelled
standards workspaces build + test / joule-ui-rs (push) Has been cancelled
standards workspaces build + test / joulecontract-rs (push) Has been cancelled
standards workspaces build + test / joulehook-rs (push) Has been cancelled
standards workspaces build + test / map-rs (push) Has been cancelled
standards workspaces build + test / mesh-rs (push) Has been cancelled
standards workspaces build + test / openpay (push) Has been cancelled
standards workspaces build + test / proof-rs (push) Has been cancelled
standards workspaces build + test / sandbox-rs (push) Has been cancelled
standards workspaces build + test / sense-rs (push) Has been cancelled
standards workspaces build + test / smart-byte-rs (push) Has been cancelled
workflow hygiene / every workflow supersedes its own queue (push) Has been cancelled
standards workspaces build + test / jouleclaw-rs (push) Has been cancelled
standards workspaces build + test / aac-rs (push) Has been cancelled
standards workspaces build + test / macOS energy backends (push) Has been cancelled
Merge pull request 'proof-solvers: a time limit on every z3 goal, and a deadline on its I/O' (#239) from fix/z3-goal-deadline into main
2026-10-13 09:32:21 -04:00
..
crates Merge pull request 'proof-solvers: a time limit on every z3 goal, and a deadline on its I/O' (#239) from fix/z3-goal-deadline into main 2026-10-13 09:32:21 -04:00
Cargo.lock proof-solvers: read each resident z3 decision off z3's own process tree 2026-10-10 18:11:21 -04:00
Cargo.toml msrv: raise the rust-version floor to 1.97 across the workspaces 2026-07-23 00:17:08 -04:00