4 Commits

Author	SHA1	Message	Date
Garrett Mills	85a315ee5a	Start example GCDT for Int	2022-12-13 11:28:43 -06:00
Garrett Mills	6e08dc9b1d	Start reworking GCDT alloy theory	2022-12-12 18:24:32 -06:00
Garrett Mills	718b88ac8c	More tweaks to alloy theories	2022-12-12 17:32:37 -06:00
Garrett Mills	18366cbea1	Start alloy spec	2022-12-12 15:29:39 -06:00