iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Merging two branches.	Alan Mishchenko	2014-06-04	1	-5/+6
\|\
\| *	Fix PLA reader to correctly report error file numbers.	Alan Mishchenko	2014-06-02	1	-5/+6
\| \|
* \|	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
\|
*	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
\|
*	Adding duplicator of the design manager.	Alan Mishchenko	2014-05-10	2	-0/+25
\|
*	Adding switch -C <num> to 'amap' to control max number of cuts at a node.	Alan Mishchenko	2014-05-09	1	-2/+14
\|
*	Bug fix in a recent code for mapping.	Alan Mishchenko	2014-05-04	1	-1/+1
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-28	1	-4/+4
\|
*	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	-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
\|
*	Preserving outputs names in the &-space.	Alan Mishchenko	2014-04-18	1	-0/+12
\|
*	Changes in the LUT mapper data-structures.	Alan Mishchenko	2014-04-14	2	-19/+17
\|
*	New feature to optimize delay during mapping.	Alan Mishchenko	2014-04-11	1	-7/+3
\|
*	Improvements to DSD in technology mapping.	Alan Mishchenko	2014-04-11	1	-4/+4
\|
*	New feature to optimize delay during mapping.	Alan Mishchenko	2014-04-11	2	-3/+3
\|