iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Assert in &verify only holds when boxes are not removed.	Alan Mishchenko	2019-12-04	1	-2/+11
*	Exploring other ways of CEX writing.	Alan Mishchenko	2019-01-21	1	-1/+1
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	1	-2/+2
*	Adding new command line options for &verify and &synch2.	Alan Mishchenko	2017-07-06	1	-1/+13
*	Small fixes and a change to &cec to allow two files names given as command-li...	Alan Mishchenko	2017-01-21	1	-0/+2
*	Enabling AIGs without structural hashing.	Alan Mishchenko	2016-05-20	1	-1/+1
*	Enabling AIGs without structural hashing.	Alan Mishchenko	2016-05-20	1	-1/+1
*	Adding option to rehash AIG after mapping.	Alan Mishchenko	2016-04-27	1	-2/+1
*	Experimental algorithm for edge optimization.	Alan Mishchenko	2016-04-13	1	-1/+1
*	Supporting edge information during mapping.	Alan Mishchenko	2016-04-11	1	-4/+4
*	Adding AIG rehashing after LUT mapping in Gia.	Alan Mishchenko	2016-04-07	1	-1/+6
*	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