Skip to content

No labels!

There aren’t any labels for this repository quite yet.

blocked
blocked
Blocked by another issue or requirement
BLOCKING
BLOCKING
This issues blocks the reporters work
bug
bug
Something isn't working
doc
doc
Improvements or additions to documentation
effect system
effect system
Quint effects checker
effort-easy
effort-easy
Can be completed within about 1 day
effort-hard
effort-hard
Takes >= 5 days (probably requires issue refactor)
effort-medium
effort-medium
Can be completed within about 3 days
error messages
error messages
Collects issues steming from poor error messages
example
example
Language and specification examples
feedback
feedback
User feedback
flattening
flattening
good first issue
good first issue
A simple issue to start with
help wanted
help wanted
Extra attention is needed
impact-high
impact-high
High impact
impact-low
impact-low
Low impact
impact-medium
impact-medium
Medium impact
informal-user-support
informal-user-support
input needed
input needed
Further information is requested
language design
language design
Language specification
modularity
modularity
Issues and features affecting modularity of specs
name resolution
name resolution
Name and imports resolution
parser
parser
Quint parser
performance
performance
repl
repl
Quint REPL (phase 5c)
simulator
simulator
Quint simulator
state composition
state composition
tech-debt
tech-debt
Technical debt
tla+ transpilation
tla+ transpilation
Quint to TLA+ transpiler
typechecker
typechecker
Type checker for Quint