YellowGrass

Open Issues of Project NaBL2

54
Nov '18
NaBL2 loses annotations on some list tails in asts when propagated in custom unit resultserror
53
Jan '18
Allow namesets to be saved as AST propertiesfeature
52
Jul '17
Stack overflow on overloaded rule with different amounts of parameterserror
51
Jun '17
genOf/instOf is unsounderror
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
42
Feb '17
query relationsfeature @hendrikvanantwerpen
40
Feb '17
Option to specify if paths matter in resolution and ambiguity checksimprovement @hendrikvanantwerpen
39
Feb '17
Post-analysis analyze this term in this scopefeature @hendrikvanantwerpen
34
Jan '17
Post-analysis expression-type copying@hendrikvanantwerpen
33
Jan '17
Allow split rule definitionsfeature @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
21
Nov '16
Path-based queriesfeature @hendrikvanantwerpen
19
Oct '16
Option to suppress meta-errorsimprovement @hendrikvanantwerpen
18
Oct '16
Name-set Queries (Modeling conflicting trait member imports)question @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
6
Sep '16
Add simple implication constraintimprovement @hendrikvanantwerpen
1
Sep '16
Do not use constraints marked as warning or note for inferenceimprovement @hendrikvanantwerpen