iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Add support for WASI platform in cmdCheckShellEscape.	whitequark	2020-05-01	1	-1/+4
*	Add support for WASI platform in tmpFile.	whitequark	2020-05-01	1	-0/+11
*	Makefile: break apart steps in `make clean`	Sean Cross	2020-05-01	1	-1/+4
*	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
* \|	Adding option to &saveaig to compare AIGs by node count.	Alan Mishchenko	2020-04-07	1	-1/+1
* \|	Adding option to &saveaig to compare AIGs by node count.	Alan Mishchenko	2020-04-07	1	-1/+4
* \|	Corner-case bug fix in SAT-based sim info generation.	Alan Mishchenko	2020-04-07	1	-4/+6
* \|	Correctly updating the failed output when recording the CEX in bmc3 -a.	Alan Mishchenko	2020-04-03	1	-1/+5
* \|	Extend ISOP to return the truth table.	Alan Mishchenko	2020-04-02	4	-9/+14
* \|	Corner-case bug in MiniLUT computation.	Alan Mishchenko	2020-04-02	1	-0/+1
* \|	Updating parameter in 'dump_equiv'.	Alan Mishchenko	2020-04-02	1	-0/+1
* \|	Various changes.	Alan Mishchenko	2020-03-29	3	-15/+24
* \|	Various changes.	Alan Mishchenko	2020-03-28	3	-6/+16
* \|	Experiments with simulation-based engines.	Alan Mishchenko	2020-03-25	3	-4/+25
* \|	Experiments with simulation-based engines.	Alan Mishchenko	2020-03-22	6	-62/+379
* \|	Various changes.	Alan Mishchenko	2020-03-21	1	-0/+8
* \|	Various changes.	Alan Mishchenko	2020-03-21	13	-47/+127
* \|	Various changes.	Alan Mishchenko	2020-03-18	9	-37/+312
* \|	Downgrading random number generator to be not inlined.	Alan Mishchenko	2020-03-18	2	-24/+37
* \|	Extending TT-based ISOP to handle ISFs.	Alan Mishchenko	2020-03-18	4	-0/+124
* \|	Corner case bug fix in &sat -a.	Alan Mishchenko	2020-03-18	1	-3/+12