Draft: non-linear CHC solving#1

Draft

gruhn wants to merge 29 commits intoLoAT-developers:masterfrom

gruhn:polyaccel-nonlinear

Commits on Sep 29, 2023

prototype non-linear CHC solver
gruhn
committed
initialization

ffrohn
authored and
gruhn
committed

Commits on Oct 16, 2023

work on non-linear solver
gruhn
committed

Commits on Oct 19, 2023

non-linear solver: fix several issues
gruhn
committed
fix for replaceNode

ffrohn
authored and
gruhn
committed
LIA benchmark results after replaceNode fix
gruhn
committed

Commits on Oct 29, 2023

Commits on Nov 2, 2023

Commits on Nov 7, 2023

non-linear: reduce redundant resolvents
gruhn
committed

Commits on Nov 12, 2023

propagate program variable equalities
gruhn
committed

Commits on Nov 20, 2023

non-linear: introduce "constraint tiers"
gruhn
committed

Commits on Nov 23, 2023

non-linear: benchmark with 10 second timeout
gruhn
committed

Commits on Nov 27, 2023

Commits on Dec 4, 2023

move syntactic redundancy check into linear solver
gruhn
committed

Commits on Jan 14, 2024

non-linear: chc comp23 results
gruhn
committed

Commits on Jan 15, 2024

non-linear: eliminate unilaterally resolvable CHCs
gruhn
committed

Commits on Jan 22, 2024

fix: still redundant resolvents in non-linear solver
gruhn
committed

Commits on Feb 1, 2024

non-linear: merge facts with same RHS predicate
gruhn
committed

Commits on Feb 11, 2024

Merge remote-tracking branch 'origin/master' into polyaccel-nonlinear
gruhn
committed

Commits on Feb 26, 2024

Merge remote-tracking branch 'origin/master' into temp
gruhn
committed

Commits on Feb 29, 2024

non-linear: various post-merge fixes
gruhn
committed

Commits on Mar 2, 2024

Commits on Mar 8, 2024

Commits on Mar 16, 2024

Merge remote-tracking branch 'origin/master' into polyaccel-nonlinear
gruhn
committed