Forward Solvers: Split local unknowns by digests #1971

Open

jerhard wants to merge 31 commits intofwd_constrsys_newfrom

fwd_constrsys_digests

Commits on Mar 19, 2026

Add module GVar3 that allows for three different types of globals.
jerhard
committed
FwdConstraints: Collect sets of return unknowns with their current digests at global return unknowns.
jerhard
committed

Commits on Mar 23, 2026

FwdConstraints: move List.flatten down, so that check whether any function is applicable works.
jerhard
committed
Digests: Add test case showing precision loss due to old abstract values from dead digests not being pruned
jerhard
committed

Commits on Mar 24, 2026

Commits on Mar 27, 2026

Adapt result output for backward constraint system to work again.
jerhard
committed

Commits on Mar 30, 2026

Make compare constraints work for backward constraints again.
jerhard
committed

Commits on Apr 1, 2026