- 20 May, 2020 1 commit
-
-
André Pacak authored
-
- 19 May, 2020 2 commits
-
-
André Pacak authored
-
André Pacak authored
-
- 14 May, 2020 2 commits
-
-
André Pacak authored
-
André Pacak authored
-
- 12 May, 2020 2 commits
-
-
André Pacak authored
-
André Pacak authored
-
- 11 May, 2020 3 commits
-
-
André Pacak authored
-
André Pacak authored
-
André Pacak authored
one problem is that there is now case for the beginning of type checking (empty context)
-
- 10 May, 2020 3 commits
-
-
André Pacak authored
-
André Pacak authored
undo method for changer so we iterate over the same change and now can configure which node to apply the change to
-
André Pacak authored
Generate is_X for constructor X without arguments, is needed such that transformation is correct if error step is skipped
-
- 09 May, 2020 4 commits
-
-
André Pacak authored
-
André Pacak authored
-
André Pacak authored
-
André Pacak authored
extended synthesizer as well
-
- 08 May, 2020 2 commits
-
-
André Pacak authored
-
André Pacak authored
-
- 07 May, 2020 2 commits
-
-
André Pacak authored
-
André Pacak authored
-
- 06 May, 2020 3 commits
-
-
André Pacak authored
-
André Pacak authored
-
André Pacak authored
-
- 05 May, 2020 3 commits
-
-
André Pacak authored
-
André Pacak authored
-
André Pacak authored
-
- 04 May, 2020 1 commit
-
-
Sebastian Erdweg authored
-
- 03 May, 2020 12 commits
-
-
André Pacak authored
-
Sebastian Erdweg authored
-
André Pacak authored
-
André Pacak authored
-
André Pacak authored
-
Sebastian Erdweg authored
-
André Pacak authored
-
André Pacak authored
# Conflicts: # inca-translation/solutions/TypeLangTest/TypeLangTest.msd
-
André Pacak authored
-
Sebastian Erdweg authored
-
André Pacak authored
-
Sebastian Erdweg authored
# Conflicts: # inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
-