Commit Graph

3 Commits (cb181e96d0440ec43774e2ed28107361e4fdbffb)

Author SHA1 Message Date
Alisdair McDiarmid bb35f02c95 Conclude preconditions/postconditions experiment
4 years ago
Martin Atkins 9076400436 configs: Decode preconditions and postconditions
4 years ago
Martin Atkins 31349a9c3a Move configs/ to internal/configs/
5 years ago