~james/reorder

2
40efec5903~james fix(syntax): reject unexpected case fields
james · 16 days ago
92559a7768~james fix(solver): close pipes when process creation fails
james · 21 days ago
17d8688e66~james fix(store): replace generated artefacts atomically
james · 24 days ago
908ea7335d~james feat(core): initialise tso checking and fence synthesis
james · 28 days ago