giles

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 08:59:30 +00:00

82dfa20e82 datalog: dl-magic-query pre-saturates for aggregate correctness

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 08:49:22 +00:00

66aa003461 datalog: anonymous _ in negation is existential, not unbound

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 08:44:32 +00:00

6bae94bae1 datalog: reject compound terms in fact / rule-head args

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 08:39:26 +00:00

7a94a47e26 datalog: quoted 'atoms' tokenize as strings

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 08:07:43 +00:00

917ffe5ccc datalog: comparison ops require same-type operands

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 08:04:05 +00:00

ba60db2eef datalog: reject malformed dict body literals

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 07:59:27 +00:00

00881f84eb datalog: arith / by zero raises instead of returning inf

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 07:57:04 +00:00

9e380fd96e datalog: aggregate validates that agg-var appears in goal

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 07:51:10 +00:00

c6f646607e datalog: dl-retract! preserves EDB in mixed relations

giles pushed to loops/kernel at coop/rose-ash

2026-05-11 07:43:50 +00:00

0da39de68a kernel: Phase 3 $vau/$lambda/wrap/unwrap + 34 tests [shapes-reflective]

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 07:41:55 +00:00

285cd530eb datalog: reject body lits with reserved names

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 07:26:50 +00:00

dcae125955 datalog: aggregate arg validators (259/259)

giles pushed to loops/datalog at coop/rose-ash

2026-05-11 07:20:24 +00:00

9a16f27075 datalog: dl-walk handles circular substitutions without infinite loop (257/257)

giles pushed to loops/js at coop/rose-ash

2026-05-11 05:55:57 +00:00

154e2297fe js-on-sx: fix js-string-repeat arity collision, repeat() raises RangeError on neg/inf

giles pushed to loops/ocaml at coop/rose-ash

2026-05-11 05:54:42 +00:00

0231bb46a6 ocaml: phase 5.1 trapping_rain.ml baseline (LeetCode trapped water = 6)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-11 05:44:41 +00:00

fed07059a3 ocaml: phase 5.1 gas_station.ml baseline (circular tour start = 3)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-11 05:34:51 +00:00

c8327823ee ocaml: phase 5.1 min_jumps.ml baseline (greedy BFS-like min jumps = 4)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-11 05:25:04 +00:00

fad81e0b0c ocaml: phase 5.1 combinations.ml baseline (C(9, 4) = 126)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-11 05:14:49 +00:00

3ccce58e0a ocaml: phase 5.1 unique_paths_obs.ml baseline (4x4 grid w/ obstacles = 3)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-11 05:04:39 +00:00

8ab2f80615 ocaml: phase 5.1 daily_temperatures.ml baseline (sum of waits = 10)