Test LP generalization - #218

Open

bruno-go wants to merge 22 commits into

TAPAAL:mainfrom

bruno-go:lp-generalization

Commits on Sep 22, 2025

P >= 0 Constraints for LP and some linux include problems fixed
bruno.gonzalez
committed

Commits on Sep 29, 2025

fixed p>= constraints
bruno.gonzalez
committed

Commits on Oct 17, 2025

added lp and solution printing to potentially debug some cases
bruno.gonzalez
committed

Commits on Nov 21, 2025

lp loop constraints
bruno.gonzalez
committed

Commits on Dec 4, 2025

changed tolerances and bound
bruno.gonzalez
committed

Commits on Dec 18, 2025

lower constant
bruno.gonzalez
committed

Commits on Feb 28, 2026

lp changes mostly working?
bruno.gonzalez
committed

Commits on Mar 5, 2026

fix nested operators creating incorrect lps
bruno.gonzalez
committed

Commits on Mar 8, 2026

fix unqunatified conditions
bruno.gonzalez
committed
improve unquantified condition handling
bruno.gonzalez
committed

Commits on Mar 16, 2026

less conservative operator handling
bruno.gonzalez
committed

Commits on Mar 19, 2026

small changes
bruno.gonzalez
committed
timestamp added
bruno.gonzalez
committed

Commits on May 17, 2026

basic lp construction changes
bruno.gonzalez
committed

Commits on May 26, 2026

new F rule formulation implemented
bruno.gonzalez
committed

Commits on May 27, 2026

to rerun actions
bruno-go
authored

Commits on May 28, 2026

fix internal lp state not being reset
bruno.gonzalez
committed

Commits on Jun 8, 2026

next handling and until overapproximated as f
bruno.gonzalez
committed

Commits on Jun 12, 2026

x handling improvments
bruno.gonzalez
committed

Commits on Jun 24, 2026

or fix
bruno.gonzalez
committed

Commits on Jul 2, 2026

lp merge and binary operator nesting fixes
bruno.gonzalez
committed

Commits on Jul 30, 2026

restructured code and implemented hyperltl construction into the new rules
bruno.gonzalez
committed