Skip to content

No labels!

There aren’t any labels for this repository quite yet.

10 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Incorrect behaviour of the tool
33
build
build
Problem with Maven build and unit test of Overture
1
dependencies
dependencies
Pull requests that update a dependency file
25
discussion
discussion
1
duplicate
duplicate
1
enhancement
enhancement
Not a bug, but nice to have
20
external
external
A problem with something we don't control
1
IDE
IDE
Problem with Eclipse rather than language core
10
language
language
Issues in parser, TC, interpreter, POG or CG
26
Mergable
Mergable
A fix is available on a branch to merge for release
5