alliance-programmers '2000
ALC : CVS loginfo, syf/bdd


syf@asim.lip6.fr
Mon, 24 Jul 2000 19:15:22 +0200 (MET DST)

==================================================================== 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/

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 22 March 2001.