Merge branch 'develop' into 'master'

#554 develop to master for v0.10-M1 See merge request eclipse/escet/escet!586

Merge branch 'develop' into 'master'
#554 develop to master for v0.10-M1 See merge request eclipse/escet/escet!586
44dba3bf · Dennis Hendriks · c89caf74 · 966a66f7 · 44dba3bf · 44dba3bf
Commit 44dba3bf authored 2 years ago by Dennis Hendriks
--- a/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.jdt.core.prefs
+++ b/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.jdt.core.prefs
--- a/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.jdt.ui.prefs
+++ b/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.jdt.ui.prefs
--- a/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.ltk.core.refactoring.prefs
+++ b/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.ltk.core.refactoring.prefs
--- a/tooldef/org.eclipse.escet.tooldef.typechecker/META-INF/MANIFEST.MF
+++ b/tooldef/org.eclipse.escet.tooldef.typechecker/META-INF/MANIFEST.MF
--- a/tooldef/org.eclipse.escet.tooldef.typechecker/src/org/eclipse/escet/tooldef/typechecker/CheckerContext.java
+++ b/tooldef/org.eclipse.escet.tooldef.typechecker/src/org/eclipse/escet/tooldef/typechecker/CheckerContext.java
--- a/tooldef/org.eclipse.escet.tooldef.typechecker/src/org/eclipse/escet/tooldef/typechecker/ToolDefTypeChecker.java
+++ b/tooldef/org.eclipse.escet.tooldef.typechecker/src/org/eclipse/escet/tooldef/typechecker/ToolDefTypeChecker.java