Repository navigation
Automata Lab 1.6.0
Automata Lab 1.6.0 adds optional terminal-state execution and clearer editing and print output.
- Mark terminal states in Editor or Chart, with synchronized indicators and exact Undo/Redo.
- Enable terminal stopping in Application Settings → Simulator → Model Parameters. It defaults off; Start or Reset captures the setting for that execution.
- Finish terminal entry actions, preserve traces and remaining events, and stop Run/Step until Reset or a new session. Console and status explain the stop once per execution.
- Read legacy models and migrate configured terminal connections. Canonical Save now writes format 1.4.0 with explicit terminal flags; application, file-format and model metadata versions remain independent.
- Include terminal flags in States CSV and printed reports, and preserve notation in image exports. Solver Apply discloses removed terminal markings; Undo restores them.
- Add a current-format terminal-state example and updated User and Developer Guides. Built-in sessions use protocol
automata-lab-server/2. - Clarify Add/Edit dialog titles for entities, transitions and sequences, and fit printed table columns to their headings in both print styles.
Launch Automata Lab · Documentation
Source ZIP and tar archives are available below.