Skip to content

No labels!

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

48 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
aliasing
aliasing
Alias and effect analysis for imperative
10
blocked
blocked
Blocked by another issue/PR
bug
bug
57
cache
cache
1
doable
doable
Doable in short time given right understanding
4
documentation
documentation
9
dotty
dotty
3
duplicate
duplicate
enhancement
enhancement
33
eqality
eqality
4
experimental
experimental
3
extraction
extraction
3
FAQ
FAQ
Behaviors to document as FAQ, not fix
2
feature
feature
66
genc
genc
C code generator
14
ghost
ghost
4
has pr
has pr
2
help wanted
help wanted
1
high priority
high priority
imperative
imperative
13
inox
inox
3
invalid
invalid
laws
laws
measure-inference
measure-inference
4
merged
merged
need-clarification
need-clarification
2
old
old
Work that is substantially behind master
2
packaging
packaging
1
portfolio
portfolio
1
princess
princess
Inox issue arising when using Princess solver
1