-
Notifications
You must be signed in to change notification settings - Fork 1
- #21 · muenchnerkindl opened
on Mar 10, 2025
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Align TLA+ trifecta: Apalache, TLAPM, and TLC on a shared resolution of CASE semantics
enhancementNew feature or requestNew feature or requestquestionFurther information is requestedFurther information is requestedStatus: Open.#26 In tlaplus/rfcs;- Status: Open.#25 In tlaplus/rfcs;
Provide the content of https://lamport.azurewebsites.net/tla/tla2-guide.pdf in a more accessible, web-friendly format
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#24 In tlaplus/rfcs;- Status: Open.#21 In tlaplus/rfcs;
- Status: Open.#20 In tlaplus/rfcs;
- Status: Open.#19 In tlaplus/rfcs;
- Status: Open.#18 In tlaplus/rfcs;
- Status: Open.#17 In tlaplus/rfcs;
- Status: Open.#15 In tlaplus/rfcs;
- Status: Open.#14 In tlaplus/rfcs;
Proposal (PlusCal):
actionkeyword to write any TLA+ expressions WITHOUT generating an UNCHANGED statement.enhancementNew feature or requestNew feature or requestStatus: Open.#12 In tlaplus/rfcs;- Status: Open.#11 In tlaplus/rfcs;