pullrequests Search Results · language:Dune language:Python language:Java language:Python language:JavaScript language:PHP
Filter by
196M results
- Added SHIELD to the CardType enum.
- Added Shield BVA cases G160-G165 to Game.md.
- Implemented Shield protection when drawing an Exploding Kitten.
- Added used Shields to the discard pile.
...
#5083
- MutableConfiguration: new interface extending Configuration with all mutating methods. RunTimeConfiguration now
implements MutableConfiguration instead of Configuration, giving compile-time ...
Reorganized the project documentation into a clean, hierarchical structure under docs/ and created a central
DOCUMENTATION.md index file as requested. All internal links have been updated to reflect the ...
Audit M-2. The three sources of truth for per-platform CRF was actually two-code + one-dead-config.
platform_encode_specs.yaml s loader is called only by tests; production never reads it. The real drift ...
What
Adds examples/zip_unzip.pf, a classic introductory-functional-programming correctness theorem: zip and unzip are
inverses. For two lists of equal length,
unzip(zip(xs, ys)) = pair(xs, ys)
The equal-length ...
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
Closes #5
Summary
- Add docs/orientation/safety-and-m1-boundary.md, the Milestone 0 safety and scope half of the orientation report.
- Statically inventory all pkill and shell=True sites, subprocess/process-control ...
agent:codex-loop
codex:requested
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull