gia « aig « src - iCE40/abc

Mode	Name	Size
-rw-r--r--	gia.c	1440	log stats plain
-rw-r--r--	gia.h	58821	log stats plain
-rw-r--r--	giaAbs.c	17107	log stats plain
-rw-r--r--	giaAbs.h	3240	log stats plain
-rw-r--r--	giaAig.c	19766	log stats plain
-rw-r--r--	giaAig.h	3144	log stats plain
-rw-r--r--	giaAiger.c	28514	log stats plain
-rw-r--r--	giaAiger_new.c	36600	log stats plain
-rw-r--r--	giaAiger_old.c	36680	log stats plain
-rw-r--r--	giaBidec.c	11914	log stats plain
-rw-r--r--	giaCSat.c	35360	log stats plain
-rw-r--r--	giaCSatOld.c	24783	log stats plain
-rw-r--r--	giaCTas.c	58987	log stats plain
-rw-r--r--	giaCTas2.c	8545	log stats plain
-rw-r--r--	giaCof.c	31982	log stats plain
-rw-r--r--	giaConstr.c	1495	log stats plain
-rw-r--r--	giaDfs.c	11100	log stats plain
-rw-r--r--	giaDup.c	47048	log stats plain
-rw-r--r--	giaEmbed.c	62289	log stats plain
-rw-r--r--	giaEnable.c	21177	log stats plain
-rw-r--r--	giaEquiv.c	49556	log stats plain
-rw-r--r--	giaEra.c	18110	log stats plain
-rw-r--r--	giaEra2.c	63570	log stats plain
-rw-r--r--	giaFanout.c	6944	log stats plain
-rw-r--r--	giaForce.c	36443	log stats plain
-rw-r--r--	giaFrames.c	11399	log stats plain
-rw-r--r--	giaFront.c	8167	log stats plain
-rw-r--r--	giaGiarf.c	34595	log stats plain
-rw-r--r--	giaGlitch.c	25874	log stats plain
-rw-r--r--	giaHash.c	20711	log stats plain
-rw-r--r--	giaHcd.c	21659	log stats plain
-rw-r--r--	giaIf.c	16825	log stats plain
-rw-r--r--	giaMan.c	10635	log stats plain
-rw-r--r--	giaMem.c	17221	log stats plain
-rw-r--r--	giaPat.c	4559	log stats plain
-rw-r--r--	giaProp.c	5130	log stats plain
-rw-r--r--	giaReparam.c	6043	log stats plain
-rw-r--r--	giaRetime.c	10205	log stats plain
-rw-r--r--	giaSat.c	12065	log stats plain
-rw-r--r--	giaScl.c	8264	log stats plain
-rw-r--r--	giaShrink.c	5276	log stats plain
-rw-r--r--	giaSim.c	15452	log stats plain
-rw-r--r--	giaSort.c	7530	log stats plain
-rw-r--r--	giaSpeedup.c	27961	log stats plain
-rw-r--r--	giaSupMin.c	4865	log stats plain
-rw-r--r--	giaSwitch.c	25245	log stats plain
-rw-r--r--	giaTsim.c	23979	log stats plain
-rw-r--r--	giaUtil.c	38700	log stats plain
-rw-r--r--	module.make	1054	log stats plain