iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	10	-128/+484
\|
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-14	4	-38/+41
\|
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-13	12	-252/+496
\|
*	Generation of barrier-buffers for hierarchical design.	Alan Mishchenko	2014-11-11	4	-15/+153
\|
*	Added switch -i to &filter to use FIs instead of FOs.	Alan Mishchenko	2014-11-11	3	-16/+30
\|
*	Bug fix in blasting MUX with different ranges of inputs and the output.	Alan Mishchenko	2014-11-10	1	-2/+2
\|
*	Generation of barrier-buffers for hierarchical design.	Alan Mishchenko	2014-11-10	5	-11/+40
\|
*	Adding cyclicity check for netlist with boxes.	Alan Mishchenko	2014-11-10	7	-3/+407
\|
*	Removing unauthorized printout in 'pdr'.	Alan Mishchenko	2014-11-09	2	-2/+8
\|
*	Removing unauthorized printout in 'pdr'.	Alan Mishchenko	2014-11-09	1	-0/+1
\|
*	Detecting full-adder chains and putting them into white boxes.	Alan Mishchenko	2014-11-09	1	-4/+11
\|
*	Detecting full-adder chains and putting them into white boxes.	Alan Mishchenko	2014-11-09	6	-94/+594
\|
*	Full adder detection code.	Alan Mishchenko	2014-11-08	1	-0/+300
\|
*	Added minor API to clean path on a Windows computer.	Alan Mishchenko	2014-11-05	2	-2/+24
\|
*	Experimental implementation of BMC-related procedures.	Alan Mishchenko	2014-11-05	1	-7/+31
\|
*	Experimental implementation of BMC-related procedures.	Alan Mishchenko	2014-11-04	4	-0/+430
\|
*	Compiler warnings.	Alan Mishchenko	2014-11-03	1	-2/+2
\|
*	Bug fix in CEX printing.	Alan Mishchenko	2014-11-03	1	-1/+1
\|
*	Changing LIBS in Makefie.	Alan Mishchenko	2014-11-03	1	-1/+1
\|
*	Making public some APIs.	Alan Mishchenko	2014-11-03	3	-21/+30
\|
*	Improvements to &fftest (adding computation of fixed parameters).	Alan Mishchenko	2014-11-02	1	-108/+206
\|
*	Added switches '-c' and '-n' to 'init'.	Alan Mishchenko	2014-11-02	3	-13/+113
\|
*	Commenting out useless macro which causes failure on VS 2012.	Alan Mishchenko	2014-10-30	1	-6/+6
\|
*	Removing dependency on ABC library in the settings.	Alan Mishchenko	2014-10-29	1	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-28	8	-8/+9
\|
*	Changes to enable building external code.	Alan Mishchenko	2014-10-28	7	-110/+3
\|
*	Bug fix in bmc3 -a -x.	Alan Mishchenko	2014-10-28	1	-1/+1
\|
*	pyabc: handle a few corner cases	Baruch Sterin	2014-10-28	1	-2/+8
\|
*	Bug fix in bmc3 -a -x.	Alan Mishchenko	2014-10-28	1	-1/+1
\|
*	Changes to enable building external code.	Alan Mishchenko	2014-10-27	5	-379/+381
\|
*	Adding MAJ gate to GIA package.	Alan Mishchenko	2014-10-26	2	-0/+20
\|
*	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	2	-0/+128
\|
*	Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations.	Alan Mishchenko	2014-10-25	3	-3/+78
\|
*	Merged in sterin/abc (pull request #9)	Alan Mishchenko	2014-10-23	2	-0/+45
\|\ \| \| \| \| \| \|	make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()
\| *	make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()	Baruch Sterin	2014-10-22	2	-0/+45
\| \|
* \|	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	4	-7/+27
\|/
*	Bug fix in seq synthesis due to resent code restructuring.	Alan Mishchenko	2014-10-21	3	-8/+8
\|
*	Disabling MiniSAT 2.2 for now.	Alan Mishchenko	2014-10-21	2	-2/+2
\|
*	Compiler problems.	Alan Mishchenko	2014-10-21	2	-2/+6
\|
*	Compiler problems.	Alan Mishchenko	2014-10-21	1	-3/+4
\|
*	Compiler problems.	Alan Mishchenko	2014-10-21	1	-4/+7
\|
*	Compiler problems.	Alan Mishchenko	2014-10-21	3	-2/+5
\|
*	Adding code of MiniSAT 2.2.	Alan Mishchenko	2014-10-21	30	-2/+5822
\|
*	Preparing to work with C++ code.	Alan Mishchenko	2014-10-21	6	-6/+61
\|
*	Adding commands backup/restore.	Alan Mishchenko	2014-10-21	4	-0/+88
\|
*	Adding switch &qbf -q to quantify functional variables.	Alan Mishchenko	2014-10-20	1	-2/+1
\|
*	Adding switch &qbf -q to quantify functional variables.	Alan Mishchenko	2014-10-20	2	-3/+61
\|
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-19/+94
\|