|
How to build Alloy6 'master' branch? (org.alloytools.alloy.lsp is not linked with a Java project)
|
|
12
|
427
|
February 9, 2024
|
|
nuSMV and nuXmv on Apple M2
|
|
23
|
763
|
January 30, 2024
|
|
Concept Design, Code Reading and Collaboration
|
|
0
|
148
|
January 23, 2024
|
|
How do I set up Minisat on Windows?
|
|
2
|
252
|
January 15, 2024
|
|
How to find first relation *not* of a type
|
|
5
|
299
|
January 15, 2024
|
|
Predicate inv13 in Alloy4Fun Courses seems wrong
|
|
0
|
114
|
January 11, 2024
|
|
How to make a pred initialevent based on case study
|
|
3
|
197
|
December 5, 2023
|
|
Unable to get simple example to produce a trace
|
|
5
|
314
|
November 17, 2023
|
|
Viz GUI:how to get a control node to bend a straight arrow?
|
|
1
|
210
|
November 13, 2023
|
|
Merging two sets of relations by some rule
|
|
2
|
288
|
October 10, 2023
|
|
Trival condition violated in a model of 2Psets?
|
|
6
|
321
|
October 4, 2023
|
|
LinkedList module for temporal logic
|
|
1
|
339
|
September 4, 2023
|
|
Apparently irregular type inference for +/- operators
|
|
2
|
290
|
August 19, 2023
|
|
What documentation / learning material would you like to see?
|
|
9
|
764
|
August 19, 2023
|
|
Specify a predicate being true for n steps
|
|
3
|
302
|
August 18, 2023
|
|
Modeling a key-value-store with snapshot isolation
|
|
8
|
487
|
July 23, 2023
|
|
Isn’t frame conditions quite fragile?
|
|
5
|
546
|
July 20, 2023
|
|
Help with book example
|
|
3
|
330
|
June 23, 2023
|
|
TLA+-like unchanged
|
|
4
|
340
|
June 15, 2023
|
|
Higher-order quantification could not be skolemized
|
|
1
|
324
|
June 14, 2023
|
|
questions about Alloy coding and instances
|
|
1
|
266
|
June 6, 2023
|
|
Simple book examples don't work(?)
|
|
1
|
266
|
May 3, 2023
|
|
Alloy @ ABZ'23 conference
|
|
0
|
347
|
April 15, 2023
|
|
Following the online book, and running into issues
|
|
1
|
336
|
April 14, 2023
|
|
Alloy 6 Examples/Tutorials?
|
|
5
|
1317
|
April 3, 2023
|
|
Modeling a presentation with ordered slides
|
|
8
|
380
|
March 22, 2023
|
|
Lack of Activity
|
|
0
|
303
|
March 17, 2023
|
|
Having events ordered in event reification
|
|
3
|
412
|
January 16, 2023
|
|
Kodkod provides different result from Alloy Analyzer
|
|
1
|
348
|
January 13, 2023
|
|
Looking for a simpler solution
|
|
2
|
369
|
December 31, 2022
|