iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Experimental simulation.	Alan Mishchenko	2020-06-04	2	-10/+73
*	Experimental simulation.	Alan Mishchenko	2020-06-03	2	-1/+100
*	Dumping BDD variable order after 'clp'.	Alan Mishchenko	2020-05-18	6	-10/+27
*	Experimental resubstitution.	Alan Mishchenko	2020-05-15	7	-263/+512
*	Experimental resubstitution.	Alan Mishchenko	2020-05-13	1	-67/+221
*	Experimental resubstitution.	Alan Mishchenko	2020-05-11	1	-4/+10
*	Adding new utility procedures.	Alan Mishchenko	2020-05-11	6	-45/+159
*	Adding new utility procedures.	Alan Mishchenko	2020-05-10	3	-9/+172
*	Experimental resubstitution.	Alan Mishchenko	2020-05-08	2	-37/+125
*	Experimental resubstitution.	Alan Mishchenko	2020-05-07	1	-35/+87
*	Experimental resubstitution.	Alan Mishchenko	2020-05-07	2	-233/+450
*	Fixing the accidentally broken build.	Alan Mishchenko	2020-05-06	1	-1/+0
*	Experiment with permutations.	Alan Mishchenko	2020-05-03	1	-1/+1
*	Experiment with permutations.	Alan Mishchenko	2020-05-03	2	-1/+97
*	Compiler warnings and errors.	Alan Mishchenko	2020-05-03	4	-8/+8
*	Compiler warnings.	Alan Mishchenko	2020-05-03	2	-2/+0
*	Adding dumping of genlib library in Verilog.	Alan Mishchenko	2020-05-03	2	-30/+30
*	Adding dumping of genlib library in Verilog.	Alan Mishchenko	2020-05-03	1	-1/+1
*	Adding dumping of genlib library in Verilog.	Alan Mishchenko	2020-05-03	4	-7/+110
*	Experimental resubstitution.	Alan Mishchenko	2020-05-03	9	-5/+1049
*	Merge pull request #58 from whitequark/patch-2	alanminko	2020-04-30	1	-2/+3
\|\
\| *	Allow changing the `ar` binary.	whitequark	2020-04-30	1	-2/+3
* \|	Merge pull request #57 from whitequark/patch-1	alanminko	2020-04-30	1	-2/+2
\|\ \
\| * \|	Make use of setrlimit conditional on ABC_NO_RLIMIT.	whitequark	2020-04-30	1	-2/+2
\| \|/
\| *	Gia_ManDupPermFlop to behave as Gia_ManDupPerm	Eddie Hung	2020-04-27	1	-5/+7
* \|	Merge pull request #65 from FPGeh/fix_seq_synth	alanminko	2020-04-30	1	-5/+7
\|\ \
\| * \|	Gia_ManDupPermFlop to behave as Gia_ManDupPerm	Eddie Hung	2020-01-23	1	-5/+7
* \| \|	Adding new API to MiniAIG.	Alan Mishchenko	2020-04-29	1	-2/+2
* \| \|	Adding new API to MiniAIG.	Alan Mishchenko	2020-04-29	2	-0/+210
* \| \|	Bug fix in 'resub' to enable additional divisors, by Siang-Yun Lee.	Alan Mishchenko	2020-04-27	1	-124/+368
\| \|/ \|/\|
* \|	New AIG restructuring feature.	Alan Mishchenko	2020-04-23	2	-0/+230
* \|	Fix a bug in comb loop detection.	Alan Mishchenko	2020-04-22	4	-17/+22
* \|	Improving simulation patterns by local search.	Alan Mishchenko	2020-04-17	1	-0/+1
* \|	Improving simulation patterns by local search.	Alan Mishchenko	2020-04-17	3	-38/+528
* \|	Fixing broken build and compiler warnings.	Alan Mishchenko	2020-04-17	5	-7/+7
* \|	Fixing broken build and compiler warnings.	Alan Mishchenko	2020-04-17	1	-1/+1
* \|	Fixing broken build and compiler warnings.	Alan Mishchenko	2020-04-17	10	-12/+12
* \|	Removing debug stop.	Alan Mishchenko	2020-04-17	1	-4/+0
* \|	Memory leak.	Alan Mishchenko	2020-04-17	1	-0/+3
* \|	Adding check for comb loops in NDR.	Alan Mishchenko	2020-04-17	3	-1/+141
* \|	Fixing a typo.	Alan Mishchenko	2020-04-15	1	-1/+1
* \|	QBF-based code generation (extending beyond 32 bits).	Alan Mishchenko	2020-04-13	1	-25/+44
* \|	QBF-based code generation.	Alan Mishchenko	2020-04-12	1	-9/+9
* \|	QBF-based code generation.	Alan Mishchenko	2020-04-12	2	-6/+275
* \|	Procedures to explore structural support of an AIG.	Alan Mishchenko	2020-04-10	2	-0/+96
* \|	Various changes.	Alan Mishchenko	2020-04-10	2	-1/+3
* \|	Various changes.	Alan Mishchenko	2020-04-10	3	-20/+151
* \|	Debugging a combo loop in NDR.	Alan Mishchenko	2020-04-09	1	-2/+3
* \|	Adding option to &saveaig to compare AIGs by node count.	Alan Mishchenko	2020-04-09	1	-0/+3
* \|	Various changes.	Alan Mishchenko	2020-04-08	3	-41/+86