iCE40/abc - [no description]

	Commit message (Expand)	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