=================================================================== Modification le : Fri Sep 22 16:55:20 MET DST 2000 Par : syf =================================================================== Update of /users/outil/alliance/cvsroot/alliance/sources/syf/fmi In directory beny:/users/outil/syf/alliance/sources/syf/fmi Added Files: Makefile fmi_bdd.c fmi_bdd.h fmi_main.c fmi_main.h fmi_optim.c fmi_optim.h fmi_parse.c fmi_parse.h fsa_bdd.c local.mk Log Message: FSM Minimization ! =================================================================== =================================================================== Ce message est envoyé au personnes abonnées à alliance-programmers Pour plus d'information sur cette mailling-list, visitez : http://asim.lip6.fr/alliance/mailing-lists/