|
About the Alloy 6 category
|
|
0
|
375
|
August 26, 2020
|
|
How do I specify options to Alloy 6.2 CLI `exec` command?
|
|
0
|
13
|
August 29, 2025
|
|
Problems Generating Table outputs with Alloy 6.2 CLI interface
|
|
0
|
16
|
August 29, 2025
|
|
Looking for Mac testers
|
|
0
|
26
|
June 16, 2025
|
|
Alloy available on Maven Central and HomeBrew
|
|
0
|
23
|
March 18, 2025
|
|
Thoughts on including a "Buffer"?
|
|
9
|
127
|
March 11, 2025
|
|
New book: Practical Alloy -- A hands-on guide to formal software design
|
|
4
|
137
|
February 26, 2025
|
|
Alloy 6.2.0 released!
|
|
1
|
1695
|
January 9, 2025
|
|
Project and release status
|
|
13
|
470
|
January 8, 2025
|
|
Tip: pitfalls with using `in` for typechecking
|
|
4
|
159
|
September 14, 2024
|
|
The many uses of `disj`
|
|
0
|
156
|
February 26, 2024
|
|
Alloy 6 tutorial updates
|
|
10
|
288
|
February 13, 2024
|
|
Alloy 6 vs. TLA+
|
|
25
|
4094
|
January 4, 2024
|
|
LinkedList module for temporal logic
|
|
1
|
254
|
September 4, 2023
|
|
Topological Sort: A stepwise implementation
|
|
0
|
208
|
August 21, 2023
|
|
Specify a predicate being true for n steps
|
|
3
|
229
|
August 18, 2023
|
|
New to Alloy - discussions and questions
|
|
7
|
1573
|
August 10, 2023
|
|
Problem in understanding mutable state in Alloy 6
|
|
11
|
706
|
June 1, 2023
|
|
Lack of Activity
|
|
0
|
280
|
March 17, 2023
|
|
Announcing Alloy 6!
|
|
7
|
1421
|
June 16, 2022
|
|
Building-Gate model
|
|
4
|
287
|
May 27, 2022
|
|
Modelling a state machine in Electrum (towards Alloy 6)
|
|
37
|
2610
|
March 8, 2022
|
|
Using meta-capabilities
|
|
2
|
392
|
February 27, 2022
|
|
Predicate parameters are not constrained
|
|
7
|
456
|
February 21, 2022
|
|
Commandline options clash
|
|
3
|
579
|
January 26, 2022
|
|
Alloy 6, a milestone contribution to Alloy
|
|
1
|
366
|
November 22, 2021
|
|
Next release of Alloy?
|
|
2
|
497
|
December 11, 2020
|
|
Built-in event reification?
|
|
5
|
622
|
November 2, 2020
|
|
Util/sequniv not valid Electrum
|
|
18
|
794
|
September 12, 2020
|
|
New Electrum Release Candidate (towards Alloy 6)
|
|
1
|
973
|
September 11, 2020
|