MaxGraey edited PR #2022 from peepmatic-bnot to main:
- Add
Bnotoperation for peepmatic.Addx ^ -1->~xrule for preopt.peepmatic
MaxGraey updated PR #2022 from peepmatic-bnot to main:
- Add
Bnotoperation for peepmatic.Addx ^ -1->~xrule for preopt.peepmatic
MaxGraey updated PR #2022 from peepmatic-bnot to main:
- Add
Bnotoperation for peepmatic.Addx ^ -1->~xrule for preopt.peepmatic
fitzgen submitted PR Review.
fitzgen merged PR #2022.
Last updated: Dec 06 2025 at 06:05 UTC