Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 85a315ee5a Start example GCDT for Int main Garrett Mills 2022-12-13 11:28:43 -0600
• 6e08dc9b1d Start reworking GCDT alloy theory Garrett Mills 2022-12-12 18:24:32 -0600
• 718b88ac8c More tweaks to alloy theories Garrett Mills 2022-12-12 17:32:37 -0600
• 2da298cc0f Import blog post Garrett Mills 2022-12-12 15:35:38 -0600
• 18366cbea1 Start alloy spec Garrett Mills 2022-12-12 15:29:39 -0600
• a1cac35f1e Update 'README.md' Garrett Mills 2022-12-12 21:28:51 +0000
• 1de7bf8dea Update 'README.md' Garrett Mills 2022-12-12 21:28:29 +0000
• edd6f46b46 Update 'README.md' Garrett Mills 2022-12-12 21:27:50 +0000
• d663e6d509 Initial commit Garrett Mills 2022-12-12 21:27:34 +0000