alonso.torres
bc4edefd81
🐛 Remove the empty override field after clearing a swap
...
When removing the last swap group, drop touched instead of retaining an
empty set. A main clone then uses the same representation as set-touched;
a later move and undo can restore its exact prior state (F156).
The unit and move regressions fail before the change. The swap suite and
original shrunk program pass 48 tests and 184 assertions. Common lint and
format pass. Benchmark ratios: mains 0.49/0.56/0.79; levels 0.66; chain
0.82; library 0.78; many shapes 0.92; switch 1.02, no regression flags.
AI-assisted-by: GPT-6
2026-10-28 15:53:09 +01:00
..
2026-10-28 15:53:07 +01:00
2026-10-28 15:53:09 +01:00
2026-10-28 15:53:08 +01:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-10-19 15:56:05 +02:00
2026-10-15 10:19:26 +02:00
2026-10-28 15:53:05 +01:00
2026-10-16 10:59:57 +02:00
2026-10-28 15:53:08 +01:00
2026-08-25 11:55:10 +02:00
2026-09-09 17:58:09 +02:00
2026-10-21 12:31:03 +02:00
2026-10-20 14:09:01 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-10-28 15:53:08 +01:00
2026-10-06 16:34:28 +02:00
2026-08-25 11:55:10 +02:00
2026-09-09 15:16:56 +02:00
2026-10-19 13:40:26 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-10-28 15:53:07 +01:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-10-28 15:53:08 +01:00
2026-08-25 11:55:10 +02:00
2026-10-28 15:53:08 +01:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-09-30 07:17:02 +02:00
2026-08-25 11:55:10 +02:00
2026-10-16 12:51:48 +02:00
2026-10-28 11:44:38 +01:00
2026-10-19 09:44:32 +02:00
2026-08-25 11:55:10 +02:00
2026-10-28 15:53:08 +01:00
2026-10-28 15:53:08 +01:00
2026-09-22 10:24:30 +02:00
2022-11-08 13:02:14 +01:00
2026-08-25 11:55:10 +02:00
2026-08-25 11:55:10 +02:00
2026-09-28 07:29:25 +02:00
2026-08-25 11:55:10 +02:00
2026-09-14 14:50:32 +02:00
2026-08-25 11:55:10 +02:00
2026-09-15 19:22:56 +02:00
2026-08-25 11:55:10 +02:00
2026-09-22 10:24:30 +02:00
2026-08-25 11:55:10 +02:00