Search results

Proposal: remove multi-line strings from the language

Status: Open.

#25 In tlaplus/rfcs;

· ahelwer opened on May 21, 2025

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 documentation

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#24 In tlaplus/rfcs;

· lemmy opened on May 14, 2025

Adopting changes to the TLA+ language and standard modules

Status: Open.

#21 In tlaplus/rfcs;

· muenchnerkindl opened on Mar 10, 2025

Proposal: Remove <code>[]ASSUME</code>/<code>[]PROVE</code> construct from the language

Status: Open.

#20 In tlaplus/rfcs;

· ahelwer opened on Feb 27, 2025

Proposal: remove decimal syntax with no leading zero from language (.1234)

Status: Open.

#19 In tlaplus/rfcs;

· ahelwer opened on Feb 10, 2025

Proposal: remove INSTANCE and BY MODULE proof types from language

Status: Open.

#18 In tlaplus/rfcs;

· ahelwer opened on Feb 6, 2025

Proposal: standardize allowing multiple sequential modules in a file

Status: Open.

#17 In tlaplus/rfcs;

· ahelwer opened on Dec 29, 2024

Proposal: Standardize human-usable error codes for reference &amp; testing

Status: Open.

#15 In tlaplus/rfcs;

· ahelwer opened on Nov 25, 2024

Proposal: add tuple destructuring definition in LET/IN blocks

Status: Open.

#14 In tlaplus/rfcs;

· ahelwer opened on Nov 18, 2024

Proposal (PlusCal): <code>action</code> keyword to write any TLA+ expressions WITHOUT generating an UNCHANGED statement.

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In tlaplus/rfcs;

· lemmy opened on Jul 1, 2024

Proposal: allow Unicode alternatives for module delimiters

Status: Open.

#11 In tlaplus/rfcs;

· ahelwer opened on Jun 15, 2024

Proposal: combine set filter and set map language constructs

Status: Open.

#10 In tlaplus/rfcs;

· ahelwer opened on May 8, 2024