iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Experiments with word-level data structures.	Alan Mishchenko	2022-04-04	6	-33/+241
\|
*	Merge pull request #145 from QuantamHD/fix_internal_pins	alanminko	2022-04-04	1	-1/+5
\|\ \| \| \| \|	Fixes internal pin parsing error in ASAP7 liberty file.
\| *	Fixes internal pin parsing error in ASAP7 liberty file.	QuantamHD	2021-12-20	1	-1/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	This fix addresses an issue I saw with the ASAP7 liberty files and ABC. ASAP7 lists internal pins in its liberty file which ABC's liberty parser doesn't account for. This causes an assert to be triggered. This fix simply adds interal pins to the ignore list.
* \|	Suggested changes to properly initialize the variable array for ↵	Alan Mishchenko	2022-04-02	1	-5/+16
\| \| \| \| \| \| \| \|	Cudd_bddVectorCompose().
* \|	Suggested changes for the case when the file begings with a new line.	Alan Mishchenko	2022-03-29	2	-53/+74
\| \|
* \|	Experiments with word-level data structures.	Alan Mishchenko	2022-03-06	1	-2/+2
\| \|
* \|	Experiments with word-level data structures.	Alan Mishchenko	2022-03-06	3	-10/+107
\| \|
* \|	Experiments with word-level data structures.	Alan Mishchenko	2022-03-05	4	-39/+194
\| \|
* \|	Interleaved variable ordering during bit-blasting.	Alan Mishchenko	2022-02-25	2	-3/+60
\| \|
* \|	Intersection a bug in rewrite/refactor.	Alan Mishchenko	2022-02-23	1	-1/+1
\| \|
* \|	Intersection a bug in rewrite/refactor.	Alan Mishchenko	2022-02-22	9	-46/+84
\| \|
* \|	Similar changes suggested in other places.	Alan Mishchenko	2022-02-18	1	-4/+4
\| \|
* \|	Suggested change to prevent ABC from crashing when compiled on Windows.	Alan Mishchenko	2022-02-18	1	-1/+2
\| \|
* \|	Experiments with word-level data structures.	Alan Mishchenko	2022-02-16	7	-224/+562
\| \|
* \|	Improving truth table handling.	Alan Mishchenko	2022-02-16	3	-2/+27
\| \|
* \|	Improving truth table handling.	Alan Mishchenko	2022-02-03	5	-21/+166
\| \|
* \|	Compiler warnings.	Alan Mishchenko	2022-02-02	1	-2/+2
\| \|
* \|	Experiments with word-level data structures.	Alan Mishchenko	2022-02-02	4	-33/+440
\| \|
* \|	Adding option to dump CNF after preprocessing in &glucose.	Alan Mishchenko	2022-02-02	6	-8/+22
\| \|
* \|	Suggested bug fix.	Alan Mishchenko	2022-01-22	1	-1/+1
\| \|
* \|	Move CI to GitHub Actions.	Baruch Sterin	2022-01-22	4	-8/+8
\| \| \| \| \| \| \| \|	Also, a few minor changes that are required to compile ABC under moder compilers.
* \|	Suggested bug fixes in the old code.	Alan Mishchenko	2022-01-21	6	-9/+8
\| \|
* \|	Compiler warnings.	Alan Mishchenko	2022-01-21	1	-6/+6
\| \|
* \|	Experiments with word-level data structures.	Alan Mishchenko	2022-01-21	10	-155/+2379
\| \|
* \|	Missing class name in the FreeBSD code.	Alan Mishchenko	2021-12-29	2	-2/+2
\| \|
* \|	Changes to pattern generation.	Alan Mishchenko	2021-12-26	1	-32/+63
\|/
*	Adding new command &icec.	Alan Mishchenko	2021-12-17	5	-8/+265
\|
*	Fixing a rare problem with choice nodes.	Alan Mishchenko	2021-12-16	1	-0/+26
\|
*	Compiler warning.	Alan Mishchenko	2021-12-16	1	-8/+7
\|
*	Adding new command %yosys.	Alan Mishchenko	2021-12-16	3	-0/+284
\|
*	Outputting the constant node in 'write_gml'.	Alan Mishchenko	2021-12-06	1	-0/+12
\|
*	Adding command-line switch 'testnpn -A 12' for P-only canonical form ↵	Alan Mishchenko	2021-12-03	3	-2/+16
\| \| \| \|	computation.
*	Bug fix in blasting word-level flops.	Alan Mishchenko	2021-12-02	2	-3/+11
\|
*	Disabling choices when they are computed incorrectly.	Alan Mishchenko	2021-11-30	2	-2/+9
\|
*	Changes to make compiler happy.	Alan Mishchenko	2021-11-27	10	-1/+231
\|
*	Merge branch 'master' of github.com:berkeley-abc/abc	Alan Mishchenko	2021-11-27	1	-1/+24
\|\
\| *	Merge pull request #139 from antmicro/fix-unconnected-couts-upstream	alanminko	2021-11-10	1	-1/+24
\| \|\ \| \| \| \| \| \|	Consider unconnected carry-out ports
\| \| *	Fix typo	Michael Gielda	2021-10-26	1	-1/+1
\| \| \|
\| \| *	Added including unconnected carry-outs in the carry-chain connection list.	Maciej Kurc	2021-10-25	1	-1/+24
\| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
* \| \|	Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase) ↵	Alan Mishchenko	2021-11-27	1	-0/+6
\|/ / \| \| \| \| \| \|	(additional fix).
* \|	Bug fix in processing NDR.	Alan Mishchenko	2021-11-08	3	-10/+31
\| \|
* \|	Temporary fix to a &blut problem.	Alan Mishchenko	2021-11-07	1	-2/+2
\| \|
* \|	Compiler warnings.	Alan Mishchenko	2021-11-05	2	-22/+37
\| \|
* \|	Bug fix and new procedures.	Alan Mishchenko	2021-11-02	1	-4/+4
\| \|
* \|	Bug fix and new procedures.	Alan Mishchenko	2021-11-02	3	-4/+70
\| \|
* \|	New API for external calls.	Alan Mishchenko	2021-10-26	2	-0/+17
\|/
*	Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase).	Alan Mishchenko	2021-10-23	3	-6/+55
\|
*	Various changes.	Alan Mishchenko	2021-10-22	9	-82/+228
\|
*	Changing static to extern for two procedures.	Alan Mishchenko	2021-10-17	1	-2/+2
\|
*	Experiments with pattern generation.	Alan Mishchenko	2021-10-10	6	-0/+1471
\|