iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	New exact synthesis command 'allexact'.	Alan Mishchenko	2017-12-28	1	-0/+4
\|
*	Improvements to AIG-based quantification.	Alan Mishchenko	2017-11-26	1	-0/+4
\|
*	Profiling quantification and other changes.	Alan Mishchenko	2017-11-06	1	-0/+4
\|
*	Adding API to dump MiniAIG into a Verilog file and other small changes.	Alan Mishchenko	2017-10-22	1	-0/+4
\|
*	Integrating old SAT solver into majexact and twoexact.	Alan Mishchenko	2017-10-19	1	-0/+4
\|
*	Exact synthesis of majority gates.	Alan Mishchenko	2017-10-01	1	-0/+4
\|
*	Uncommenting handling of initial values of the flops.	Alan Mishchenko	2017-09-19	1	-0/+4
\|
*	Experiment with mapping.	Alan Mishchenko	2017-09-15	1	-0/+4
\|
*	Integrating Glucose into bmc3 -g.	Alan Mishchenko	2017-09-06	1	-0/+4
\|
*	Adding Glucose 3.0 as a separate package.	Alan Mishchenko	2017-09-06	1	-0/+108
\|
*	Experiments with BMC.	Alan Mishchenko	2017-07-22	1	-0/+4
\|
*	Accidental change.	Alan Mishchenko	2017-07-17	1	-37/+37
\|
*	Experiments with support minimization.	Alan Mishchenko	2017-04-27	1	-0/+4
\|
*	Logic restruturing after mapping.	Alan Mishchenko	2017-04-17	1	-0/+4
\|
*	Experiments with hashing.	Alan Mishchenko	2017-04-08	1	-0/+8
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	1	-0/+4
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-23	1	-1/+1
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-22	1	-4/+16
\|
*	Merged in ysho/abc (pull request #69)	Alan Mishchenko	2017-03-20	1	-0/+4
\|\ \| \| \| \| \| \|	Improvements to %pdra
\| *	%pdra: working on bmc3	Yen-Sheng Ho	2017-03-19	1	-0/+4
\| \|
* \|	Experiments with new network data-structure.	Alan Mishchenko	2017-03-19	1	-0/+40
\|/
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-0/+4
\|
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-0/+4
\|
*	New word-level transformation.	Alan Mishchenko	2017-03-17	1	-0/+4
\|
*	Improvements to ternary simulation.	Alan Mishchenko	2017-03-09	1	-0/+4
\|
*	Improvements to ternary simulation.	Alan Mishchenko	2017-03-09	1	-0/+4
\|
*	Clone of the main SAT solver to eneable independent work.	Alan Mishchenko	2017-03-03	1	-0/+8
\|
*	Moving global declarations into 'abcapi.h' and moving it into 'main' package.	Alan Mishchenko	2017-03-02	1	-0/+4
\|
*	Adding experimental command.	Alan Mishchenko	2017-03-02	1	-0/+4
\|
*	Changes to Visual Studio project file to support 'pdra'.	Alan Mishchenko	2017-02-21	1	-0/+4
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	1	-0/+4
\|
*	Word-level abstraction engine.	Alan Mishchenko	2017-02-15	1	-0/+4
\|
*	Movinng custom floating-point implementations, etc.	Alan Mishchenko	2017-02-11	1	-12/+12
\|
*	Changes to compile on Windows.	Alan Mishchenko	2017-02-10	1	-0/+4
\|
*	Word-level abstraction.	Alan Mishchenko	2017-02-09	1	-0/+8
\|
*	Autotuner for 'satoko'.	Alan Mishchenko	2017-02-08	1	-0/+4
\|
*	New command &satoko.	Alan Mishchenko	2017-02-08	1	-0/+4
\|
*	Small changes to compile satoko on Windows.	Alan Mishchenko	2017-02-06	1	-0/+84
\|
*	Enabling new X-valued simulation in 'pdr'.	Alan Mishchenko	2017-02-03	1	-0/+4
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-30	1	-0/+4
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-28	1	-0/+8
\|
*	Adding visualization of word-level networks Wlc_Ntk_t.	Alan Mishchenko	2017-01-26	1	-0/+4
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-12	1	-0/+4
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-11	1	-0/+4
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-10	1	-0/+4
\|
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	1	-0/+4
\|
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-01	1	-0/+4
\|
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-27	1	-0/+4
\|
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-25	1	-0/+4
\|
*	Several changes in arithmetic circuit manipulation.	Alan Mishchenko	2016-12-22	1	-0/+4
\|