Alloy 6
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Alloy 6 category
|
|
0 | 147 | August 26, 2020 |
|
Announcing Alloy 6!
|
|
7 | 379 | June 16, 2022 |
|
Problem in understanding mutable state in Alloy 6
|
|
7 | 136 | June 14, 2022 |
|
Building-Gate model
|
|
4 | 76 | May 27, 2022 |
|
Modelling a state machine in Electrum (towards Alloy 6)
|
|
37 | 1340 | March 8, 2022 |
|
Using meta-capabilities
|
|
2 | 121 | February 27, 2022 |
|
Predicate parameters are not constrained
|
|
7 | 138 | February 21, 2022 |
|
Commandline options clash
|
|
3 | 221 | January 26, 2022 |
|
Alloy 6, a milestone contribution to Alloy
|
|
1 | 153 | November 22, 2021 |
|
Next release of Alloy?
|
|
2 | 272 | December 11, 2020 |
|
Built-in event reification?
|
|
5 | 277 | November 2, 2020 |
|
Util/sequniv not valid Electrum
|
|
18 | 321 | September 12, 2020 |
|
New Electrum Release Candidate (towards Alloy 6)
|
|
1 | 631 | September 11, 2020 |