iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Detecting full-adder chains and putting them into white boxes.	Alan Mishchenko	2014-11-09	1	-0/+60
\|
*	Experimental implementation of BMC-related procedures.	Alan Mishchenko	2014-11-04	1	-0/+86
\|
*	Added switches '-c' and '-n' to 'init'.	Alan Mishchenko	2014-11-02	2	-13/+49
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-28	1	-1/+1
\|
*	Changing switch -v in 'qbf' and '&qbf' to be non-verbose by default.	Alan Mishchenko	2014-10-26	1	-2/+2
\|
*	New command &satenum to enumerate SAT assignments of a miter in a naive way.	Alan Mishchenko	2014-10-25	1	-0/+69
\|
*	Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations.	Alan Mishchenko	2014-10-25	1	-2/+14
\|
*	One bug fix and two small changes.	Alan Mishchenko	2014-10-22	1	-2/+2
\|
*	One bug fix and two small changes.	Alan Mishchenko	2014-10-22	2	-7/+13
\|
*	Disabling MiniSAT 2.2 for now.	Alan Mishchenko	2014-10-21	1	-1/+1
\|
*	Compiler problems.	Alan Mishchenko	2014-10-21	1	-1/+5
\|
*	Preparing to work with C++ code.	Alan Mishchenko	2014-10-21	1	-0/+36
\|
*	Adding commands backup/restore.	Alan Mishchenko	2014-10-21	1	-0/+82
\|
*	Adding switch &qbf -q to quantify functional variables.	Alan Mishchenko	2014-10-20	1	-2/+20
\|
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-2/+125
\|
*	Fixed "bm" command hang issue.	grigora	2014-10-11	1	-7/+6
\|
*	Naive (SAT-only) CEC option.	Alan Mishchenko	2014-10-10	1	-2/+6
\|
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	2	-5/+7
\|
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	2	-4/+10
\|
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	2	-3/+25
\|
*	Deriving cell mapping with &if -kz.	Alan Mishchenko	2014-10-04	1	-1/+6
\|
*	Deriving cell mapping with &if -kz.	Alan Mishchenko	2014-10-04	1	-1/+14
\|
*	Adding switch -R to 'if'.	Alan Mishchenko	2014-10-02	1	-27/+39
\|
*	Adding options to &flow.	Alan Mishchenko	2014-09-29	1	-4/+9
\|
*	Adding options to &flow2.	Alan Mishchenko	2014-09-29	1	-4/+9
\|
*	Adding options to &flow.	Alan Mishchenko	2014-09-29	1	-4/+9
\|
*	Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).	Alan Mishchenko	2014-09-28	1	-10/+10
\|
*	Added switch -t to &flow2.	Alan Mishchenko	2014-09-24	1	-4/+9
\|
*	Enables dumping stats into a file.	Alan Mishchenko	2014-09-23	2	-1/+15
\|
*	Extending &cec to take a single-output miter (usage of switch -d has changed!).	Alan Mishchenko	2014-09-23	1	-10/+24
\|
*	Adding switch to enable SOP balancing in '&flow2'.	Alan Mishchenko	2014-09-21	1	-4/+9
\|
*	Synchronizing packages.	Alan Mishchenko	2014-09-20	2	-5/+5
\|
*	Updating command 'dsd_clean'.	Alan Mishchenko	2014-09-20	1	-7/+29
\|
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	1	-17/+75
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-19	1	-22/+20
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-18	1	-4/+4
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-18	1	-14/+28
\|
*	Improving DSD manager.	Alan Mishchenko	2014-09-18	1	-6/+20
\|
*	Concurrency for Boolean matching.	Alan Mishchenko	2014-09-18	1	-11/+45
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-17	1	-4/+29
\|
*	New choice computation.	Alan Mishchenko	2014-09-16	1	-10/+65
\|
*	Code restructuring.	Alan Mishchenko	2014-09-16	1	-0/+49
\|
*	Resetting the random seed in 'sparsify'.	Alan Mishchenko	2014-09-11	1	-0/+1
\|
*	Bug fix in transferring timing info.	Alan Mishchenko	2014-09-09	1	-5/+5
\|
*	Added command 'move_names'.	Alan Mishchenko	2014-08-28	1	-1/+1
\|
*	Added command 'move_names'.	Alan Mishchenko	2014-08-28	1	-0/+79
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-28	1	-0/+1
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-27	1	-1/+1
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-27	1	-0/+135
\|
*	Improvements BLIF parser.	Alan Mishchenko	2014-08-27	2	-4/+4
\|