~james/reorder

c27220bf81 fix(cli): reject invalid delays and surplus inputsVerified ~james
james · 7 days ago
2efa23040a fix(solver): validate fence constraint indicesVerified ~james
james · 10 days ago
40efec5903 fix(syntax): reject unexpected case fieldsVerified ~james
james · 15 days ago
92559a7768 fix(solver): close pipes when process creation failsVerified ~james
james · 20 days ago
17d8688e66 fix(store): replace generated artefacts atomicallyVerified ~james
james · 23 days ago
908ea7335d feat(core): initialise tso checking and fence synthesisVerified ~james
james · 27 days ago