iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'upstream/master' into yosys-experimental	Miodrag Milanovic	2022-07-04	5	-10/+126
\|\
\| *	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	2	-6/+20
\| \|
\| *	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	4	-9/+111
\| \|
\| *	Adding option to dump CNF after preprocessing in &glucose.	Alan Mishchenko	2022-02-02	1	-1/+1
\| \|
\| *	Missing class name in the FreeBSD code.	Alan Mishchenko	2021-12-29	1	-1/+1
\| \|
* \|	Add missing class names in FreeBSD-ifdefed code.	Yuri Victorovich	2022-05-06	1	-1/+1
\| \|
* \|	Extend WASI platform support for glucose2.	whitequark	2021-11-27	3	-0/+20
\| \| \| \| \| \| \| \|	Abort on OOM since there are no C++ exceptions yet.
* \|	Add WASI platform support to glucose2.	Miodrag Milanovic	2021-11-12	1	-8/+6
\|/ \| \| \|	Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
*	Fixing memory leak in the SAT sweeper.	Alan Mishchenko	2021-05-16	1	-1/+1
\|
*	Upgrade to the circuit-based solver.	Alan Mishchenko	2021-04-27	12	-367/+686
\|
*	Integrating Glucose into &sat.	Alan Mishchenko	2020-12-21	1	-0/+1
\|
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-16	3	-259/+217
\|
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-15	2	-0/+65
\|
*	Improvements to the SAT sweeper (bug fix).	Alan Mishchenko	2020-11-15	1	-1/+1
\|
*	Improvements to the SAT solver.	Alan Mishchenko	2020-11-14	2	-5/+12
\|
*	Upgrading the SAT solvers.	Alan Mishchenko	2020-11-14	8	-67/+1049
\|
*	Adding and integrating new SAT solver APIs.	Alan Mishchenko	2020-11-13	3	-0/+97
\|
*	Duplicating Glucose package.	Alan Mishchenko	2020-11-13	1	-43/+43
\|
*	Duplicating Glucose package.	Alan Mishchenko	2020-11-13	1	-2/+2
\|
*	Duplicating Glucose package.	Alan Mishchenko	2020-11-13	1	-5/+5
\|
*	Duplicating Glucose package.	Alan Mishchenko	2020-11-12	28	-0/+8080