~james/reorder

2
c27220bf81~james fix(cli): reject invalid delays and surplus inputs
~james · 8 days ago
2efa23040a~james fix(solver): validate fence constraint indices
~james · 12 days ago
40efec5903~james fix(syntax): reject unexpected case fields
~james · 17 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 · 25 days ago
908ea7335d~james feat(core): initialise tso checking and fence synthesis
~james · 29 days ago