YellowGrass

Tagged improvement

issuetype

48
Apr '17
Cleanup normalization of NaBL2 specsimprovement @hendrikvanantwerpen
47
Apr '17
Mark variables inferred as unification variables.improvement @hendrikvanantwerpen
45
Apr '17
Shorten filenames in log messagesimprovement @hendrikvanantwerpen
40
Feb '17
Option to specify if paths matter in resolution and ambiguity checksimprovement @hendrikvanantwerpen
31
Jan '17
Cannot factor out distinct checks into named constraint rulesimprovement @hendrikvanantwerpen
29
Jan '17
Multi-pattern matches for NaBL2 rulesimprovement @hendrikvanantwerpen
28
Jan '17
Orthogonal properties on AST-nodes, not only typesimprovement @hendrikvanantwerpen
19
Oct '16
Option to suppress meta-errorsimprovement @hendrikvanantwerpen
16
Sep '16
nabl2-get-ast-type api call causes stracktrace instead of failimprovement @hendrikvanantwerpen
14
Sep '16
Label order must be completeimprovement @hendrikvanantwerpen
12
Sep '16
Add caching to name resolution algorithmimprovement @hendrikvanantwerpen
10
Sep '16
Update documentationimprovement @hendrikvanantwerpen
9
Sep '16
Fix syntactic completion for NaBL2improvement @hendrikvanantwerpen
8
Sep '16
Shorten variable names in presentation of analysis resultsimprovement @hendrikvanantwerpen
6
Sep '16
Add simple implication constraintimprovement @hendrikvanantwerpen
5
Sep '16
Implement greedy solverimprovement @hendrikvanantwerpen
3
Sep '16
Add arbitrary properties to declarationsimprovement @hendrikvanantwerpen inprogress
1
Sep '16
Do not use constraints marked as warning or note for inferenceimprovement @hendrikvanantwerpen