|
Welcome to Alloytools
|
|
4
|
477
|
August 11, 2020
|
|
Modeling a presentation with ordered slides
|
|
8
|
27
|
March 22, 2023
|
|
Kevin Lynagh challenge
|
|
0
|
69
|
November 22, 2022
|
|
How do you say "once this is true, it's always true"?
|
|
6
|
151
|
November 1, 2022
|
|
Is a relation total?
|
|
4
|
171
|
July 14, 2022
|
|
Alloy function outputs no object
|
|
1
|
116
|
June 16, 2022
|
|
Live chat for Alloy users
|
|
1
|
150
|
June 16, 2022
|
|
Is the version not upward compatible？
|
|
3
|
216
|
March 21, 2022
|
|
What do the new `new` buttons do?
|
|
9
|
226
|
February 10, 2022
|
|
New keyword 'then' as synonym for ','
|
|
7
|
189
|
December 27, 2021
|
|
Generated Kodkod/Pardinus code in Alloy 6 - buggy?
|
|
1
|
124
|
December 15, 2021
|
|
Loss of keyword "all" in Alloy
|
|
8
|
242
|
December 5, 2021
|
|
What have i done
|
|
3
|
172
|
December 1, 2021
|
|
Alloy 6 Examples/Tutorials?
|
|
4
|
280
|
November 30, 2021
|
|
My new book published today
|
|
4
|
236
|
November 18, 2021
|
|
Echo algorithm in electrum
|
|
4
|
276
|
November 14, 2021
|
|
Translation Electrum to NuSMV
|
|
13
|
236
|
November 11, 2021
|
|
NuSMV in Alloy 6/Electrum
|
|
2
|
401
|
June 29, 2021
|
|
Keywords in Electrum
|
|
5
|
289
|
June 25, 2021
|
|
Base Communication model
|
|
4
|
194
|
June 25, 2021
|
|
Alloy 6, Electrum is merged on the master branch
|
|
9
|
885
|
May 10, 2021
|
|
Graceful movement toward theorem proving?
|
|
0
|
206
|
March 1, 2021
|
|
GuessTheSpec #5
|
|
0
|
199
|
December 18, 2020
|
|
Fine-grained control over Skolemization
|
|
2
|
322
|
November 21, 2020
|
|
GuessTheSpec #4
|
|
0
|
229
|
October 27, 2020
|
|
GuessTheSpec #3
|
|
1
|
223
|
October 8, 2020
|
|
GuessTheSpec #2
|
|
3
|
229
|
October 6, 2020
|
|
Tip: parents vs sets of children
|
|
1
|
184
|
September 23, 2020
|
|
GuessTheSpec #1
|
|
1
|
193
|
September 21, 2020
|
|
Alloy time dependent initialisation
|
|
2
|
200
|
September 9, 2020
|