tlaplus/tlaplus

TLCRuntime returns x86 on non-x86 architecture such as arm 2 months ago

bug help wanted Tools good first issue

tlaplus/tlaplus

2.5K

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java

#algorithms#high-performance#java#mit-license#model-checking#specifications#tla#verification

Ability to export TLC state graph 2 months ago

enhancement help wanted Tools TLA+ Foundation Funding

tlaplus/tlaplus

2.5K

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java

#algorithms#high-performance#java#mit-license#model-checking#specifications#tla#verification

Create and curate a TLA+ Dataset for LLM Training and Evaluation 3 months ago

enhancement help wanted good first issue AI

tlaplus/tlaplus

2.5K

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java

#algorithms#high-performance#java#mit-license#model-checking#specifications#tla#verification

Make TLC's missing config file error message clearer and more concise 3 months ago

enhancement help wanted Tools good first issue

tlaplus/tlaplus

2.5K

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java

#algorithms#high-performance#java#mit-license#model-checking#specifications#tla#verification

Using `-dump` option to produce state dumps in machine readable format 4 months ago

AI Summary: Modify the TLC model checker's `-dump` option to output state dumps in JSON format instead of the current TLA+ format. This will improve the usability of the dumps for automated test generation in other programming languages.

Complexity: 4/5

enhancement help wanted Tools

tlaplus/tlaplus

2.5K

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java

#algorithms#high-performance#java#mit-license#model-checking#specifications#tla#verification

Release page shows old release at the top 4 months ago

AI Summary: Update the GitHub releases page for the TLA+ Toolbox project to ensure that the most recent release is displayed at the top. This involves investigating why an older release is currently prioritized and correcting the ordering to reflect the current version.

Complexity: 2/5

enhancement help wanted DevEnvironment good first issue

tlaplus/tlaplus

2.5K

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java

#algorithms#high-performance#java#mit-license#model-checking#specifications#tla#verification

Open Issues Need Help