gia « aig « src - iCE40/abc

Mode	Name	Size
-rw-r--r--	gia.c	1389	log stats plain
-rw-r--r--	gia.h	27617	log stats plain
-rw-r--r--	giaAig.c	6884	log stats plain
-rw-r--r--	giaAiger.c	16341	log stats plain
-rw-r--r--	giaCSat0.c	10572	log stats plain
-rw-r--r--	giaCSat1.c	23032	log stats plain
-rw-r--r--	giaCSatA.c	3793	log stats plain
-rw-r--r--	giaCSatB.c	14696	log stats plain
-rw-r--r--	giaCof.c	24982	log stats plain
-rw-r--r--	giaConstr.c	1444	log stats plain
-rw-r--r--	giaDfs.c	6811	log stats plain
-rw-r--r--	giaDup.c	22494	log stats plain
-rw-r--r--	giaEmbed.c	52256	log stats plain
-rw-r--r--	giaFanout.c	6893	log stats plain
-rw-r--r--	giaForce.c	14667	log stats plain
-rw-r--r--	giaFrames.c	11305	log stats plain
-rw-r--r--	giaFront.c	8116	log stats plain
-rw-r--r--	giaGlitch.c	25823	log stats plain
-rw-r--r--	giaHash.c	18972	log stats plain
-rw-r--r--	giaMan.c	5524	log stats plain
-rw-r--r--	giaProp.c	5079	log stats plain
-rw-r--r--	giaSat.c	12014	log stats plain
-rw-r--r--	giaScl.c	6960	log stats plain
-rw-r--r--	giaSim.c	12565	log stats plain
-rw-r--r--	giaSort.c	7426	log stats plain
-rw-r--r--	giaSwitch.c	20808	log stats plain
-rw-r--r--	giaTsim.c	22075	log stats plain
-rw-r--r--	giaUtil.c	16109	log stats plain
-rw-r--r--	module.make	565	log stats plain