Skip to content

No labels!

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

52 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
Fsequences
Fsequences
Feature: Implementing missing operators on Sequences
1
Fserver
Fserver
Apalache server
4
Fsimulation
Fsimulation
Symbolic simulation
1
FSMT
FSMT
Feature: Improvements in the SMT encoding
8
Fsymb-exec
Fsymb-exec
Feature: symbolic execution
3
FTC-Snowcat
FTC-Snowcat
Feature: Fully-functional type checker Snowcat
7
good-first-issue
good-first-issue
Issues that are good candidates to be the first
3
help wanted
help wanted
9
impact-high
impact-high
Advances state of art | ublocks critical work | saves lots oftime
1
impact-low
impact-low
Easy workaround exists | doesn't help objectives meaingfully | saves hardly any time
8
impact-medium
impact-medium
Incremental improvement | unblocks non-critical work | saves some time
8
integration
integration
Integration with other tools
2
new
new
New issue to be triaged.
23
optimization
optimization
12
parser
parser
Issues related to parsing the SANY semantic graph
product-owner-triage
product-owner-triage
This should be triaged by the product owner
72
refactoring
refactoring
52
tech-debt
tech-debt
Technical debt
10
testing
testing
20
usability
usability
UX improvements
49
user-support
user-support
helping the users
10
wontfix
wontfix
1