New pull request
feat(verify): M14 — !Par in --verify (fork–join determinism + handle protocols)
Some checks failed
CI / Core compiler (C backend, tests, self-hosting) (pull_request) Has been cancelled
CI / LLVM backend (oracle vs C backend) (pull_request) Has been cancelled
#2 by dimgigov was merged 2026-08-02 12:12:25 +00:00
#1 by dimgigov was merged 2026-08-01 12:47:27 +00:00