The CONVECS team is pleased to announce
that version 3.3 of the TRAIAN compiler for LOTOS NT is available.
TRAIAN 3.3 brings six language changes, six compiler changes, eight
code-generation changes, one miscellaneous change, and two bug fixes
(see below their description).
TRAIAN 3.3 introduces various changes to the LOTOS NT language in order to further align it with the LNT language supported by the CADP toolbox. The LOTOS NT Reference Manual and the style files for text editors have been updated to reflect these changes.
traian_upc 2020-LOTNT-IMPLIES [<file> or <directory>]See item 249 in the HISTORY.txt file.
traian_upc 2020-LOTNT-ANDTHEN [<file> or <directory>] traian_upc 2020-LOTNT-ORELSE [<file> or <directory>]See item 252 in the HISTORY.txt file.
0. Pseudo-operators "of", "." (field selection and update) 1. and, and then, /, div, mod, rem, *, ** 2. or, or else, xor, +, - 3. ==, !=, <, <=, >=, >, =>, <=>to six levels:
0. Pseudo-operators "of", "." (field selection and update) 1. User-defined infix operators 2. ** 3. *, /, div, mod, rem 4. +, - 5. ==, =, !=, <, <=, >=, > 6. and, and then, or, or else, xor, =>, <=>Because this change is not backward compatible, TRAIAN 3.3 emits warnings if the new precedence rules modify the way an expression is parsed. Such warnings can be silenced by adding extra parentheses, or by inserting a pragma !update "2021-b" in the file, or by setting the environment variable $LNT_UPDATE to "2021-b". Users are advised to upgrade their source LOTOS NT files using the command:
traian_upc 2021-LOTNT-PRIORITIES [<file> or <directory>]See item 259 in the HISTORY.txt file.
TRAIAN 3.3 can be freely downloaded from the TRAIAN Web Page located at: