iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding args to command %yosys.	Alan Mishchenko	2022-09-19	1	-2/+18
\|
*	Various changes.	Alan Mishchenko	2022-07-30	1	-1/+0
\|
*	Dumping equivalences after SAT sweeping.	Alan Mishchenko	2022-06-26	2	-1/+135
\|
*	Experiments with the mapper.	Alan Mishchenko	2022-06-23	1	-0/+43
\|
*	Supporting new resub problem format.	Alan Mishchenko	2022-06-02	1	-0/+77
\|
*	Adding new switch to &cec.	Alan Mishchenko	2022-05-20	1	-0/+11
\|
*	Removing equivalence classes when they are not properly refined.	Alan Mishchenko	2022-04-27	1	-0/+2
\|
*	Bug fix in &uif.	Alan Mishchenko	2022-04-24	1	-0/+2
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	1	-2/+1
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2022-04-24	2	-0/+2331
\|
*	Adding switch to stop scorr if refinement is too slow.	Alan Mishchenko	2022-04-24	4	-5/+58
\|
*	Experiments with word-level data structures.	Alan Mishchenko	2022-03-06	2	-0/+16
\|
*	Move CI to GitHub Actions.	Baruch Sterin	2022-01-22	1	-1/+1
\| \| \| \|	Also, a few minor changes that are required to compile ABC under moder compilers.
*	Bug fix in processing NDR.	Alan Mishchenko	2021-11-08	1	-7/+23
\|
*	Various changes.	Alan Mishchenko	2021-10-06	2	-38/+56
\|
*	Various changes.	Alan Mishchenko	2021-09-30	1	-0/+72
\|
*	Other compiler changes.	Alan Mishchenko	2021-09-26	1	-1/+1
\|
*	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	Alan Mishchenko	2021-09-26	5	-11/+11
\|
*	Upgrading choice computation.	Alan Mishchenko	2021-07-31	2	-4/+5
\|
*	Potential upgrade to 'dsec'.	Alan Mishchenko	2021-06-25	1	-0/+24
\|
*	Several changes for standard mapping.	Alan Mishchenko	2021-04-28	1	-1/+1
\|
*	Experiments with simulation.	Alan Mishchenko	2021-01-01	1	-27/+24
\|
*	Experiments with simulation.	Alan Mishchenko	2020-12-30	2	-3/+361
\|
*	Integrating Glucose into &sat.	Alan Mishchenko	2020-12-21	1	-52/+137
\|
*	Adding solver type in &sat.	Alan Mishchenko	2020-12-16	5	-2/+568
\|
*	Adding generation of combinational speculative miters.	Alan Mishchenko	2020-12-16	1	-4/+13
\|
*	Adding switch to replace proved outputs by const0.	Alan Mishchenko	2020-12-16	6	-10/+13
\|
*	Corner case bug fix in &cec.	Alan Mishchenko	2020-12-02	1	-2/+2
\|
*	Passing conflict limit to &cec.	Alan Mishchenko	2020-11-22	1	-1/+2
\|
*	Removing unused printouts.	Alan Mishchenko	2020-11-22	2	-3/+2
\|
*	Integration with several commands.	Alan Mishchenko	2020-11-19	4	-1/+71
\|
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-16	1	-12/+52
\|
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-16	1	-17/+43
\|
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-15	1	-36/+123
\|
*	Improvements to the SAT sweeper (bug fix).	Alan Mishchenko	2020-11-15	1	-1/+1
\|
*	Sweeping up to a given level (bug fix).	Alan Mishchenko	2020-11-15	1	-2/+2
\|
*	Sweeping up to a given level.	Alan Mishchenko	2020-11-14	1	-1/+5
\|
*	Improvements to the SAT solver.	Alan Mishchenko	2020-11-14	1	-3/+3
\|
*	Improvements to the SAT sweeper (bug fix).	Alan Mishchenko	2020-11-14	1	-0/+1
\|
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-14	1	-49/+76
\|
*	Upgrading the SAT solvers.	Alan Mishchenko	2020-11-14	1	-5/+7
\|
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-13	1	-161/+366
\|
*	Adding and integrating new SAT solver APIs.	Alan Mishchenko	2020-11-13	2	-30/+73
\|
*	Duplicating Glucose package.	Alan Mishchenko	2020-11-12	1	-33/+69
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-11	1	-30/+43
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-10	2	-67/+212
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-09	5	-0/+1165
\|
*	Deleting unused info left by the SAT sweeper.	Alan Mishchenko	2020-09-10	1	-0/+2
\|
*	Adding switch &cec -w to print SAT solver stats.	Alan Mishchenko	2020-09-06	3	-1/+3
\|
*	Making &cec use precomputed simulation info.	Alan Mishchenko	2020-08-12	3	-12/+37
\|