Repository navigation

Count the pre-2018 miscellaneous deduction once in Mississippi and Missouri itemized deductions - #10096

Merged

MaxGhenis merged 4 commits into

mainfrom

ms-mo-misc-deduction-double-count

Nov 2, 2026

Merged

Count the pre-2018 miscellaneous deduction once in Mississippi and Missouri itemized deductions#10096
MaxGhenis merged 4 commits into
mainfrom
ms-mo-misc-deduction-double-count

Commits on Oct 11, 2026
- Count the pre-2018 miscellaneous deduction once in Mississippi and Missouri
  
  MaxGhenis
  and
  claude
  committed
  8054c93
Commits on Nov 2, 2026
- Merge origin/main into ms-mo-misc-deduction-double-count
  claude
  committed
  b5de7ca
- Add Missouri and Mississippi witnesses and a counted-once property test
  claude
  committed
  7bd38cb
- Derandomize the MS and MO misc-deduction property test
  
  MaxGhenis
  and
  claude
  committed
  3df0a25