-
Notifications
You must be signed in to change notification settings - Fork 4
Pull requests: OpenRAE/rae
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: carry authored OS identity through realization
#1141
opened Aug 13, 2026 by
Brad-Edwards
Collaborator
Loading…
9 tasks done
test(coverage): require 100% coverage for changed Python code
#1139
opened Aug 12, 2026 by
doublewhy
Loading…
fix(release): gate publication on the verified release SHA
#1138
opened Aug 12, 2026 by
doublewhy
Loading…
fix(runtime): make local operation state transactional and durable
#1136
opened Aug 12, 2026 by
doublewhy
Loading…
fix(runtime): settle concurrent participant batches reliably
#1135
opened Aug 12, 2026 by
doublewhy
Loading…
ci: qualify CPython 3.14 and bound interpreter support
#1134
opened Aug 12, 2026 by
doublewhy
Loading…
fix(runtime): reconcile workflow timeouts fail closed
#1132
opened Aug 12, 2026 by
doublewhy
Loading…
fix(proof): make offline Isabelle replay portable on Ubuntu
#1131
opened Aug 12, 2026 by
doublewhy
Loading…
fix(module-registry): harden OCI publication and caching
#1130
opened Aug 12, 2026 by
doublewhy
Loading…
fix(libvirt): bind reproducible guest operations to fresh evidence
#1128
opened Aug 12, 2026 by
doublewhy
Loading…
fix(processor): bound the complete solver operation (#1108)
#1127
opened Aug 12, 2026 by
doublewhy
Loading…
14 of 15 tasks
fix(processor): bound dependency-cycle detection
#1126
opened Aug 12, 2026 by
doublewhy
Loading…
10 of 11 tasks
test(runtime): bind wall readback to its predecessor
#1124
opened Aug 12, 2026 by
doublewhy
Loading…
4 tasks done
fix(contracts): admit expanded scenario snapshot parents (#1040)
#1123
opened Aug 12, 2026 by
doublewhy
Loading…
9 of 10 tasks
fix(supply-chain): gate vulnerable dependencies and scanner cache
#1121
opened Aug 12, 2026 by
doublewhy
Loading…
5 tasks done
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.