Commit Graph

6 Commits (80d4c4841900bc4e6a555ffce21e3e2eae1fbe03)

Author SHA1 Message Date
Martin Atkins 6fad32b033 configs: Variables and outputs can be "ephemeral"
2 years ago
Alisdair McDiarmid 922de89be1 Conclude module variable optional attrs experiment
4 years ago
Alisdair McDiarmid 650380f3ae configs: Add default argument to optional()
4 years ago
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