alliance-programmers '01
ALC : CVS loginfo, boog


Francois DONNET (Francois.DONNET@asim.lip6.fr)
Wed, 7 Nov 2001 20:17:11 +0100 (MET)

=================================================================== Modification le : Wed Nov 7 20:16:56 MET 2001 Par : francois =================================================================== Update of /users/outil/alliance/cvsroot/alliance/sources/boog In directory huelgoat:/users/cao/francois/alliance/sources/boog Modified Files: bog_lib_negativ.c bog_map_pattern.c bog_unflatten_oper.c Log Message: Oups! bug sur les xor dans bog_lib_negativ lors de la propagation des NOT =================================================================== Index: bog_lib_negativ.c =================================================================== RCS file: /users/outil/alliance/cvsroot/alliance/sources/boog/bog_lib_negativ.c,v retrieving revision 1.3 retrieving revision 1.4 diff -r1.3 -r1.4 168d167 < switch (ABL_OPER(abl)) { 170,171c169,170 < case ABL_STABLE: < case ABL_NAND: case ABL_NOR: case ABL_NXOR: case ABL_XOR: return abl; --- > switch (ABL_OPER(abl)) { > case ABL_NAND: case ABL_NOR: return abl; 173c172,178 < } --- > } > > /*forbidden to invert*/ > switch (ABL_OPER(abl)) { > case ABL_STABLE: > case ABL_NXOR: case ABL_XOR: return abl; > } 216,217d220 < case ABL_XOR: ABL_OPER(abl)=ABL_NXOR; break; < case ABL_NXOR: ABL_OPER(abl)=ABL_XOR; break; Index: bog_map_pattern.c =================================================================== RCS file: /users/outil/alliance/cvsroot/alliance/sources/boog/bog_map_pattern.c,v retrieving revision 1.13 retrieving revision 1.14 diff -r1.13 -r1.14 367a368 > break; Index: bog_unflatten_oper.c =================================================================== RCS file: /users/outil/alliance/cvsroot/alliance/sources/boog/bog_unflatten_oper.c,v retrieving revision 1.2 retrieving revision 1.3 diff -r1.2 -r1.3 130c130 < case ABL_XOR: case ABL_NXOR: --- > case ABL_XOR: 132c132,139 < case ABL_XOR: case ABL_NXOR: return 1; --- > case ABL_XOR: return 1; > case ABL_NXOR: return 1; =================================================================== Ce message est envoyé au personnes abonnées à alliance-programmers Pour plus d'information sur cette mailling-list, visitez : http://www-asim.lip6.fr/alliance/mailing-lists/

 



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