Labels

aliasing
aliasing
Alias and effect analysis for imperative
blocked
blocked
Blocked by another issue/PR
bug
bug
cache
cache
doable
doable
Doable in short time given right understanding
documentation
documentation
dotty
dotty
duplicate
duplicate
enhancement
enhancement
equality
equality
experimental
experimental
extraction
extraction
FAQ
FAQ
Behaviors to document as FAQ, not fix
feature
feature
genc
genc
C code generator
ghost
ghost
has pr
has pr
help wanted
help wanted
high priority
high priority
imperative
imperative
inox
inox
invalid
invalid
laws
laws
measure-inference
measure-inference
merged
merged
need-clarification
need-clarification
old
old
Work that is substantially behind master
packaging
packaging
portfolio
portfolio
princess
princess
Inox issue arising when using Princess solver