Merge branch 'dev' into 'main'

.gitlab-ci.yml

.gitmodules

README.md

dumpAst.base/.gitignore

dumpAst.base/build.gradle

dumpAst.base/src/main/jastadd/ClassAnalysis.jrag

dumpAst.base/src/main/jastadd/DumpAst.relast

dumpAst.base/src/main/jastadd/Frontend.jrag

dumpAst.base/src/main/jastadd/GeneratedNavigation.jrag

dumpAst.base/src/main/jastadd/Imports.jadd

dumpAst.base/src/main/jastadd/Mustache.jrag

dumpAst.base/src/main/jastadd/Navigation.jrag

dumpAst.base/src/main/jastadd/Printing.jrag

dumpAst.base/src/main/jastadd/TemplateContext.jrag

dumpAst.base/src/main/jastadd/ToYaml.jrag

dumpAst.base/src/main/jastadd/Transform.jadd

dumpAst.base/src/main/jastadd/Util.jrag

dumpAst.base/src/main/jastadd/mustache

.../de/tudresden/inf/st/jastadd/dumpAst/ast/DumpBuilder.java

.../java/de/tudresden/inf/st/jastadd/dumpAst/ast/Dumper.java