Unsound congruence domain arithmetic #1587

Merged

jerhard merged 15 commits intomasterfrom congruence-hardness-unsound-branches

Feb 26, 2025

Commits on Oct 1, 2024

Commits on Feb 12, 2025

Merge branch 'master' into congruence-hardness-unsound-branches
jerhard
committed
Congruence sub: handle treatment of sub by computing congruence class with which to add.
jerhard
committed

Commits on Feb 13, 2025

Congruence bug in subtraction: Fix testcase such that it still catches bug, but goes through when it is fixed.
jerhard
committed

Commits on Feb 24, 2025