iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
\|\
\| *	%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
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	1	-0/+48
*	Adding support for minimalistic representation of LUT mapping.	Alan Mishchenko	2016-12-05	1	-0/+4
*	Changes to arithmetic logic detection.	Alan Mishchenko	2016-12-02	1	-0/+12
*	New command to profile arithmetic logic cones.	Alan Mishchenko	2016-11-26	1	-0/+4
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-17	1	-0/+32
*	Fixed several compiler warnings.	Alan Mishchenko	2016-11-17	1	-0/+12
*	Isolating CBA types into a separate header.	Alan Mishchenko	2016-11-07	1	-0/+4
*	Parser for JSON format.	Alan Mishchenko	2016-10-25	1	-0/+8
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	1	-0/+4
*	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-05	1	-0/+4
*	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-03	1	-0/+8
*	Updates to arithmetic verification.	Alan Mishchenko	2016-08-05	1	-0/+4