Alperen Keleş

Is there a timeline for this merge? I'm working on my own website, and I will wait until this is merged if the time horizon is short enough(perhaps before 2025?)....

Hi, thanks for the quick response. I'll see if I can do it today and will let you know.

> IMO this looks like a great direction 👍 Glad to hear that! I feel like after https://github.com/tursodatabase/limbo/pull/469 is merged, I can change the current workaround to be able to...

@pereman2 @jussisaurio I wanted to point out several design decisions worth discussing: The current mode of generation is online, in other words, we decide on the next query as we...

> Maybe we could add a `strict` mode where we test the output of a query with sqlite3. But maybe this is a bad idea because sqlite3 could have the...

Hi @pereman2, This latest change adds the offline generation via interaction plans, found in `simulator/generation/plan.rs`. A plan is basically a list of queries and assertions, where queries are our typical...

@pereman2 added the interaction logs, increased the table creation probability at `generation/plan.rs`, and fixed the build problems.

> This looks quite cool @alpaylan. Could you post some literature you think is relevant for this? Thanks @pereman2 ! Of course, here are some rather informal writing discussing different...

The shrinking is a bit harder than I hoped for, particularly due to the fact that we cannot shrink closures, which limits our ability to minimize aggressively by removing columns...

Oh no. How do I fix that.(I accidentally pushed the extra commits I hadn't pulled on top of mine, fixed it now)