tlaplus good first issues (Java)

Improve coverage reporting for partially covered expressions 27 days ago

enhancement help wanted Tools

tlaplus/tlaplus

3.0K

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 4 months ago

enhancement help wanted good first issue AI

tlaplus/tlaplus

3.0K

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

PlusCal: PlusCal does not allow INSTANCE with multiple definitions 4 months ago

bug help wanted Tools PlusCal

tlaplus/tlaplus

3.0K

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

Add ANSII colors to TLC 6 months ago

enhancement help wanted Tools good first issue

tlaplus/tlaplus

3.0K

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

Proposal: TLC/SANY quiet mode 6 months ago

enhancement help wanted Tools good first issue

tlaplus/tlaplus

3.0K

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

PlusCal Translator should error for semicolons in a PlusCal "define" block 6 months ago

enhancement help wanted PlusCal

tlaplus/tlaplus

3.0K

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

<>TRUE => <>[]TRUE does not hold 6 months ago

bug help wanted Tools regression

tlaplus/tlaplus

3.0K

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 6 months ago

enhancement help wanted Tools

tlaplus/tlaplus

3.0K

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 7 months ago

enhancement help wanted DevEnvironment good first issue

tlaplus/tlaplus

3.0K

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

Reimplement "Decompose proof" for TLAPS 7 months ago

enhancement help wanted TLAPS TLA+ Foundation Funding

tlaplus/tlaplus

3.0K

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

Part-of-module CFG files throw an error on Windows 7 months ago

bug help wanted Tools good first issue

tlaplus/tlaplus

3.0K

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 7 months ago

enhancement help wanted Tools good first issue

tlaplus/tlaplus

3.0K

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

CI Unit Test report upload is failing 7 months ago

help wanted DevEnvironment good first issue

tlaplus/tlaplus

3.0K

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

Add compact output mode to XMLExporter. 7 months ago

enhancement help wanted Tools AI

tlaplus/tlaplus

3.0K

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

TLA+ Toolbox cannot locate graphviz dot in PATH 10 months ago

help wanted Toolbox

tlaplus/tlaplus

3.0K

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

TLCRuntime returns x86 on non-x86 architecture such as arm about 1 year ago

bug help wanted Tools good first issue

tlaplus/tlaplus

3.0K

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 about 1 year ago

enhancement help wanted Tools TLA+ Foundation Funding

tlaplus/tlaplus

3.0K

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

tlaplus/tlaplus

Open Issues Need Help