gia « aig « src - iCE40/abc

Mode	Name	Size
-rw-r--r--	gia.c	1389	log stats plain
-rw-r--r--	gia.h	47520	log stats plain
-rw-r--r--	giaAig.c	11988	log stats plain
-rw-r--r--	giaAig.h	2449	log stats plain
-rw-r--r--	giaAiger.c	28425	log stats plain
-rw-r--r--	giaCSat.c	35296	log stats plain
-rw-r--r--	giaCSatOld.c	24732	log stats plain
-rw-r--r--	giaCof.c	31889	log stats plain
-rw-r--r--	giaConstr.c	1444	log stats plain
-rw-r--r--	giaDfs.c	8154	log stats plain
-rw-r--r--	giaDup.c	39783	log stats plain
-rw-r--r--	giaEmbed.c	62203	log stats plain
-rw-r--r--	giaEnable.c	21113	log stats plain
-rw-r--r--	giaEquiv.c	47827	log stats plain
-rw-r--r--	giaFanout.c	6893	log stats plain
-rw-r--r--	giaForce.c	36388	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	20136	log stats plain
-rw-r--r--	giaMan.c	8637	log stats plain
-rw-r--r--	giaMap.c	9953	log stats plain
-rw-r--r--	giaPat.c	4508	log stats plain
-rw-r--r--	giaProp.c	5079	log stats plain
-rw-r--r--	giaRetime.c	10111	log stats plain
-rw-r--r--	giaSat.c	12014	log stats plain
-rw-r--r--	giaScl.c	8205	log stats plain
-rw-r--r--	giaSim.c	14903	log stats plain
-rw-r--r--	giaSort.c	7479	log stats plain
-rw-r--r--	giaSwitch.c	24000	log stats plain
-rw-r--r--	giaTsim.c	23911	log stats plain
-rw-r--r--	giaUtil.c	28417	log stats plain
-rw-r--r--	module.make	822	log stats plain