iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	20	-659/+659
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-29	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-29	3	-3/+3
\|
*	Fixing an interger overflow problem in constructing the variable interaction ↵	Alan Mishchenko	2012-08-08	1	-2/+2
\| \| \| \|	matrix.
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	63	-66/+66
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	6	-7/+7
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-17	1	-1/+1
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	15	-23/+23
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	63	-70/+70
\|
*	Another attempt to make CUDD platform- and runtime-independent.	Alan Mishchenko	2011-12-06	5	-6/+6
\|
*	Another attempt to make CUDD platform- and runtime-independent.	Alan Mishchenko	2011-12-06	18	-91/+171
\|
*	Bug fixes in CUDD 2.4.2.	Alan Mishchenko	2011-12-06	1	-2/+2
\|
*	Bug fixes in CUDD 2.4.2.	Alan Mishchenko	2011-12-06	2	-4/+6
\|
*	Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.	Alan Mishchenko	2011-10-31	5	-6/+6
\|
*	Improvements to BDD reachability.	Alan Mishchenko	2011-04-18	1	-1/+1
\|
*	Enabled new BDD-based reachability engine 'reachy'.	Alan Mishchenko	2011-04-13	1	-0/+3
\|
*	Fixed a number of small bugs and memory leaks.	Alan Mishchenko	2011-03-27	1	-1/+3
\|
*	Fixed Cudd_DumpDot() to not print leading zeros because of OS-dependent ↵	Alan Mishchenko	2011-02-16	1	-30/+15
\| \| \| \|	fprintf switch %p.
*	Improved timeout in the BDD reachability engines.	Alan Mishchenko	2011-02-13	3	-0/+11
\|
*	Upgrade to the latest CUDD 2.4.2.	Alan Mishchenko	2011-02-13	66	-22151/+26981
\|
*	Additional change to enable runtime limit in CUDD in variable reordering.	Alan Mishchenko	2011-02-08	1	-0/+1
\|
*	Modificationd to CUDD to enable runtime-limit in variable reordering.	Alan Mishchenko	2011-02-08	4	-21/+29
\|
*	Minor changes while improving BDD-based reachability.	Alan Mishchenko	2011-02-03	1	-3/+2
\|
*	Cumulative changes of the last two weeks.	Alan Mishchenko	2011-02-01	4	-2/+45
\|
*	Adding missing license agreements	Alan Mishchenko	2010-11-29	1	-0/+32
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	64	-131/+461
\|
*	Version abc90215	Alan Mishchenko	2009-02-15	42	-900/+900
\|
*	Version abc80702	Alan Mishchenko	2008-07-02	16	-24/+33
\|
*	Version abc80130_2	Alan Mishchenko	2008-01-30	62	-62/+62
\|
*	Version abc80130	Alan Mishchenko	2008-01-30	62	-62/+62
\|
*	Version abc71001	Alan Mishchenko	2007-10-01	68	-0/+69046
\|
*	Version abc70930	Alan Mishchenko	2007-09-30	68	-69046/+0
\|
*	Version abc60220	Alan Mishchenko	2006-02-20	62	-62/+62
\|
*	Version abc50729	Alan Mishchenko	2005-07-29	68	-0/+69046