Re: Environnemt Centaur

[td@babar.inria.fr (Thierry Despeyroux)]

In article <34633@sophia.inria.fr>, jmi@columbo.inria.fr (Janet Bertot) writes:
|> 
|> In article <34610@sophia.inria.fr>, td@babar.inria.fr (Thierry Despeyroux) writes:
|> => 
|> => Eric Bertelot (Eric.Bertelot@irisa.fr) wants to port to Centaur an
|> => application developped with its ancestor Mentor and ask some questions about
|> => the files generated by the Metal compiler.
|> 
|> In particular, Eric asks about the ".t" file and if it has been replaced by the
|> "_code.ll" file.  No, the ".t" file is still generated along with a host of other
|> files.  

Woups! There was 2 files with .t extention in Mentor, and Eric
asked about the *CODE.t file.

So, to be precise, for a formalism named F, the file F.t (the tables
for the abstract syntax) is identical in Mentor and Centor. And yes,
the file FCODE.t of Mentor is replaced by F_code.ll in Centaur.

Thierry.

-- 
Send contributions and compliments to centaur@sophia.inria.fr. Registration
and administrative matters should be sent to centaur-request@sophia.inria.fr.
+---------------------------------------------------------------------------+
|     Thierry Despeyroux      | email: Thierry.Despeyroux@sophia.inria.fr   |
| I.N.R.I.A. Sophia-Antipolis | phone: +33 93 65 77 07 fax: +33 93 65 77 66 |
+---------------------------------------------------------------------------+