|
Loss of keyword "all" in Alloy
|
|
8
|
527
|
December 5, 2021
|
|
EDIT: Idiomatic specification of graph with ordered adjacency?
|
|
2
|
353
|
December 4, 2021
|
|
What have i done
|
|
3
|
345
|
December 1, 2021
|
|
Alloy 6, a milestone contribution to Alloy
|
|
1
|
380
|
November 22, 2021
|
|
My new book published today
|
|
4
|
468
|
November 18, 2021
|
|
Russian Font problem on Linux
|
|
2
|
518
|
November 18, 2021
|
|
Echo algorithm in electrum
|
|
4
|
582
|
November 14, 2021
|
|
Translation Electrum to NuSMV
|
|
13
|
552
|
November 11, 2021
|
|
Util/sequence type error?
|
|
2
|
433
|
November 10, 2021
|
|
Very bad recursion performance when generating CNF
|
|
3
|
341
|
October 20, 2021
|
|
Transformation from one recursive signature to another
|
|
2
|
511
|
October 14, 2021
|
|
Exercise: card game
|
|
3
|
997
|
August 5, 2021
|
|
Really Basic Question
|
|
5
|
441
|
July 30, 2021
|
|
Optimizing version of Alloy
|
|
4
|
637
|
July 6, 2021
|
|
NuSMV in Alloy 6/Electrum
|
|
2
|
765
|
June 29, 2021
|
|
Keywords in Electrum
|
|
5
|
631
|
June 25, 2021
|
|
DieHard in Electrum
|
|
11
|
622
|
June 25, 2021
|
|
Base Communication model
|
|
4
|
385
|
June 25, 2021
|
|
Anyone Else Use IDoRecall?
|
|
8
|
691
|
June 10, 2021
|
|
Alloy 6, Electrum is merged on the master branch
|
|
9
|
1296
|
May 10, 2021
|
|
Printing an Alloy model and/or Alloy expression using the Alloy API
|
|
0
|
395
|
March 31, 2021
|
|
References and Containment
|
|
4
|
495
|
March 12, 2021
|
|
Graceful movement toward theorem proving?
|
|
0
|
351
|
March 1, 2021
|
|
Does multirelations in signatures has implicit facts?
|
|
4
|
559
|
December 30, 2020
|
|
Would Alloy be the right tool?
|
|
2
|
520
|
December 27, 2020
|
|
A simple message delivery model
|
|
2
|
578
|
December 23, 2020
|
|
GuessTheSpec #5
|
|
0
|
378
|
December 18, 2020
|
|
Next release of Alloy?
|
|
2
|
518
|
December 11, 2020
|
|
Fine-grained control over Skolemization
|
|
2
|
525
|
November 21, 2020
|
|
Built-in event reification?
|
|
5
|
701
|
November 2, 2020
|