iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	5	-82/+362
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-9/+31
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-13/+26
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-9/+42
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-52/+59
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-2/+1
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-1/+1
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	4	-53/+120
*	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	-8/+9
* \|	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	1	-0/+1
* \|	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	4	-23/+227
* \|	Code to explore cofactors of CEC problems.	Alan Mishchenko	2014-06-02	3	-6/+219
* \|	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
*	Compiler warnings.	Alan Mishchenko	2014-05-29	1	-3/+3
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	5	-4/+64
*	Experiment with support minimization.	Alan Mishchenko	2014-05-27	2	-57/+449
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-23	2	-144/+285
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	2	-4/+84
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-5/+53
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-22	2	-24/+34
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	1	-1/+1
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	2	-6/+21
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	4	-7/+275
*	Experiment with new idea for ISO.	Alan Mishchenko	2014-05-21	3	-2/+239
*	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 init...	Alan Mishchenko	2014-05-20	1	-1/+1
*	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 n...	Alan Mishchenko	2014-05-10	1	-2/+2
*	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