issues
search
metaborg
/
nabl
Spoofax' Name Binding Language
Apache License 2.0
7
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Rule origin tracking
#117
AZWN
opened
8 months ago
1
Annotations
#116
AZWN
opened
8 months ago
1
Bump ch.qos.logback:logback-classic from 1.2.0 to 1.2.13 in /spoofax.analysis.benchmark
#115
dependabot[bot]
opened
11 months ago
0
Bump ch.qos.logback:logback-classic from 1.2.0 to 1.3.12 in /spoofax.analysis.benchmark
#114
dependabot[bot]
closed
11 months ago
1
Add origin field to constraints
#113
Virtlink
closed
1 year ago
2
Spuriously failing tests
#112
AZWN
opened
1 year ago
14
Retrieving astId of list term gets astId of first element instead
#111
RvanBaarle
opened
1 year ago
2
Guava removal
#110
Apanatshka
closed
1 year ago
13
Custom Error message Influences test result.
#109
AZWN
closed
1 year ago
4
Spec information in Errors
#108
AZWN
closed
1 year ago
1
Cascading errors in the WebDSL specification
#107
maxdekrieger
opened
2 years ago
0
Cast in `ScopeGraphUtils`
#106
AZWN
opened
2 years ago
0
Remove ECJ dependency
#105
Virtlink
closed
2 years ago
1
Invalid errors on Self-imports.
#104
AZWN
opened
2 years ago
0
Precompiling query with negation does not terminate.
#103
AZWN
opened
2 years ago
0
Replace M.cases and M.casesFix with > 2 cases of appl with a switch on the constructor name
#102
Apanatshka
opened
2 years ago
0
Remove `signatures/-` import in `renaming.str`.
#101
Gohla
closed
2 years ago
3
Unification on AST terms looses indices
#100
AZWN
opened
2 years ago
0
Replace Cases with enum Tag and switch statements
#99
Apanatshka
opened
2 years ago
6
Consider what should happen to annotations on explicated terms
#98
molenzwiebel
closed
2 years ago
1
Custom error message not triggering.
#97
ReiniervdG
closed
2 years ago
1
Error in PIE file with incremental/concurrent solver but not with traditional solver
#96
MeAmAnUsername
opened
2 years ago
0
Incremental analysis gives errors when language id is interpolated
#95
MeAmAnUsername
opened
2 years ago
2
Cannot retrieve scope data from scopes outside of the current analysis context with concurrent solver enabled
#94
jochembroekhoff
opened
2 years ago
1
NPE in ApplyRelaxed.apply
#93
Gohla
opened
2 years ago
2
Permission Analysis crashes on Unresolved Predicate Reference
#92
MeAmAnUsername
opened
2 years ago
3
Document `editor-analyze` inputs/outputs.
#91
AZWN
opened
2 years ago
0
Allow escaped characters in templates (messages)
#90
MeAmAnUsername
closed
2 years ago
5
Require that a Statix variable is bound
#89
MeAmAnUsername
closed
2 years ago
4
Reference resolution in errors
#88
MeAmAnUsername
closed
2 years ago
3
Show incoming edges in scope graph
#87
MeAmAnUsername
opened
2 years ago
1
Scope Graph Visualization
#86
AZWN
opened
2 years ago
0
Navigation in Test Results
#85
AZWN
opened
2 years ago
1
Statix Stratego API root scope retrieval
#84
jessetilro
opened
3 years ago
0
Parse error on escape characters in template literals
#83
casperbp
closed
2 years ago
0
Double name qualification
#82
AZWN
opened
3 years ago
0
Warning on `pre` transformation losing origins
#81
AZWN
opened
3 years ago
0
Type ascription in Statix breaks checking
#80
Gohla
closed
3 years ago
1
Error on failing property constraints.
#79
AZWN
closed
1 year ago
2
Permissions lost when scope is used in non-linear pattern
#78
AZWN
opened
3 years ago
0
Get list of references to an AST node
#77
MeAmAnUsername
closed
3 years ago
3
Statix AST property debugging
#76
jochembroekhoff
opened
3 years ago
0
Don't detect deadlocks in nodes depending on knots.
#75
AZWN
closed
2 years ago
0
astId is ignored when used as location for message
#74
MeAmAnUsername
opened
3 years ago
0
Tests cannot be cancelled
#73
AZWN
opened
3 years ago
0
Export proper Scope Graph Libraries.
#72
AZWN
opened
3 years ago
0
Fail to show message on try if inner constraint fails
#71
MeAmAnUsername
closed
3 years ago
1
Preserve `note`s from entailment contexts
#70
AZWN
opened
3 years ago
0
Outline for Statix spec
#69
MeAmAnUsername
opened
3 years ago
3
Intermittent empty query results
#68
MeAmAnUsername
closed
3 years ago
6
Next