iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	reverting an accidental change to Makefile	Baruch Sterin	2013-12-11	1	-2/+0
\|
*	pyabc scripts: use -q instead of -c in scripts to prevent echoing the ↵	Baruch Sterin	2013-12-07	6	-6/+6
\| \| \| \|	command to the command line.
*	add a new command line option to ABC, -q, same as -c, but without echoing ↵	Baruch Sterin	2013-12-07	2	-15/+29
\| \| \| \|	the command
*	final version of Bob's scripts for hwmcc13	Baruch Sterin	2013-12-07	1	-100/+80
\|
*	fixes for simple_livness	Baruch Sterin	2013-12-07	3	-28/+42
\|
*	Making 'fold' and 'unfold' skip constant POs (another fix).	Alan Mishchenko	2013-12-04	1	-6/+18
\|
*	Upgrading command 'print_supp'.	Alan Mishchenko	2013-12-04	1	-3/+12
\|
*	Making 'fold' and 'unfold' skip constant POs (fixed).	Alan Mishchenko	2013-12-04	1	-4/+5
\|
*	Bug fixes in the above patches.	Alan Mishchenko	2013-12-03	2	-6/+7
\|
*	Suggested patch of AIG writers.	Alan Mishchenko	2013-12-03	2	-34/+116
\|
*	Making 'fold' and 'unfold' skip constant POs.	Alan Mishchenko	2013-12-03	1	-0/+4
\|
*	New canonical DSD form.	Alan Mishchenko	2013-12-02	1	-0/+660
\|
*	Bug fix in &b when reference counters are given.	Alan Mishchenko	2013-11-30	1	-0/+1
\|
*	Commeting out an assertion in sizing.	Alan Mishchenko	2013-11-27	1	-1/+1
\|
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	1	-1/+2
\|
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	1	-2/+2
\|
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	2	-4/+6
\|
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	6	-67/+139
\|
*	Structural mapper into structures.	Alan Mishchenko	2013-11-26	2	-42/+65
\|
*	Explanation for one assetion.	Alan Mishchenko	2013-11-26	1	-1/+1
\|
*	Bug fix in timing update.	Alan Mishchenko	2013-11-26	1	-1/+1
\|
*	Structural mapper into structures.	Alan Mishchenko	2013-11-24	3	-81/+191
\|
*	Bug fix in technology mapper.	Alan Mishchenko	2013-11-24	1	-4/+13
\|