rpms / abc

Clone
Source Code
GIT

Blame abc-giaDeep.patch

epel7 f21 f22 f23 f24 f25 f26 f27 f28 f29 f30 f31 f32 f33 main rawhide
  1.   d51159afe7881e5216f5fd68aacb112071b33311
  2.   abc-giaDeep.patch
Blob History Raw
d51159a 
--- src/aig/gia/module.make.orig	2019-12-17 15:57:46.000000000 -0700
d51159a 
+++ src/aig/gia/module.make	2019-12-18 09:15:32.619098847 -0700
d51159a 
@@ -16,6 +16,7 @@ SRC +=    src/aig/gia/giaAig.c \
d51159a 
     src/aig/gia/giaCSat2.c \
d51159a 
     src/aig/gia/giaCTas.c \
d51159a 
     src/aig/gia/giaCut.c \
d51159a 
+    src/aig/gia/giaDeep.c \
d51159a 
     src/aig/gia/giaDfs.c \
d51159a 
     src/aig/gia/giaDup.c \
d51159a 
     src/aig/gia/giaEdge.c \
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.