iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding an option to bmc3 to use Satoko intead of the default SAT solver.	Alan Mishchenko	2017-08-13	4	-47/+124
*	Renaming several Satoko APIs to avoid collision with MiniSAT.	Alan Mishchenko	2017-08-13	4	-29/+29
*	Experiments with BMC.	Alan Mishchenko	2017-08-13	1	-1/+1
*	Experiments with BMC.	Alan Mishchenko	2017-08-13	1	-47/+31
*	Experiments with BMC.	Alan Mishchenko	2017-08-13	1	-0/+1
*	Experiments with BMC.	Alan Mishchenko	2017-08-13	2	-40/+295
*	Adding a callback feature to Satoko.	Alan Mishchenko	2017-08-13	3	-2/+13
*	add frame done callback support for command &bmcs	Baruch Sterin	2017-08-09	2	-0/+9
*	Experiments with BMC.	Alan Mishchenko	2017-08-09	1	-2/+423
*	Compiler warnings.	Alan Mishchenko	2017-07-22	1	-2/+2
*	Experiments with BMC.	Alan Mishchenko	2017-07-22	1	-0/+185
*	Experiments with BMC.	Alan Mishchenko	2017-07-22	1	-0/+1
*	Compiler warnings.	Alan Mishchenko	2017-04-28	1	-3/+3
*	Compiler warnings.	Alan Mishchenko	2017-04-28	1	-3/+3
*	Compiler warnings.	Alan Mishchenko	2017-04-28	1	-3/+3
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-12	1	-0/+1
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-11	1	-1/+1
*	Experiments with hashing.	Alan Mishchenko	2017-04-11	2	-0/+6
*	Experiments with don't-cares.	Alan Mishchenko	2017-04-04	2	-0/+15
*	Experiments with don't-cares.	Alan Mishchenko	2017-04-02	3	-7/+7
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-28	1	-1/+1
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	2	-17/+18
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-23	1	-1/+1
*	added callbacks to bmc3 and sat solver	Yen-Sheng Ho	2017-03-20	3	-0/+8
*	merge	Yen-Sheng Ho	2017-03-19	4	-6/+9
\|\
\| *	Several bug fixed / small changes in Satoko.	Alan Mishchenko	2017-03-18	4	-6/+9
* \|	%pdra: working on bmc3	Yen-Sheng Ho	2017-03-19	2	-0/+8
\|/
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	2	-9/+9
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	3	-8/+474
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-1/+1
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	2	-0/+419
*	Merged in msoeken/abc-exact (pull request #66)	Alan Mishchenko	2017-03-06	2	-2/+2
\|\
\| *	Fix wrong type cast.	Mathias Soeken	2017-03-06	2	-2/+2
* \|	Prevents Satoko from silently becoming inconsistent	Bruno Schmitt	2017-03-06	2	-8/+18
\|/
*	Clone of the main SAT solver to eneable independent work.	Alan Mishchenko	2017-03-03	1	-0/+1
*	Clone of the main SAT solver to eneable independent work.	Alan Mishchenko	2017-03-03	2	-0/+2921
*	Adding alternative generalization procedure.	Alan Mishchenko	2017-03-02	2	-3/+92
*	Adding efficient procedure to minimize the set of assumptions (improved liter...	Alan Mishchenko	2017-03-02	1	-1/+8
*	Adding alternative generalization procedure.	Alan Mishchenko	2017-03-01	1	-1/+1
*	Adding efficient procedure to minimize the set of assumptions.	Alan Mishchenko	2017-03-01	3	-0/+79
*	Adding an procedure to write DIMACS.	Bruno Schmitt	2017-02-28	5	-3/+74
*	Small tweak to rollback behavior.	Bruno Schmitt	2017-02-21	3	-0/+8
*	Adding new command to reset Satoko.	Bruno Schmitt	2017-02-19	6	-9/+63
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	3	-1/+11
*	New function to retrieve polarity value of a variable.	Bruno Schmitt	2017-02-18	2	-1/+6
*	Bug fix in analyze_final method.	Bruno Schmitt	2017-02-18	1	-2/+2
*	Compiler warnings.	Alan Mishchenko	2017-02-18	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2017-02-18	2	-7/+7
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	3	-11/+13
*	Fixing missing sat_solver APIs in 'iprove'.	Alan Mishchenko	2017-02-16	1	-6/+24