iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	5	-6/+125
\|
*	Adding integrity check for boxes and flops.	Alan Mishchenko	2014-11-25	5	-23/+115
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	1	-1/+1
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	1	-0/+3
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	3	-33/+13
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	8	-61/+162
\|
*	Experiments with hierarchy representation.	Alan Mishchenko	2014-11-24	1	-1/+91
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	5	-73/+319
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	3	-13/+13
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	3	-16/+31
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-1/+7
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-6/+8
\|
*	Experiments with hierarchy representation.	Alan Mishchenko	2014-11-20	1	-0/+741
\|
*	Extending &fadds to support artificial chains. New command &setregnum.	Alan Mishchenko	2014-11-20	2	-31/+234
\|
*	Extending &fadds to support artificial chains.	Alan Mishchenko	2014-11-19	4	-40/+354
\|
*	Added check if a given command exists.	Alan Mishchenko	2014-11-18	2	-0/+17
\|
*	Merging two branches.	Alan Mishchenko	2014-11-17	18	-264/+639
\|\
\| *	Printout in mfs2.	Alan Mishchenko	2014-11-17	1	-2/+7
\| \|
\| *	Bug fix in abstracting boxes.	Alan Mishchenko	2014-11-17	2	-1/+3
\| \|
\| *	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-17	5	-31/+41
\| \|
\| *	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-16	14	-259/+617
\| \|
* \|	AND/OR bug in the UIF computation.	Alan Mishchenko	2014-11-17	1	-1/+1
\|/
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	1	-2/+2
\|
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	1	-2/+2
\|
*	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
\|