iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| *	Experiments with don't-cares.	Alan Mishchenko	2017-04-04	6	-170/+454
\| \|
\| *	Experiments with don't-cares.	Alan Mishchenko	2017-04-02	10	-333/+604
\| \|
\| *	Experiments with don't-cares.	Alan Mishchenko	2017-03-31	1	-2/+2
\| \|
\| *	Experiments with don't-cares.	Alan Mishchenko	2017-03-31	3	-60/+196
\| \|
\| *	Bug fix in hashing.	Alan Mishchenko	2017-03-31	1	-1/+5
\| \|
* \|	small changes	Yen-Sheng Ho	2017-04-06	1	-2/+0
\| \|
* \|	%pdra: handled real CEXs; refactor	Yen-Sheng Ho	2017-04-06	1	-12/+36
\| \|
* \|	%pdra: added an option -t for disabling trace reuse	Yen-Sheng Ho	2017-03-31	5	-3/+12
\|/
*	merge	Yen-Sheng Ho	2017-03-31	7	-517/+712
\|\
\| *	Experiments with multipliers.	Alan Mishchenko	2017-03-30	1	-35/+96
\| \|
\| *	Experiments with multipliers.	Alan Mishchenko	2017-03-28	2	-30/+101
\| \|
\| *	Experiments with don't-cares.	Alan Mishchenko	2017-03-28	5	-475/+538
\| \|
* \|	%pdra: fixed bugs	Yen-Sheng Ho	2017-03-30	2	-8/+23
\| \|
* \|	%pdra: fixed bugs	Yen-Sheng Ho	2017-03-30	3	-5/+8
\| \|
* \|	added callbacks to sat solvers in pdr	Yen-Sheng Ho	2017-03-29	1	-0/+4
\| \|
* \|	%pdra: fixed bugs	Yen-Sheng Ho	2017-03-29	3	-39/+78
\| \|
* \|	%pdra: improved performance	Yen-Sheng Ho	2017-03-28	1	-8/+28
\| \|
* \|	%pdra: added an option -s	Yen-Sheng Ho	2017-03-28	5	-20/+86
\| \|
* \|	%pdra: added a procedure to shrink abstraction	Yen-Sheng Ho	2017-03-27	2	-1/+116
\| \|
* \|	%pdra: refactor	Yen-Sheng Ho	2017-03-27	2	-18/+3
\| \|
* \|	%pdra: added a procedure to rebuild traces	Yen-Sheng Ho	2017-03-27	2	-7/+144
\|/
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	7	-18/+60
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	2	-2/+2
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	11	-295/+843
\|
*	Experiments with multipliers.	Alan Mishchenko	2017-03-26	3	-175/+612
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-23	4	-24/+620
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-22	7	-9/+1387
\|
*	Experiments with new network data-structure.	Alan Mishchenko	2017-03-20	6	-12/+19
\|
*	added callbacks to bmc3 and sat solver	Yen-Sheng Ho	2017-03-20	3	-0/+8
\|
*	Merged in ysho/abc (pull request #69)	Alan Mishchenko	2017-03-20	9	-65/+276
\|\ \| \| \| \| \| \|	Improvements to %pdra
\| *	merge	Yen-Sheng Ho	2017-03-19	4	-6/+9
\| \|\
\| * \|	%pdra: working on bmc3	Yen-Sheng Ho	2017-03-19	5	-132/+196
\| \| \|
\| * \|	%pdra: working on bmc3	Yen-Sheng Ho	2017-03-19	3	-4/+19
\| \| \|
\| * \|	%pdra: working on bmc3	Yen-Sheng Ho	2017-03-19	1	-30/+60
\| \| \|
\| * \|	%pdra: working on bmc3	Yen-Sheng Ho	2017-03-18	4	-2/+92
\| \| \|
\| * \|	%pdra: isolated the procedure for checking comb. unsat	Yen-Sheng Ho	2017-03-18	1	-37/+49
\| \| \|
* \| \|	Experiments with new network data-structure.	Alan Mishchenko	2017-03-19	1	-0/+4
\| \| \|
* \| \|	Experiments with new network data-structure.	Alan Mishchenko	2017-03-19	1	-1/+1
\| \| \|
* \| \|	Experiments with new network data-structure.	Alan Mishchenko	2017-03-19	2	-5/+5
\| \| \|
* \| \|	Experiments with new network data-structure.	Alan Mishchenko	2017-03-19	15	-135/+2478
\| \|/ \|/\|
* \|	Several bug fixed / small changes in Satoko.	Alan Mishchenko	2017-03-18	4	-6/+9
\|/
*	Code for structural unateness checking.	Alan Mishchenko	2017-03-18	1	-0/+255
\|
*	Code for structural unateness checking.	Alan Mishchenko	2017-03-18	3	-0/+58
\|
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	2	-9/+9
\|
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	5	-11/+490
\|
*	Merged in ysho/abc (pull request #68)	Alan Mishchenko	2017-03-17	1	-242/+413
\|\ \| \| \| \| \| \|	Improvements to %pdra
\| *	%pdra: cleanup, refactor	Yen-Sheng Ho	2017-03-17	1	-356/+49
\| \|
\| *	merge	Yen-Sheng Ho	2017-03-17	12	-32/+402
\| \|\
\| * \|	%pdra: disabled an experimental procedure	Yen-Sheng Ho	2017-03-17	1	-2/+6
\| \| \|
\| * \|	%pdra: created a new manager; refactored	Yen-Sheng Ho	2017-03-16	1	-0/+326
\| \| \|