iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Exprimental features in tech-mapping.	Alan Mishchenko	2014-12-21	1	-110/+142
\|
*	Exprimental features in tech-mapping.	Alan Mishchenko	2014-12-21	1	-1/+40
\|
*	Incorrect assertion added by recent changes.	Alan Mishchenko	2014-12-19	1	-1/+1
\|
*	Commenting out assertions in the mapper, which do not work for barrier buffers.	Alan Mishchenko	2014-12-14	1	-4/+4
\|
*	Compiler warnings.	Alan Mishchenko	2014-12-13	1	-5/+5
\|
*	Several additional files for source control.	Alan Mishchenko	2014-12-13	3	-10/+6539
\|
*	Adding relax ratio to &synch2.	Alan Mishchenko	2014-12-13	1	-2/+2
\|
*	Adding new mapping feature.	Alan Mishchenko	2014-12-11	2	-2/+10
\|
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-11	12	-66/+128
\|
*	Converting AIG with MUXes into a logic network.	Alan Mishchenko	2014-12-10	1	-0/+103
\|
*	New flavor of DSD-friendly 'eliminate'.	Alan Mishchenko	2014-12-09	2	-1/+7
\|
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-08	7	-23/+36
\|
*	Changes to history recording and other small things.	Alan Mishchenko	2014-11-30	2	-6/+16
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	2	-2/+4
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	4	-4/+123
\|
*	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	1	-14/+1
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	5	-50/+115
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	4	-55/+254
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-6/+9
\|
*	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
\|
*	Extending &fadds to support artificial chains. New command &setregnum.	Alan Mishchenko	2014-11-20	1	-21/+141
\|
*	Extending &fadds to support artificial chains.	Alan Mishchenko	2014-11-19	2	-33/+280
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-17	3	-23/+33
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-16	6	-243/+336
\|
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-14	2	-33/+26
\|
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-13	5	-219/+323
\|
*	Added switch -i to &filter to use FIs instead of FOs.	Alan Mishchenko	2014-11-11	2	-11/+21
\|
*	Generation of barrier-buffers for hierarchical design.	Alan Mishchenko	2014-11-10	4	-1/+5
\|
*	Removing unauthorized printout in 'pdr'.	Alan Mishchenko	2014-11-09	1	-1/+7
\|
*	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	4	-94/+530
\|
*	Full adder detection code.	Alan Mishchenko	2014-11-08	1	-0/+300
\|
*	Making public some APIs.	Alan Mishchenko	2014-11-03	2	-18/+27
\|
*	Added switches '-c' and '-n' to 'init'.	Alan Mishchenko	2014-11-02	1	-0/+64
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-28	2	-2/+2
\|
*	Adding MAJ gate to GIA package.	Alan Mishchenko	2014-10-26	2	-0/+20
\|
*	New command &satenum to enumerate SAT assignments of a miter in a naive way.	Alan Mishchenko	2014-10-25	1	-0/+59
\|
*	Bug fix in seq synthesis due to resent code restructuring.	Alan Mishchenko	2014-10-21	2	-4/+4
\|
*	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	1	-1/+41
\|
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-19/+94
\|
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-10/+25
\|
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	2	-0/+305
\|
*	MUX decomposition during mapping.	Alan Mishchenko	2014-10-13	1	-5/+19
\|
*	MUX decomposition during mapping.	Alan Mishchenko	2014-10-12	2	-9/+17
\|