alpaylan 82fcc27a58 this commit fixes query generation; ...

- previous query generation method was faulty, producing wrong assertions
- this commit adds a new arbitrary_from implementation for predicates
- new implementation takes a table and a row, and produces a predicate that would evaluate to true for the row
this commit makes small changes to the main for increasing readability

2025-01-13 02:31:19 +03:00

..

cli.rs

this commit fixes query generation;

2025-01-13 02:31:19 +03:00

env.rs

minor changes, add maximum time bound to the simulator, fix bug in the table create shadowing

2024-12-30 00:36:43 -05:00

execution.rs

this commit restructures the interaction generation in order to have

2025-01-11 02:20:22 +03:00

file.rs

Add clippy CI, fix or ignore warnings where appropriate

2024-12-29 10:25:41 -05:00

io.rs

change the name of the simulator submodule into runner

2024-12-23 16:16:39 -05:00

mod.rs

this commit restructures the interaction generation in order to have

2025-01-11 02:20:22 +03:00