iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	1	-0/+297
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	2	-2/+9
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-20	1	-8/+40
\|
*	Adding comment to usage message in 'pdr' regarding invariant dumped when ↵	Alan Mishchenko	2014-05-20	1	-1/+1
\| \| \| \|	init-state is not all-0.
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-19	2	-34/+29
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-14	3	-76/+341
\|
*	add an option to write_cex to write the CEX in AIGER 1.9 format.	Baruch Sterin	2014-05-12	1	-1/+11
\|
*	Adding duplicator of the design manager.	Alan Mishchenko	2014-05-12	1	-1/+9
\|
*	Bug fix in handling barrier buffers.	Alan Mishchenko	2014-05-11	1	-2/+8
\|
*	Commented out assertions that do not hold due to rounding of floating point ↵	Alan Mishchenko	2014-05-10	1	-2/+2
\| \| \| \|	numbers.
*	Adding duplicator of the design manager.	Alan Mishchenko	2014-05-10	2	-0/+25
\|
*	Bug fix in the sweeper.	Alan Mishchenko	2014-05-10	1	-0/+3
\|
*	Adding switch -C <num> to 'amap' to control max number of cuts at a node.	Alan Mishchenko	2014-05-09	4	-5/+19
\|
*	Bug fix in the sweeper.	Alan Mishchenko	2014-05-06	1	-0/+2
\|
*	Bug fix in a recent code for mapping.	Alan Mishchenko	2014-05-04	1	-1/+1
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-30	1	-1/+1
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-30	1	-114/+144
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-29	1	-1/+24
\|
*	Added optimization for average rather than maximum delay.	Alan Mishchenko	2014-04-29	1	-4/+20
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-28	2	-4/+208
\|
*	Added dumping original object names into a file.	Alan Mishchenko	2014-04-28	1	-2/+2
\|
*	Added dumping original object names into a file.	Alan Mishchenko	2014-04-26	5	-3/+159
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-2/+65
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	2	-6/+8
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	3	-0/+365
\|
*	Exploration of MFFCs.	Alan Mishchenko	2014-04-26	4	-1/+219
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-24	1	-49/+92
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-24	1	-1/+80
\|
*	Performance improvement to 'amap'.	Alan Mishchenko	2014-04-23	2	-18/+107
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-12/+5
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-6/+17
\|
*	Added command 'cubeenum'.	Alan Mishchenko	2014-04-23	1	-0/+53
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	2	-0/+36
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-3/+3
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-22/+10
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-15/+13
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-3/+3
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	2	-54/+115
\|
*	Bug fix in if -g when choices are used.	Alan Mishchenko	2014-04-22	2	-2/+2
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-21	3	-0/+146
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-20	2	-0/+868
\|
*	Adding color to sizing stats.	Alan Mishchenko	2014-04-19	3	-5/+22
\|
*	Adding color to sizing stats.	Alan Mishchenko	2014-04-19	1	-0/+26
\|
*	Added optimization for average rather than maximum delay.	Alan Mishchenko	2014-04-19	5	-274/+263
\|
*	Added structural hashing by default after if -g and &if -g.	Alan Mishchenko	2014-04-19	2	-4/+10
\|
*	Adding color to mapping stats.	Alan Mishchenko	2014-04-19	2	-3/+20
\|
*	Adding color to mapping stats.	Alan Mishchenko	2014-04-19	1	-3/+27
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-04-19	3	-3/+21
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-04-19	9	-38/+174
\|
*	Fix SOP balancing.	Alan Mishchenko	2014-04-19	1	-1/+1
\|