[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Environnemt Centaur

To: centaur@mirsa.inria.fr
Subject: Environnemt Centaur
From: Eric.Bertelot@irisa.fr (Eric Bertelot)
Date: 22 Nov 92 15:46:33 GMT

Dans le cadre du projet SIGNAL de l'IRISA, nous voudrions transporter la precedente version developpee sous MENTOR vers une version CENTAUR. Pour ce faire, nous utilisons le formalisme METAL. Sous MENTOR, METAL, a partir de la description des syntaxes abstraites et concretes, produisait un certain nombre de fichiers, dont "SIGNACODE.t". Apparemment, sous CENTAUR, le fichier equivalent est "SIGNAL_CODE.ll".

Pourriez-vous nous indiquer la correlation entre ces deux fichiers ? 

Merci.
		
		Eric Berthelot

Follow-Ups:
- Re: Environnemt Centaur
  - From: td@babar.inria.fr (Thierry Despeyroux)

Prev by Date: bug in function {metavariable}:name
Next by Date: how to save annotations?
Prev by thread: Re: bug in function {metavariable}:name
Next by thread: Re: Environnemt Centaur
Index(es):
- Date
- Thread