|
Welcome to Alloytools
|
|
4
|
260
|
August 11, 2020
|
|
Commandline options clash
|
|
2
|
35
|
December 27, 2021
|
|
New keyword 'then' as synonym for ','
|
|
7
|
42
|
December 27, 2021
|
|
Generated Kodkod/Pardinus code in Alloy 6 - buggy?
|
|
1
|
28
|
December 15, 2021
|
|
Modeling Natural Deduction Derivations
|
|
3
|
52
|
December 13, 2021
|
|
Loss of keyword "all" in Alloy
|
|
8
|
106
|
December 5, 2021
|
|
EDIT: Idiomatic specification of graph with ordered adjacency?
|
|
2
|
45
|
December 4, 2021
|
|
What have i done
|
|
3
|
55
|
December 1, 2021
|
|
What do the new `new` buttons do?
|
|
4
|
51
|
December 1, 2021
|
|
Alloy 6 Examples/Tutorials?
|
|
4
|
99
|
November 30, 2021
|
|
Alloy 6, a milestone contribution to Alloy
|
|
1
|
55
|
November 22, 2021
|
|
My new book published today
|
|
4
|
102
|
November 18, 2021
|
|
Russian Font problem on Linux
|
|
2
|
30
|
November 18, 2021
|
|
Announcing Alloy 6!
|
|
2
|
96
|
November 16, 2021
|
|
Echo algorithm in electrum
|
|
4
|
70
|
November 14, 2021
|
|
Translation Electrum to NuSMV
|
|
13
|
114
|
November 11, 2021
|
|
Util/sequence type error?
|
|
2
|
36
|
November 10, 2021
|
|
Very bad recursion performance when generating CNF
|
|
3
|
37
|
October 20, 2021
|
|
Transformation from one recursive signature to another
|
|
2
|
112
|
October 14, 2021
|
|
Exercise: card game
|
|
3
|
283
|
August 5, 2021
|
|
Really Basic Question
|
|
5
|
96
|
July 30, 2021
|
|
Optimizing version of Alloy
|
|
4
|
182
|
July 6, 2021
|
|
NuSMV in Alloy 6/Electrum
|
|
2
|
116
|
June 29, 2021
|
|
Keywords in Electrum
|
|
5
|
128
|
June 25, 2021
|
|
DieHard in Electrum
|
|
11
|
133
|
June 25, 2021
|
|
Base Communication model
|
|
4
|
90
|
June 25, 2021
|
|
Anyone Else Use IDoRecall?
|
|
8
|
134
|
June 10, 2021
|
|
Alloy 6, Electrum is merged on the master branch
|
|
9
|
641
|
May 10, 2021
|
|
Printing an Alloy model and/or Alloy expression using the Alloy API
|
|
0
|
62
|
March 31, 2021
|
|
References and Containment
|
|
4
|
145
|
March 12, 2021
|