2e5e6de4 · update parsers to version 2.15.2

56d39791 · update parsers to version 2.15.1

fbc2ffa2 · re-enable silent ignore of return parameters because tests depend o...

72274a50 · disable handling of output parameters for now

ebe60c37 · fix nested function assignments

6386473c · add test and todo for type restrictor with if-predicate

ed05fef8 · fix renamer not respecting ACTION

0cafd422 · Remove strict scope check vor assign substitutions: it broke double...

6cf8f0c7 · Implement basic support for LET expression & predicate

c91cecf1 · Improve exception message from UnsupportedConstructsFinder

b0176d4c · Support IF-ELSIF-ELSE expressions

85da40ac · Add IF-ELSEs and LETs to unsupported constructs

66c2ccb4 · Add FREETYPES clause to unsupported constructs

b752f606 · Bump version number to 1.2.2-SNAPSHOT

43461924 · Merge branch 'develop'

8aacb419 · Switch to release versions of parsers and tla2bAST

b5237afd · Update to new parser snapshot version 2.15.0-SNAPSHOT

311031fb · reset OutputCollector together with TLC4BGlobals

29a2ede3 · minor simplifications