YellowGrass

Tagged @hendrikvanantwerpen

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