Issues
- 3
Archive versions of the update site / release
#10 opened by dvojtise - 1
bug during simplification with nested arrayRefs
#55 opened by maudinot - 3
- 11
Derived state variables
#16 opened by ltbinsbe - 10
System invariants in GAL
#15 opened by bohlender - 2
Promela to GAL transformation error
#13 opened by DavidFarago - 2
urgent channels in XTA
#12 opened by pascalpoizat - 3
limited quantifiers in properties
#5 opened by yanntm - 6
Sequential composition of assignments??
#11 opened by francomazzanti - 4
NPE whe trying to run its reach or flatten
#9 opened by dvojtise - 5
- 1
- 2
- 0
- 0
Chain transformations
#3 opened by yanntm