iCE40/abc - clone of https://github.com/YosysHQ/abc

	Commit message (Collapse)	Author	Age	Files	Lines
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-871/+0
\|
*	Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.	Alan Mishchenko	2011-10-31	1	-5/+3
\|
*	Fixing timeout in reachability engines.	Alan Mishchenko	2011-03-17	1	-2/+19
\|
*	Fixing bugs in the new procedures added to the library.	Alan Mishchenko	2011-03-05	1	-0/+5
\|
*	Cumulative update to BDD-based reachability, speeding up &reachm and other ↵	Alan Mishchenko	2011-02-28	1	-84/+83
\| \| \| \|	changes.
*	Improved timeout in the BDD reachability engines.	Alan Mishchenko	2011-02-13	1	-6/+40
\|
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-3/+3
\|
*	Changes to enable C++ compilation after recent modifications.	Alan Mishchenko	2011-02-13	1	-2/+1
\|
*	Modificationd to CUDD to enable runtime-limit in variable reordering.	Alan Mishchenko	2011-02-08	1	-0/+4
\|
*	Yet another update to the runtime control in BDD operations.	Alan Mishchenko	2011-02-07	1	-4/+21
\|
*	Added timeout to &reachn.	Alan Mishchenko	2011-02-04	1	-3/+62
\|
*	Minor changes while improving BDD-based reachability.	Alan Mishchenko	2011-02-03	1	-44/+81
\|
*	Minor changes to hash table and utilSignal.c.	Alan Mishchenko	2011-02-01	1	-39/+30
\|
*	Cumulative changes of the last two weeks.	Alan Mishchenko	2011-02-01	1	-0/+711