Issues · metaborg/nabl · GitHub

Labels Milestones

Rule origin tracking

Comp-Transformation

Type-Feature-Request

#117

· AZWN opened

on Mar 6, 2024

Annotations

Comp-Transformation

Type-Feature-Request

#116

· AZWN opened

on Mar 6, 2024

Spuriously failing tests

State-Needs-Clarification

#112

· AZWN opened

on Jul 19, 2023

Retrieving astId of list term gets astId of first element instead

#111

· RvanBaarle opened

on Feb 10, 2023

Cascading errors in the WebDSL specification

Type-Feature-Request

#107

· maxdekrieger opened

on Oct 17, 2022

Cast in `ScopeGraphUtils`

good first issue

Type-Feature-Request

#106

· AZWN opened

on Oct 5, 2022

Invalid errors on Self-imports.

good first issue

#104

· AZWN opened

on Sep 5, 2022

Precompiling query with negation does not terminate.

Comp-Transformation

#103

· AZWN opened

on Jun 28, 2022

Unification on AST terms looses indices

#100

· AZWN opened

on May 2, 2022

Error in PIE file with incremental/concurrent solver but not with traditional solver

#96

· MeAmAnUsername opened

on Apr 14, 2022

Incremental analysis gives errors when language id is interpolated

State-Needs-Clarification

#95

· MeAmAnUsername opened

on Apr 14, 2022

Cannot retrieve scope data from scopes outside of the current analysis context with concurrent solver enabled

Comp-Stratego-API

Solver-Concurrent

Solver-Incremental

#94

· jochembroekhoff opened

on Apr 11, 2022