Commit 46ef234

authored

Upgrade to tla2tools commit tlaplus/tlaplus@93f4460

Interactively explore the state-space. [Feature]

1 parent 64203df commit 46ef234Copy full SHA for 46ef234

1 file changed

+0

-0

lines changed

tools
- tla2tools.jar

1 file changed

+0

-0

lines changed

`‎tools/tla2tools.jar`

14.1 KB

Binary file not shown.

Comments

(0)