You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, for interacting cleanly with Apalache, we use modelator-py.
However, recently, Apalache introduced the server mode called Chai. Chai would give us the same functionality as modelator-py but would be more robust and standardized (ie, we would not depend on hacky parsing of CLI output).
The text was updated successfully, but these errors were encountered:
I have suggested to several interested parties, that we use this issue to gather links and references that serve as evidence to show the business case that would motivate us prioritizing this work.
Currently, for interacting cleanly with Apalache, we use modelator-py.
However, recently, Apalache introduced the server mode called Chai.
Chai
would give us the same functionality asmodelator-py
but would be more robust and standardized (ie, we would not depend on hacky parsing of CLI output).The text was updated successfully, but these errors were encountered: