gia « aig « src - iCE40/abc

Mode	Name	Size
-rw-r--r--	gia.c	1440	log stats plain
-rw-r--r--	gia.h	82596	log stats plain
-rw-r--r--	giaAig.c	22479	log stats plain
-rw-r--r--	giaAig.h	3329	log stats plain
-rw-r--r--	giaAiger.c	49000	log stats plain
-rw-r--r--	giaAigerExt.c	10447	log stats plain
-rw-r--r--	giaBidec.c	11530	log stats plain
-rw-r--r--	giaCCof.c	11060	log stats plain
-rw-r--r--	giaCSat.c	35465	log stats plain
-rw-r--r--	giaCSatOld.c	24812	log stats plain
-rw-r--r--	giaCTas.c	59041	log stats plain
-rw-r--r--	giaCTas2.c	8545	log stats plain
-rw-r--r--	giaCex.c	12740	log stats plain
-rw-r--r--	giaChoice.c	11674	log stats plain
-rw-r--r--	giaCof.c	32060	log stats plain
-rw-r--r--	giaCone.c	17601	log stats plain
-rw-r--r--	giaConstr.c	1495	log stats plain
-rw-r--r--	giaDfs.c	14212	log stats plain
-rw-r--r--	giaDup.c	86489	log stats plain
-rw-r--r--	giaEmbed.c	62408	log stats plain
-rw-r--r--	giaEnable.c	21317	log stats plain
-rw-r--r--	giaEquiv.c	71283	log stats plain
-rw-r--r--	giaEra.c	19735	log stats plain
-rw-r--r--	giaEra2.c	63469	log stats plain
-rw-r--r--	giaFanout.c	10459	log stats plain
-rw-r--r--	giaForce.c	36525	log stats plain
-rw-r--r--	giaFrames.c	33191	log stats plain
-rw-r--r--	giaFront.c	9239	log stats plain
-rw-r--r--	giaGiarf.c	34667	log stats plain
-rw-r--r--	giaGlitch.c	25890	log stats plain
-rw-r--r--	giaHash.c	25080	log stats plain
-rw-r--r--	giaHcd.c	21783	log stats plain
-rw-r--r--	giaIf.c	42631	log stats plain
-rw-r--r--	giaIso.c	44727	log stats plain
-rw-r--r--	giaIso2.c	25311	log stats plain
-rw-r--r--	giaMan.c	17614	log stats plain
-rw-r--r--	giaMem.c	17221	log stats plain
-rw-r--r--	giaMini.c	5940	log stats plain
-rw-r--r--	giaPat.c	4610	log stats plain
-rw-r--r--	giaProp.c	5130	log stats plain
-rw-r--r--	giaRetime.c	10263	log stats plain
-rw-r--r--	giaSat.c	12090	log stats plain
-rw-r--r--	giaScl.c	8997	log stats plain
-rw-r--r--	giaShrink.c	5386	log stats plain
-rw-r--r--	giaShrink6.c	17153	log stats plain
-rw-r--r--	giaSim.c	22612	log stats plain
-rw-r--r--	giaSim2.c	19710	log stats plain
-rw-r--r--	giaSort.c	7534	log stats plain
-rw-r--r--	giaSpeedup.c	27892	log stats plain
-rw-r--r--	giaStg.c	15979	log stats plain
-rw-r--r--	giaSupMin.c	4874	log stats plain
-rw-r--r--	giaSweep.c	11660	log stats plain
-rw-r--r--	giaSweeper.c	38409	log stats plain
-rw-r--r--	giaSwitch.c	25219	log stats plain
-rw-r--r--	giaTest.c	59248	log stats plain
-rw-r--r--	giaTim.c	22398	log stats plain
-rw-r--r--	giaTruth.c	13674	log stats plain
-rw-r--r--	giaTsim.c	23904	log stats plain
-rw-r--r--	giaUtil.c	42830	log stats plain
-rw-r--r--	module.make	1430	log stats plain