Alloy 6
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Alloy 6 category
|
|
0 | 169 | August 26, 2020 |
|
Lack of Activity
|
|
0 | 30 | March 17, 2023 |
|
Announcing Alloy 6!
|
|
7 | 538 | June 16, 2022 |
|
Problem in understanding mutable state in Alloy 6
|
|
7 | 195 | June 14, 2022 |
|
Building-Gate model
|
|
4 | 105 | May 27, 2022 |
|
Modelling a state machine in Electrum (towards Alloy 6)
|
|
37 | 1529 | March 8, 2022 |
|
Using meta-capabilities
|
|
2 | 140 | February 27, 2022 |
|
Predicate parameters are not constrained
|
|
7 | 192 | February 21, 2022 |
|
Commandline options clash
|
|
3 | 272 | January 26, 2022 |
|
Alloy 6, a milestone contribution to Alloy
|
|
1 | 175 | November 22, 2021 |
|
Next release of Alloy?
|
|
2 | 308 | December 11, 2020 |
|
Built-in event reification?
|
|
5 | 311 | November 2, 2020 |
|
Util/sequniv not valid Electrum
|
|
18 | 383 | September 12, 2020 |
|
New Electrum Release Candidate (towards Alloy 6)
|
|
1 | 679 | September 11, 2020 |