Category | Topics |
---|---|
QuestionsQuestions about using Alloy. If you got a stuck model, try to minimize it to the essence and post your question here.
|
64
|
Alloy 6Alloy 6 is the current version of Alloy. It integrated successfully the Electrum code base. Alloy 6 now has variables and time operators.
|
22
|
ExperimentalDisscussions about experiments with the Alloy code base
|
7
|
6
|
|
modelsDiscussion and reviewing working models. (Stack overflow for non-working models)
|
26
|
51
|
|
API IssuesThis 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.
|
2
|
Software AbstractionsDaniel Jackson wrote the book about Alloy: Software Abstractions. This category discusses questions and ideas related to this book.
|
3
|
Site FeedbackDiscussion about this site, its organization, how it works, and how we can improve it. |
4
|