iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding support for black boxes in extended AIG.	Alan Mishchenko	2015-10-04	1	-4/+12
\|
*	Adding support for flop init-states in extended AIG.	Alan Mishchenko	2015-10-04	1	-0/+22
\|
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-11	1	-2/+16
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	1	-0/+1
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	1	-2/+14
\|
*	Adding integrity check for boxes and flops.	Alan Mishchenko	2014-11-25	1	-0/+12
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	1	-2/+2
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	1	-17/+43
\|
*	Extending &fadds to support artificial chains.	Alan Mishchenko	2014-11-19	1	-29/+35
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-17	1	-5/+2
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-16	1	-4/+48
\|
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-14	1	-33/+24
\|
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-13	1	-180/+309
\|
*	Detecting full-adder chains and putting them into white boxes.	Alan Mishchenko	2014-11-09	1	-38/+38
\|
*	Adding commands to save/load best network.	Alan Mishchenko	2014-08-26	1	-0/+104
\|
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	1	-2/+2
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	1	-2/+2
\|
*	Sweeper condition complement bug-fix and code for internal verification.	Alan Mishchenko	2013-11-01	1	-1/+1
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-47/+48
\|
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-28	1	-0/+1
\|
*	Modified command 'init' to allow for specific init values.	Alan Mishchenko	2013-03-07	1	-1/+1
\|
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	1	-12/+14
\|
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	1	-21/+61
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-23	1	-15/+25
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-137/+32
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-12/+13
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-5/+66
\|
*	Integrating hierarchy information (reporting incorrect topological order).	Alan Mishchenko	2013-02-20	1	-12/+47
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-18	1	-0/+19
\|
*	Integration of timing manager.	Alan Mishchenko	2013-02-06	1	-0/+18
\|
*	Integration of timing manager.	Alan Mishchenko	2013-02-03	1	-0/+550