iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Bug fix in collapsing with boxes.	Alan Mishchenko	2019-12-17	1	-1/+51
\|
*	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 ↵	Alan Mishchenko	2017-01-21	1	-0/+2
\| \| \| \|	command-line arguments.
*	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