PlusPy icon indicating copy to clipboard operation
PlusPy copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus
→

Metadata

Python interpreter for TLA+ specifications

Results 1 PlusPy issues
Sort by recently updated
recently updated
newest added

Add support for 'STRING' in PlusPy

6 comment

One of the TLA+ modules I have written uses 'STRING' which Pluspy declares is an 'unknown identifier'. Looking at pluspy.py, it seems like 'STRING' is not part of the ReservedWords...

amanshaikh75 avatar amanshaikh75

← Metadata

111
Stars
9
Forks
Watchers

Owner

verified publisher icon tlaplus

Metadata

Python interpreter for TLA+ specifications

Back