iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add support for WASI platform in Util_SignalSystem.	whitequark	2020-05-01	1	-0/+4
\|
*	Add support for WASI platform in Abc_ShowFile.	whitequark	2020-05-01	1	-0/+8
\|
*	Add support for WASI platform in Gia_ManGnuplotShow.	whitequark	2020-05-01	1	-0/+4
\|
*	Add support for WASI platform in cmdCheckShellEscape.	whitequark	2020-05-01	1	-1/+4
\| \| \| \| \|	Since cmdCheckShellEscape doesn't actually report failure in any way, this code simulates a situation where system() never succeeds.
*	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The `make clean` target consists of a single `rm` call that passes every generated file, object file, and dependency directory. This results in a command line that's around 53,800 characters long. On Linux, the maximum length of a command line is 131,072 or 262,144 characters, however on Windows the limit is 32,768. The 53,800 character command simply fails to run on Windows, which is a problem when the first command that gets run is `make clean`. Break this target into steps, first removing the output files, then the object files, then any generated garbage, and then the object depedency directories. This fixes `make clean` (and as a result yosys) on Windows. Signed-off-by: Sean Cross <sean@xobs.io>
*	Merge pull request #58 from whitequark/patch-2	alanminko	2020-04-30	1	-2/+3
\|\ \| \| \| \|	Allow changing the `ar` binary
\| *	Allow changing the `ar` binary.	whitequark	2020-04-30	1	-2/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	This is useful for cross-compilation, when build `ar` cannot handle the target object files. The invocation of `ranlib` is replaced with `ar s`, which is equivalent and simplifies the build system a bit.
* \|	Merge pull request #57 from whitequark/patch-1	alanminko	2020-04-30	1	-2/+2
\|\ \ \| \| \| \| \| \|	Make use of setrlimit conditional on ABC_NO_RLIMIT
\| * \|	Make use of setrlimit conditional on ABC_NO_RLIMIT.	whitequark	2020-04-30	1	-2/+2
\| \|/ \| \| \| \| \| \| \| \|	This is useful for POSIX-like platforms that do not have rlimit, such as WASI.
\| *	Gia_ManDupPermFlop to behave as Gia_ManDupPerm	Eddie Hung	2020-04-27	1	-5/+7
\| \| \| \| \| \| \| \|	Fixes sequential synthesis (e.g. &scl) for multiple domains
* \|	Merge pull request #65 from FPGeh/fix_seq_synth	alanminko	2020-04-30	1	-5/+7
\|\ \ \| \| \| \| \| \|	Gia_ManDupPermFlop to behave as Gia_ManDupPerm
\| * \|	Gia_ManDupPermFlop to behave as Gia_ManDupPerm	Eddie Hung	2020-01-23	1	-5/+7
\| \| \| \| \| \| \| \| \| \| \| \|	Fixes sequential synthesis (e.g. &scl) for multiple domains
* \| \|	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
\| \|