IA-Toolset 1.0.1

• The IA-Toolset for Interface Automata theories: Interface Automata for Shared Memory and Modal Interface Automata
• Fixes:
  • The pruning of error states was sensitive to the textual ordering of transitions
  • IAM: Product state with a classic IA communication error was not marked as having an error
  • Error state in an automaton was not carried over into its product automaton
  • Actions present in the signature of an automaton are not preserved in clones if the actions are never used in a transition
  • Refinement checks that both automata have the same signature

IA-Toolset 1.0.0

• The IA-Toolset for Interface Automata theories: Interface Automata for Shared Memory and Modal Interface Automata
• Features:
  • Textual language for modelling the automata
  • Product/composition
  • Refinement checking
  • Debugger
  • IDE language server (implements Language Server Protocol)
  • VSCode extension
• Tools (Support macOS, Windows, Linux):
  • iac-1.0.0.zip: command-line interpreter
  • ia-toolset-1.0.0.vsix: VSCode extension with language server and debugger bundled
    • Install: code --install-extension ia-toolset-1.0.0.vsix