garrettmills/gcdt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
9 Commits 1 Branch 0 Tags 243 KiB
main
Commit Graph

9 Commits

This Branch
This Branch
All Branches
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
2da298cc0f Import blog post 2022-12-12 15:35:38 -06:00
Garrett Mills
18366cbea1 Start alloy spec 2022-12-12 15:29:39 -06:00
Garrett Mills
a1cac35f1e Update 'README.md' 2022-12-12 21:28:51 +00:00
Garrett Mills
1de7bf8dea Update 'README.md' 2022-12-12 21:28:29 +00:00
Garrett Mills
edd6f46b46 Update 'README.md' 2022-12-12 21:27:50 +00:00
Garrett Mills
d663e6d509 Initial commit 2022-12-12 21:27:34 +00:00