An error occurred while fetching folder content.
Select Git revision
src
-
-
- Open in your IDE
- Download source code
- Download this directory
loki der quaeler
authored and
loki der quaeler
committed
. refactoring of spec writing and error-state-variable atoms into the tlatools level . creation of a model check output parser to capture an error state list . creation of the TraceExplorer command line application to: .. generate SpecTE from the .tla/.cfg/.out triplet from a model checking run .. pretty print to System.out the error state trace specified in an .out . unit tests for the CFG and TLA copiers . documentation Issue #393 [Feature][Tools][Toolbox]
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
Name | Last commit | Last update |
---|---|---|
.. |