YellowGrass

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
50
Jun '17
`IllegalStateException: null` error in solvererror @hendrikvanantwerpen
49
May '17
Assertion fails in StrategoTermIndiceserror @hendrikvanantwerpen
48
Apr '17
Cleanup normalization of NaBL2 specsimprovement @hendrikvanantwerpen
47
Apr '17
Mark variables inferred as unification variables.improvement @hendrikvanantwerpen
46
Apr '17
Warnings about store context failureerror @hendrikvanantwerpen
45
Apr '17
Shorten filenames in log messagesimprovement @hendrikvanantwerpen
44
Mar '17
Escaped square brackets not allowed in formatted error messageserror @hendrikvanantwerpen
43
Feb '17
Custom analysis store non-Atermsfeature @hendrikvanantwerpen
42
Feb '17
query relationsfeature @hendrikvanantwerpen
41
Feb '17
querying resolved importsfeature @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
38
Feb '17
Parse ambiguityerror @hendrikvanantwerpen
37
Feb '17
stratego equality and NaBL2 term indicesquestion @hendrikvanantwerpen
36
Feb '17
[ identity crisis | warning ] Cannot copy origin from error @hendrikvanantwerpen
35
Feb '17
Context cannot be serializederror @hendrikvanantwerpen
34
Jan '17
Post-analysis expression-type copying@hendrikvanantwerpen
33
Jan '17
Allow split rule definitionsfeature @hendrikvanantwerpen
32
Jan '17
Cannot traverse the same AST node twiceerror @hendrikvanantwerpen
31
Jan '17
Cannot factor out distinct checks into named constraint rulesimprovement @hendrikvanantwerpen
30
Jan '17
Returning scope as type without a constructor generates wrong codeerror @hendrikvanantwerpen
29
Jan '17
Multi-pattern matches for NaBL2 rulesimprovement @hendrikvanantwerpen
28
Jan '17
Orthogonal properties on AST-nodes, not only typesimprovement @hendrikvanantwerpen
27
Jan '17
nabl2-custom-analysis-unit-hook gives non-desugared asterror @hendrikvanantwerpen
26
Jan '17
No term attachments for things created during desugaringerror @hendrikvanantwerpen
25
Jan '17
Term attachments missingerror @hendrikvanantwerpen
24
Jan '17
Question: 'Cannot copy origin from' the project-path error messagesquestion @hendrikvanantwerpen
23
Jan '17
nabl2-get-custom-analysis failserror @hendrikvanantwerpen
22
Jan '17
Exception in interpreter: No such function : 'SG_get_scope_assocs'error @hendrikvanantwerpen
21
Nov '16
Path-based queriesfeature @hendrikvanantwerpen
20
Oct '16
nabl2-get-scope-direct-edges-invfeature @hendrikvanantwerpen
19
Oct '16
Option to suppress meta-errorsimprovement @hendrikvanantwerpen
18
Oct '16
Name-set Queries (Modeling conflicting trait member imports)question @hendrikvanantwerpen
17
Oct '16
!= does not always give error messageserror @hendrikvanantwerpen
16
Sep '16
nabl2-get-ast-type api call causes stracktrace instead of failimprovement @hendrikvanantwerpen
15
Sep '16
nabl2--get-ast-index fails during analysis phaseerror @hendrikvanantwerpen
14
Sep '16
Label order must be completeimprovement @hendrikvanantwerpen
13
Sep '16
Add hook for custom analysis stepsfeature @hendrikvanantwerpen
12
Sep '16
Add caching to name resolution algorithmimprovement @hendrikvanantwerpen
11
Sep '16
Stratego string-sharing NaBL2 attachments -> multiple identifiers have same identityerror @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
7
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
6
Sep '16
Add simple implication constraintimprovement @hendrikvanantwerpen
5
Sep '16
Implement greedy solverimprovement @hendrikvanantwerpen
4
Sep '16
Name sets have unclear semanticserror @hendrikvanantwerpen
3
Sep '16
Add arbitrary properties to declarationsimprovement @hendrikvanantwerpen inprogress
2
Sep '16
Uninterpreted constraints are not always solvederror @hendrikvanantwerpen
1
Sep '16
Do not use constraints marked as warning or note for inferenceimprovement @hendrikvanantwerpen