Open Issues Need Help
View All on GitHub good first issue
informalsystems/quint informalsystems/quint An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Open project →
1.1K
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript
#apalache#formal-methods#language#quint#specification#tlaplus#verification
good first issue UX
informalsystems/quint informalsystems/quint An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Open project →
1.1K
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript
#apalache#formal-methods#language#quint#specification#tlaplus#verification
Passing the same argument twice (--max-steps) causes weird behavior about 1 year ago
good first issue UX
informalsystems/quint informalsystems/quint An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Open project →
1.1K
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript
#apalache#formal-methods#language#quint#specification#tlaplus#verification
AI Summary: Modify the Quint CLI to validate the `--n-traces` and `--max-samples` command-line arguments. If `n-traces` is greater than `max-samples`, the CLI should return an error instead of silently producing fewer traces than requested.
Complexity:
3/5
usability good first issue
informalsystems/quint informalsystems/quint An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Open project →
1.1K
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript
#apalache#formal-methods#language#quint#specification#tlaplus#verification