iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Experiments with delay fault testing.	Alan Mishchenko	2014-03-04	3	-0/+270
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-04	1	-11/+38
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-04	6	-164/+420
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-04	5	-66/+278
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-11/+11
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-6/+3
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	2	-57/+57
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	10	-266/+721
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	8	-41/+201
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-27	9	-36/+398
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	8	-51/+295
\|
*	g++ compiler errors.	Alan Mishchenko	2014-02-25	4	-8/+15
\|
*	g++ compiler errors.	Alan Mishchenko	2014-02-25	1	-1/+1
\|
*	g++ compiler errors.	Alan Mishchenko	2014-02-25	1	-4/+4
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	4	-10/+10
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-19	5	-163/+247
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	10	-52/+824
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	6	-42/+37
\|
*	Adding Python API n_area() to report area after standard cell mapping.	Alan Mishchenko	2014-02-17	1	-0/+14
\|
*	Removing unused LMS code.	Alan Mishchenko	2014-02-16	9	-6531/+6
\|
*	Significant improvement to LUT mappers (if, &if).	Alan Mishchenko	2014-02-16	20	-823/+292
\|
*	Changing 'miter' to compute SEQUENTIAL miter by default.	Alan Mishchenko	2014-02-15	1	-1/+1
\|
*	Fixing timeout in &icheck.	Alan Mishchenko	2014-02-15	2	-25/+44
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-15	1	-2/+2
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-15	1	-2/+13
\|
*	Enabling default no output in &icheck.	Alan Mishchenko	2014-02-15	1	-0/+8
\|
*	Handing trivially UNSAT outputs in 'pdr'.	Alan Mishchenko	2014-02-13	1	-0/+10
\|
*	Bug fix in arrival/departure time representation.	Alan Mishchenko	2014-02-13	1	-12/+13
\|
*	Handling latches in combinational sizing.	Alan Mishchenko	2014-02-13	1	-3/+4
\|
*	Adding APIs to specified input/output arrival/required times.	Alan Mishchenko	2014-02-12	2	-0/+45
\|
*	Extendig the size of command line when running ABC in batch mode.	Alan Mishchenko	2014-02-12	1	-1/+1
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-12	2	-9/+22
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-11	1	-0/+4
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-11	2	-127/+133
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-11	1	-10/+71
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-11	6	-24/+75
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-10	1	-0/+153
\|
*	Fix in represneting constants in a platform-independent way.	Alan Mishchenko	2014-02-10	1	-12/+12
\|
*	Commenting out warnings about combinational network during retiming.	Alan Mishchenko	2014-02-09	1	-3/+3
\|
*	Fixing assertion failure when all POs have constant functions.	Alan Mishchenko	2014-02-06	2	-1/+4
\|
*	Fixing Liberty parser to handle 'scalar' delay/slew tables.	Alan Mishchenko	2014-02-06	3	-0/+33
\|
*	Initial new interpolation code.	Alan Mishchenko	2014-01-28	7	-0/+1254
\|
*	Handling C++-style comments in Liberty parser.	Alan Mishchenko	2014-01-28	1	-0/+26
\|
*	Initial new interpolation code.	Alan Mishchenko	2014-01-28	2	-2/+6
\|
*	Improving switching activity computation.	Alan Mishchenko	2013-12-30	1	-1/+1
\|
*	Improving switching activity computation.	Alan Mishchenko	2013-12-30	1	-1/+3
\|
*	Adding check for the presence of precomputed data.	Alan Mishchenko	2013-12-29	2	-0/+10
\|
*	Improving switching activity computation.	Alan Mishchenko	2013-12-26	4	-27/+26
\|
*	Fixed problem with timeout in &bmc.	Alan Mishchenko	2013-12-18	1	-0/+2
\|
*	New command &write_cnf.	Alan Mishchenko	2013-12-18	3	-2/+95
\|