riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Hi

This commit is contained in:
Ludovic Jacomme 2002-04-03 14:55:08 +00:00
parent 34e1c4ca83
commit eb8b2d48be
2 changed files with 7 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
alliance/src/log/src/Makefile.am
View File

@ -1,27 +1,7 @@
CFLAGS = @CFLAGS@ \ CFLAGS = @CFLAGS@ \
-DALLIANCE_TOP=\"${ALLIANCE_TOP}\" -DALLIANCE_TOP=\"${ALLIANCE_TOP}\"
lib_LIBRARIES = libBdd.a lib_LIBRARIES = libLog.a
include_HEADERS = bdd.h include_HEADERS = log.h
libBdd_a_SOURCES = \ libLog_a_SOURCES = \
bdd.h bddenv.h bddimply.h bddsimpdc.h \ log_bdd0.c log.h log_thashbdd.c log_thashloc.c \
bddalloc.c bdderror.c bddlog.c bddsubst.c \ log_bdd1.c log_prefbib.c log_thash.c
bddalloc.h bdderror.h bddlog.h bddsubst.h \
bddapply.c bddexist.c bddmark.c bddsupport.c \
bddapply.h bddexist.h bddmark.h bddsupport.h \
bddassoc.c bddexplosion.c bddnode.c bddsweep.c \
bddassoc.h bddexplosion.h bddnode.h bddsweep.h \
bddblock.c bddflag.c bddoptimize.c bddsystem.c \
bddblock.h bddflag.h bddoptimize.h bddsystem.h \
bddcheck.c bddfraction.c bddreduce.c bddtest.c \
bddcheck.h bddfraction.h bddreduce.h bddtest.h \
bddcircuit.c bddfree.c bddref.c bddtransfert.c \
bddcircuit.h bddfree.h bddref.h bddtransfert.h \
bddcofactor.c bddgarbage.c bddrelprod.c bdduser.c \
bddcofactor.h bddgarbage.h bddrelprod.h bdduser.h \
bddcompose.c bddheath.c bddreorder.c bddvar.c \
bddcompose.h bddheath.h bddreorder.h bddvar.h \
bddconvert.c bddhnode.c bddresize.c bddvaraux.c \
bddconvert.h bddhnode.h bddresize.h bddvaraux.h \
bdddump.c bddhoper.c bddsatisfy.c \
bdddump.h bddhoper.h bddsatisfy.h \
bddenv.c bddimply.c bddsimpdc.c

4
alliance/src/log/src/log.h
View File

@ -30,7 +30,7 @@
/* $Id: log.h,v 1.1 2002/04/03 13:13:25 ludo Exp $ */ /* $Id: log.h,v 1.2 2002/04/03 14:55:08 ludo Exp $ */
#ifndef LUC_LOG_H #ifndef LUC_LOG_H
#define LUC_LOG_H #define LUC_LOG_H
@ -45,7 +45,7 @@
#undef CONTRAINT #undef CONTRAINT
#undef STABLE #undef STABLE
#undef RESTRICT #undef RESTRICT
#undef CNST 10 #undef CNST
#define OR 0 #define OR 0
#define AND 1 #define AND 1