iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	New exact synthesis command 'allexact'.	Alan Mishchenko	2017-12-28	1	-0/+1
\|
*	Integrating old SAT solver into majexact and twoexact.	Alan Mishchenko	2017-10-19	1	-0/+1
\|
*	Exact synthesis of majority gates.	Alan Mishchenko	2017-10-01	1	-0/+1
\|
*	Integrating Glucose into &bmcs -g.	Alan Mishchenko	2017-09-06	1	-0/+1
\|
*	Experiments with BMC.	Alan Mishchenko	2017-07-22	1	-0/+1
\|
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-0/+1
\|
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-0/+1
\|
*	Experiments with generating sat assignments.	Alan Mishchenko	2016-05-14	1	-0/+1
\|
*	New command 'expand' to expand SOPs against the offset.	Alan Mishchenko	2016-05-12	1	-0/+1
\|
*	Experiments with SAT-based collapsing.	Alan Mishchenko	2015-09-03	1	-0/+1
\|
*	Experiments with SAT-based cube enumeration.	Alan Mishchenko	2015-03-05	1	-0/+1
\|
*	Experimental implementation of BMC-related procedures.	Alan Mishchenko	2014-11-04	1	-0/+1
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	1	-0/+1
\|
*	Adding command to dump UNSAT core of BMC instance.	Alan Mishchenko	2014-04-07	1	-1/+2
\|
*	Better CEX minimization and renaming of write_counter into write_cex.	Alan Mishchenko	2014-04-04	1	-0/+1
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-20	1	-2/+3
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-0/+1
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-18	1	-0/+1
\|
*	Experiments with delay fault testing.	Alan Mishchenko	2014-03-04	1	-0/+1
\|
*	Specialized induction check.	Alan Mishchenko	2013-10-31	1	-0/+1
\|
*	Multi-output property solver.	Alan Mishchenko	2013-10-23	1	-0/+1
\|
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	1	-0/+1
\|
*	SAT solver with dynamic CNF loading.	Alan Mishchenko	2013-08-01	1	-0/+1
\|
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	1	-0/+1
\|
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	1	-2/+1
\|
*	New unrolling manager.	Alan Mishchenko	2012-12-24	1	-1/+2
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-28	1	-1/+2
\|
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	1	-0/+7