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: Jan 10 2026 at 20:04 UTC