4 Commits

Author	SHA1	Message	Date
Jorge López	e5faa3273a	syntactic changes: remove unused self dependency to appease to our Clippy overlord...	2025-01-18 19:36:32 +01:00
Jorge López	86a4714711	syntactic changes: remove unneeded paths when the type is already imported	2025-01-18 18:29:12 +01:00
alpaylan	fb937eff7b	fix non-determinism bug arising from a call to thread_rng while picking ... which row to check existence for in the result of the select query	2025-01-13 17:26:23 +03:00
alpaylan	191b586f05	this commit restructures the interaction generation in order to have ... better counterexample minimization. - it separates interaction plans from their state of execution - it removes closures from the property definitions, encoding properties as an enum variant, and deriving the closures from the variants. - it adds some naive counterexample minimization capabilities to the Limbo simulator and reduces the plan sizes considerably. - it makes small changes to various points of the simulator for better error reporting, enhancing code readability, small fixes to handle previously missed cases	2025-01-11 02:20:22 +03:00