LUC-AI4FM/tlakit

python -m tlakit.install can hang forever, and jar.py still says downloading is a future feature 23 days ago

good first issue infra

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

The Worker's 64 KB cap counts characters, so a Unicode spec is measured wrong about 1 month ago

good first issue robustness

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

check(animate=True, graph=True) returns no graph and says nothing about 1 month ago

good first issue correctness

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

A cached v1.10.0 jar loses to v1.9.0, because the versions are sorted as strings about 1 month ago

good first issue robustness

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

A misspelled magic flag is silently ignored, so %%tlc runs with no timeout about 1 month ago

good first issue robustness

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

No CONTRIBUTING.md: the setup a contributor needs is only in ci.yml about 1 month ago

good first issue infra

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

examples/specs/check.sh still does the JSON-escaping dance #78 removed about 1 month ago

good first issue

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

Exit code 1 says the spec is wrong, including when TLC never finished about 1 month ago

good first issue correctness

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

`tlakit --version` is a usage error about 1 month ago

good first issue

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

print(sweep) is the wall of text CheckResult.__str__ was written to remove about 1 month ago

good first issue widget

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

Printed results are one unreadable line; CheckResult needs a __str__ about 1 month ago

good first issue

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

Document the public API about 2 months ago

good first issue infra

LUC-AI4FM/tlakit

0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python

Open Issues Need Help