search

will62794 / tla-web

Interactive, web-based environment for exploring TLA+ specifications.
MIT License
69 stars 7 forks source link

Support ENABLED #27

Closed will62794 closed 1 year ago

will62794 commented 1 year ago

Support the ENABLED built-in operator.

will62794 commented 1 year ago

Initial implementation in 29b803b, but more unit tests should be added.

will62794 commented 1 year ago

More tests to be added in #32.