Commit graph

11 commits

Author SHA1 Message Date
Mikaël Francoeur
b30b02e1ad
fix AND/OR precedence in predicate generator
The shadow model was building WHERE predicates by manually nesting
Expr::Binary nodes, which caused AND/OR expressions to be evaluated
left-to-right instead of using SQLite’s precedence rules. Mixed
expressions like `a OR b AND c` were effectively generated as
`(a OR b) AND c`.

Update the predicate generator to use Predicate::and / Predicate::or
to combine context predicates, letting those helpers insert the
appropriate parentheses. This ensures that AND groups are formed
before OR and that the resulting Expr tree matches SQLite’s logical
evaluation order.
2025-12-02 21:35:03 -05:00
pedrocarlo
ab152890dd adjust generation of GTValue and LTValue to accomodate for Null Values 2025-10-13 02:04:15 -03:00
pedrocarlo
fb6c5ffcff move SimValue generation to separate files to facilitate generation of new types of values in the future 2025-10-09 17:25:04 -03:00
pedrocarlo
aec6668725 add ?Sized to Arbitrary traits 2025-10-07 02:36:13 -03:00
Nikita Sivukhin
c4b3074575 format 2025-09-26 13:01:49 +04:00
Nikita Sivukhin
12b89fd2f1 do not use Name::new 2025-09-26 13:01:49 +04:00
Nikita Sivukhin
fdf8ca88fd introduce exact(...) function - because enum variant will disappear 2025-09-26 13:01:49 +04:00
Pekka Enberg
9f6c11a74f sql_generation: Fix predicate column indexing
The number of columns in the row can be less than the number of columns in the
table so fix out of bounds error in indexing.
2025-09-08 11:59:45 +03:00
pedrocarlo
9bc8bdb279 all Arbitrary traits need to pass a GenerationContext 2025-08-30 11:31:52 -03:00
pedrocarlo
0c1228b484 add Generation context trait to decouple Simulator specific code 2025-08-25 22:59:31 -03:00
pedrocarlo
0285bdd72c copy generation code from simulator 2025-08-25 22:59:31 -03:00