iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Adding more features to the synthesis script &syn2.	Alan Mishchenko	2014-06-14	1	-7/+35
\|
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	1	-20/+15
\|
*	Various modifications.	Alan Mishchenko	2014-06-12	1	-22/+47
\|
*	Enabling switching activity.	Alan Mishchenko	2014-06-12	1	-2/+6
\|
*	Integrating recent changes.	Alan Mishchenko	2014-06-12	1	-36/+22
\|
*	Adding switch to &st to convert to larger gates.	Alan Mishchenko	2014-06-11	1	-5/+12
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-2/+174
\|
*	Skip 'scorr' when the network has no primary inputs.	Alan Mishchenko	2014-06-09	1	-0/+6
\|
*	Adding print-out to &splitprove to see impact of cof variable on AIG size.	Alan Mishchenko	2014-06-07	1	-5/+9
\|
*	Adding print-out to &splitprove to see impact of cof variable on AIG size.	Alan Mishchenko	2014-06-07	2	-12/+23
\|
*	Adding a feature to collapse hierarhical AIGs.	Alan Mishchenko	2014-06-05	1	-4/+17
\|
*	Correcting switching activity computation.	Alan Mishchenko	2014-06-05	2	-41/+34
\|
*	ci	Jiang Long	2014-06-04	1	-1/+1
\|
*	the latest version	Jiang Long	2014-06-04	3	-6/+72
\|
*	merge unfold2	Jiang Long	2014-06-04	4	-2/+195
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-1/+1
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-2/+3
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-5/+17
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-5/+20
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-7/+19
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	1	-0/+64
\|
*	Corner-cases in &gprove and &mprove.	Alan Mishchenko	2014-06-01	1	-1/+11
\|
*	Allow delay increase to be negative in 'mfs2'.	Alan Mishchenko	2014-05-31	1	-1/+1
\|
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	1	-0/+12
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-27	1	-0/+7
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-23	1	-38/+77
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-2/+81
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-22	1	-7/+8
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	1	-2/+2
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	1	-5/+25
\|
*	Experiment with new idea for ISO.	Alan Mishchenko	2014-05-21	1	-2/+3
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	1	-2/+8
\|
*	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	1	-9/+12
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-14	1	-29/+62
\|
*	Adding switch -C <num> to 'amap' to control max number of cuts at a node.	Alan Mishchenko	2014-05-09	1	-2/+14
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-28	1	-4/+4
\|
*	Added dumping original object names into a file.	Alan Mishchenko	2014-04-26	1	-0/+8
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-3/+3
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-0/+6
\|
*	Exploration of MFFCs.	Alan Mishchenko	2014-04-26	1	-1/+3
\|
*	Added command 'cubeenum'.	Alan Mishchenko	2014-04-23	1	-0/+53
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-1/+5
\|
*	Bug fix in if -g when choices are used.	Alan Mishchenko	2014-04-22	1	-1/+1
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-21	1	-0/+5
\|
*	Adding color to sizing stats.	Alan Mishchenko	2014-04-19	1	-1/+11
\|
*	Added optimization for average rather than maximum delay.	Alan Mishchenko	2014-04-19	1	-25/+9
\|
*	Added structural hashing by default after if -g and &if -g.	Alan Mishchenko	2014-04-19	1	-2/+7
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-04-19	1	-1/+19
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-04-19	2	-6/+18
\|