iCE40/abc - [no description]

	Commit message (Expand)	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
* \|	Add WASI platform support to glucose2.	Miodrag Milanovic	2021-11-12	1	-8/+6
\|/
*	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