iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-1/+1
\|
*	Making changes suggested by Mark Jarvin.	Alan Mishchenko	2013-05-19	1	-0/+5
\|
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	1	-6/+6
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-3/+3
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-1/+1
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-5/+5
\|
*	Another attempt to make CUDD platform- and runtime-independent.	Alan Mishchenko	2011-12-06	1	-2/+24
\|
*	Improvements to BDD reachability.	Alan Mishchenko	2011-04-18	1	-1/+1
\|
*	Upgrade to the latest CUDD 2.4.2.	Alan Mishchenko	2011-02-13	1	-383/+442
\|
*	Modificationd to CUDD to enable runtime-limit in variable reordering.	Alan Mishchenko	2011-02-08	1	-7/+8
\|
*	Cumulative changes of the last two weeks.	Alan Mishchenko	2011-02-01	1	-1/+2
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-5/+16
\|
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-5/+5
\|
*	Version abc71001	Alan Mishchenko	2007-10-01	1	-0/+1133
\|
*	Version abc70930	Alan Mishchenko	2007-09-30	1	-1133/+0
\|
*	Version abc50729	Alan Mishchenko	2005-07-29	1	-0/+1133