Skip to content

Updates to the simulator #2049

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
penberg merged 27 commits into from
Jul 16, 2025
Merged

Updates to the simulator #2049

penberg merged 27 commits into from
Jul 16, 2025

Conversation

@alpaylan
Copy link
Contributor

@alpaylan alpaylan commented Jul 11, 2025

  • Add generation for UNION/JOIN
  • Rearchitect the oracle calling conventions to simplify the code paths
  • Add brute force shrinking option by @echoumcp1

alpaylan and others added 12 commits July 6, 2025 14:46
@alpaylan
wip: add joins to the select
0bce68b
@alpaylan
enable indexes
2124cc4
@alpaylan
add paranthesis to the unary expression printer
b0cf2ba
@alpaylan
generate joins and unions
ea9c67a
@alpaylan
reproduce very specific bug for tursodatabase#1991 with seed 13622105…
f5d4429 
…005141748081
@alpaylan
make the generation cheaper
75b86d1
@echoumcp1
adding better shrinking and cli opts
c5d719d
@alpaylan
add union all cardinality preservation, start generating INSERT INTO …
44a2fa6 
…t SELECT... queries, add integrity checks to the end of run_simulation
@alpaylan
Merge branch 'main' of https://github.com/alpaylan/limbo
a7b5a2c
@alpaylan
updates to the oracle implementations for differential and doublechec…
489602b 
…k, add integrity check to the end of the simulation, run cargo clippy --fix
@alpaylan
Merge branch 'main' of https://github.com/tursodatabase/limbo
8f46bbc
@alpaylan
fix the merge conflicts
65fe60b
@alpaylan alpaylan requested a review from penberg as a code owner July 11, 2025 06:07
@alpaylan alpaylan mentioned this pull request Jul 13, 2025
Merged
@echoumcp1 echoumcp1 mentioned this pull request Jul 16, 2025
Closed
@penberg penberg merged commit 1a8bade into tursodatabase:main Jul 16, 2025
51 of 52 checks passed
@penberg
Copy link
Collaborator

penberg commented Jul 16, 2025 •
edited
Loading

After talking to @jussisaurio, we believe this update discovered the following data corruption bug: #2106.

@glommer
Copy link
Contributor

glommer commented Jul 16, 2025

/tip $500 @alpaylan

This is a bounty paid on the Turso Challenge since this bug unveiled a data corruption. The money is split between alpaylan echoumcp1 since they worked together on this.

@algora-pbc
Copy link

algora-pbc bot commented Jul 16, 2025

Please visit Algora to complete your tip via Stripe.

@algora-pbc
Copy link

algora-pbc bot commented Jul 16, 2025

@alpaylan: You've been awarded a $500 by Turso Database! 👉 Complete your Algora onboarding to collect the tip.

@algora-pbc
Copy link

algora-pbc bot commented Jul 16, 2025

🎉🎈 @alpaylan has been awarded $500 by Turso Database! 🎈🎊

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@penberg penberg Awaiting requested review from penberg penberg is a code owner

Assignees

No one assigned

Labels

ci-actions 💰 Rewarded simulator

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@alpaylan @penberg @glommer @echoumcp1