alliance-programmers '2000
ALC : CVS loginfo, boog


Francois DONNET (Francois.DONNET@asim.lip6.fr)
Fri, 28 Jul 2000 11:11:03 +0200 (MET DST)

==================================================================== Modification le : Fri Jul 28 11:11:02 MET DST 2000 Par : francois ==================================================================== Update of /users/outil/alliance/cvsroot/alliance/sources/boog In directory opera:/users/cao/francois/alliance/sources/boog Modified Files: Makefile bog_lax_param.c bog_lib_cell.c bog_lib_cell.h bog_lib_complete.c bog_lib_format.c bog_lib_matching.c bog_lib_negativ.c bog_lib_permute.c bog_lib_reader.c bog_lib_specifications.c bog_lib_utils.c bog_main.c bog_map_abl.c bog_map_adapt.c bog_map_befig.c bog_map_befig.h bog_map_delay.c bog_map_pattern.c bog_map_prepare.c bog_normalize_ARITY.c bog_normalize_DAG.c bog_normalize_DC.c bog_normalize_nameindex.c bog_normalize_power.c bog_normalize_register.c bog_normalize_simplify.c bog_signal_adapt.c bog_signal_nameindex.c bog_signal_utils.c bog_unflatten_abl.c bog_unflatten_area.c bog_unflatten_befig.c bog_unflatten_delay.c bog_unflatten_oper.c bog_unflatten_utils.c Added Files: boog.1 Log Message: utilisation lib ludo mode verbose construction cell lib plus rapide ==================================================================== 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.