YellowGrass

Hendrik van Antwerpen

Projects

NaBL223 open issues

Recently Reported Issues

NaBL2
Jun '17
genOf/instOf is unsounderror
NaBL2
Apr '17
Cleanup normalization of NaBL2 specsimprovement @hendrikvanantwerpen
NaBL2
Apr '17
Mark variables inferred as unification variables.improvement @hendrikvanantwerpen
NaBL2
Apr '17
Shorten filenames in log messagesimprovement @hendrikvanantwerpen
Spoofax
Apr '17
Eclipse restart required to reload project configurationimprovement
NaBL2
Feb '17
Option to specify if paths matter in resolution and ambiguity checksimprovement @hendrikvanantwerpen
NaBL2
Jan '17
Allow split rule definitionsfeature @hendrikvanantwerpen
SPTWithCore
Oct '16
Test runner in Eclipse cannot be canceledimprovement
NaBL2
Sep '16
Label order must be completeimprovement @hendrikvanantwerpen
NaBL2
Sep '16
Add hook for custom analysis stepsfeature @hendrikvanantwerpen
NaBL2
Sep '16
Add caching to name resolution algorithmimprovement @hendrikvanantwerpen
NaBL2
Sep '16
Update documentationimprovement @hendrikvanantwerpen
NaBL2
Sep '16
Fix syntactic completion for NaBL2improvement @hendrikvanantwerpen
NaBL2
Sep '16
Shorten variable names in presentation of analysis resultsimprovement @hendrikvanantwerpen
NaBL2
Sep '16
In single file mode, variables with the same name in `init` and a matching rule don't get unique names but clasherror @hendrikvanantwerpen