mirrors/limbo
1
0
Fork 0
mirror of https://github.com/tursodatabase/limbo.git synced 2025-12-23 08:21:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
limbo/simulator/generation
History
Pekka Enberg ebceefacde Merge 'simulator: add NoREC testing property' from Alperen Keleş 
NoREC is a correctness property for testing optimizers, proposed by
Rigger and Su in [Detecting Optimization Bugs in Database Engines via
Non-Optimizing Reference Engine
Construction](https://www.manuelrigger.at/preprints/NoREC.pdf)
This PR adds a NoREC property to the tester.

Closes #973
2025-02-11 17:44:56 +02:00
..
mod.rs Fix a handful of typos 2025-02-09 18:08:29 +02:00
plan.rs Merge 'simulator: add NoREC testing property' from Alperen Keleş 2025-02-11 17:44:56 +02:00
property.rs add NoREC optimizer testing property 2025-02-10 15:42:49 -05:00
query.rs add NoREC optimizer testing property 2025-02-10 15:42:49 -05:00
table.rs add LIKE generation for supporting clauses 2025-02-01 12:34:31 -05:00