Comprehensive backend-independent counterexamples#883

Draft

marcoeilers wants to merge 12 commits intomasterfrom

meilers_raoul_counterexamples

Commits on Jun 17, 2024

Add tests for recent Silicon changes
marcoeilers
committed

Commits on Jul 1, 2024

Commits on Feb 10, 2025

Merge branch 'master' into meilers_raoul_counterexamples
marcoeilers
committed

Commits on Aug 28, 2025

Merge branch 'master' into meilers_raoul_counterexamples
marcoeilers
committed

Commits on Aug 29, 2025

Commits on Sep 1, 2025