-
fbc2ffa2 · re-enable silent ignore of return parameters because tests depend o...
-
72274a50 · disable handling of output parameters for now
-
6386473c · add test and todo for type restrictor with if-predicate
-
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
-
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
- ... and 1 more commit. Compare 8aacb419...b752f606
-
43461924 · Merge branch 'develop'
- ... and 18 more commits. Compare d4c28859...43461924
-
8aacb419 · Switch to release versions of parsers and tla2bAST
- ... and 3 more commits. Compare b5237afd...8aacb419
-
b5237afd · Update to new parser snapshot version 2.15.0-SNAPSHOT
-
311031fb · reset OutputCollector together with TLC4BGlobals
-
29a2ede3 · minor simplifications
- ... and 1 more commit. Compare 01ced8c9...29a2ede3