learning Alloy

I've been an on-and-off user of Alloy for several years now, but after switching teams at NoRedInk I decided to start modeling all our new projects in it and teaching my colleagues how to as well. This has been really interesting work! Modeling with Alloy has frequently meant finding out about edge cases in our thinking (or in some cases, finding out we were totally wrong.)


once p is true, it's always true, August 28, 2023
Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees, April 24, 2023
Modeling Git Internals in Alloy, Part 2: Commits and Tags, April 10, 2023
Modeling Git Internals in Alloy, Part 1: Blobs and Trees, April 3, 2023
how to add weak fairness on actions, March 6, 2023
give aliases when inverting relations, February 27, 2023
fields as sets, February 13, 2023
What does expect 1 mean in Alloy?, January 30, 2023
The Value of a Model is More Making than Having, January 9, 2023
Modeling Database Tables in Alloy, January 2, 2023
Alloy, December 12, 2022