Category Topics

Questions

Questions about using Alloy. If you got a stuck model, try to minimize it to the essence and post your question here.
30
29

Alloy 6

Alloy 6 is the current version of Alloy. It integrated successfully the Electrum code base. Alloy 6 now has variables and time operators.
12

Software Abstractions

Daniel Jackson wrote the book about Alloy: Software Abstractions. This category discusses questions and ideas related to this book.
3

models

Discussion and reviewing working models. (Stack overflow for non-working models)
18

Experimental

Disscussions about experiments with the Alloy code base
5

API Issues

This category is intended to discuss the new Alloy Java API. Any issue in its development is far game. It will likely touch on many deep dark implementation details of Alloy.
1
5

Site Feedback

Discussion about this site, its organization, how it works, and how we can improve it.

4