Reintroduces Apalache 0.23 and improves docs substantially - Githubissues

informalsystems / modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

Apache License 2.0

28 stars 2 forks source link

Reintroduces Apalache 0.23 and improves docs substantially #41

Closed danwt closed 2 years ago

danwt commented 2 years ago

Addresses

Somewhat addresses

https://github.com/informalsystems/modelator-py/issues/26