simulator: add counterexample minimization#623

Closed

alpaylan wants to merge 13 commits intotursodatabase:mainfrom alpaylan:main

+1,480-432

Commits on Jan 6, 2025

previously, interactions plans were comprised of a flat sequence of operations that
alpaylan
committed
add assumptions to the interactions, where a failing assumption stops
alpaylan
committed

Commits on Jan 7, 2025

add execution history to the simulator, the history records
alpaylan
committed

Commits on Jan 10, 2025

this commit restructures the interaction generation in order to have
alpaylan
committed

Commits on Jan 11, 2025

Merge branch 'tursodatabase:main' into main
alpaylan
authored

Commits on Jan 12, 2025

this commit fixes query generation;
alpaylan
committed

Commits on Jan 15, 2025