iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	11	-14/+3794
*	Adding switch to stop scorr if refinement is too slow.	Alan Mishchenko	2022-04-24	6	-18/+121
*	Experiments with word-level data structures.	Alan Mishchenko	2022-04-22	5	-10/+667
*	Merge pull request #160 from antonblanchard/signed-char	alanminko	2022-04-06	1	-1/+1
\|\
\| *	Fix compile error on targets with unsigned char	Anton Blanchard	2022-02-18	1	-1/+1
* \|	Added a switch to &dfs to perform levelized ordering.	Alan Mishchenko	2022-04-04	1	-6/+13
* \|	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.	QuantamHD	2021-12-20	1	-1/+5
* \| \|	Suggested changes to properly initialize the variable array for Cudd_bddVecto...	Alan Mishchenko	2022-04-02	1	-5/+16
* \| \|	Merge pull request #157 from sarnold/gh-windows-fix	alanminko	2022-03-30	1	-1/+1
\|\ \ \
\| * \| \|	fix windows CI => project file integration broken on windows-latest	Stephen L Arnold	2022-03-27	1	-1/+1
* \| \| \|	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
* \| \|	Merge pull request #147 from yurivict/FreeBSD_fix	alanminko	2022-02-18	0	-0/+0
\|\ \ \
\| * \| \|	Add missing class names in FreeBSD-ifdefed code.	Yuri Victorovich	2021-12-29	2	-2/+2
* \| \| \|	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	8	-224/+570
* \| \|	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
* \| \|	Merge pull request #151 from sterin/master	alanminko	2022-01-22	5	-5/+11
\|\ \ \
\| * \| \|	Build CMake on GitHub Actions	Baruch Sterin	2022-01-23	5	-5/+11
\|/ / /
* \| \|	Suggested bug fix.	Alan Mishchenko	2022-01-22	1	-1/+1
* \| \|	Merge pull request #150 from sterin/master	alanminko	2022-01-22	11	-87/+184
\|\ \ \
\| * \| \|	Build CMake on GitHub Actions 2	Baruch Sterin	2022-01-22	1	-2/+2
\| * \| \|	Build CMake on GitHub Actions	Baruch Sterin	2022-01-22	3	-0/+62
\| * \| \|	Move CI to GitHub Actions.	Baruch Sterin	2022-01-22	10	-87/+122
\|/ / /
* \| \|	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	11	-155/+2387
* \| \|	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	4	-0/+288
*	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 computat...	Alan Mishchenko	2021-12-03	3	-2/+16
*	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