==================================================================== Modification le : Mon Jul 24 19:15:21 MET DST 2000 Par : syf ==================================================================== Update of /users/outil/alliance/cvsroot/alliance/sources/syf/bdd In directory odroz:/users/outil/syf/alliance/sources/syf/bdd Modified Files: bddfree.c bddnode.c bddreorder.c bddsystem.c bddvar.c Added Files: bdd105.h bddexplosion.c bddexplosion.h Removed Files: bdd104.h Log Message: Correction d'un bug d'allocation memoire :-( Adjout d'un systeme d'alerte anti-explosion des bdds ==================================================================== 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/