|
|
|
The VASY team is pleased to announce that the TRAIAN 2.5 compiler is available.
TRAIAN 2.5 is a compiler for LOTOS NT, a language very close to the ISO standard E-LOTOS.
Version 2.5 of TRAIAN fixes four bugs:
Using "eval F ()" with a function F which has a non-void return type
is now detected as a semantic error by the compiler;
Variable initialization analysis does not complain anymore
about initializations in "var ... end var" statements;
The LOTOS NT predefined library now uses the right
deallocation function when the garbage collector is in use;
Functions or constructors which have the same types of
parameters but different result types now compile properly.
Additionally:
The C code generated by TRAIAN was adapted so as to compile smoothly with both GCC and Intel's ICC compilers;
The TRAIAN libraries and shell-scripts have been ported to Intel's IA64 (Itanium) architecture.
TRAIAN 2.5 can be freely downloaded from the TRAIAN Web Page located at:
Within the VASY team, TRAIAN is used extensively for compiler construction (see the overview publication). Five compilers (AAL, Evaluator 4.0, Exp.Open 2.0, NTIF, SVL 2.0) have been developed using the combined SYNTAX/TRAIAN technologies. Two other compilers are being developed using this technology.
David Champelovier,
Hubert Garavel,
Frédéric Lang,
Gwen Salaun
Back to the VASY Home Page