iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Experiments with SPFD-based decomposition.	Alan Mishchenko	2011-08-17	1	-0/+4
*	Changes to enable CEX minimization.	Alan Mishchenko	2011-08-01	1	-0/+8
*	Changes to enable smarter simulation.	Alan Mishchenko	2011-07-30	1	-4/+0
*	Improving and updating the abstraction code.	Alan Mishchenko	2011-07-29	1	-5/+13
*	Adding procedures to find the care bits of a counter-example.	Alan Mishchenko	2011-07-25	1	-0/+4
*	Changes to enable smarter simulation.	Alan Mishchenko	2011-07-20	1	-0/+4
*	Other changes to enable new features in the mapper.	Alan Mishchenko	2011-07-10	1	-0/+4
*	Initial changes to enable new features in the mapper	Alan Mishchenko	2011-07-08	1	-1/+5
*	Added new mapping feature.	Alan Mishchenko	2011-06-20	1	-0/+4
*	Added new command 'outdec'.	Alan Mishchenko	2011-05-19	1	-0/+4
*	Improvements to timeout.	Alan Mishchenko	2011-05-11	1	-0/+4
*	Added new options to testcex.	Alan Mishchenko	2011-04-28	1	-224/+0
*	Added switch to control duplication of logic after mapping.	Alan Mishchenko	2011-04-24	1	-0/+36
*	Adding constant correspondence.	Alan Mishchenko	2011-04-18	1	-3/+3
*	Added cex generation for clustered reachability.	Alan Mishchenko	2011-04-16	1	-0/+4
*	Experiments with reachability.	Alan Mishchenko	2011-04-14	1	-2/+2
*	Enabled new BDD-based reachability engine 'reachy'.	Alan Mishchenko	2011-04-13	1	-0/+60
*	Unsuccessful attempt to improve PDR and a few minor changes.	Alan Mishchenko	2011-04-07	1	-8/+16
*	Made gate library package Mio independent of CUDD.	Alan Mishchenko	2011-03-30	1	-8/+20
*	Added test package (new files).	Alan Mishchenko	2011-03-29	1	-0/+8
*	Added test package.	Alan Mishchenko	2011-03-29	1	-0/+8
*	Improvements in Vec_Vec_t.	Alan Mishchenko	2011-03-27	1	-11/+43
*	Added printing MFFC sizes and deriving TT from SOP.	Alan Mishchenko	2011-03-18	1	-0/+32
*	Added new procedure and other small changes.	Alan Mishchenko	2011-03-16	1	-3/+27
\|\
\| *	Project file change to add extraBddTime.c	Alan Mishchenko	2011-02-11	1	-0/+4
* \|	Several bug fixes and other improvements.	Alan Mishchenko	2011-03-12	1	-0/+44
* \|	Mffc-based structural decomposition of the network and bug fixes in reorderin...	Alan Mishchenko	2011-03-08	1	-0/+8
* \|	Adding new procedures to the library.	Alan Mishchenko	2011-03-05	1	-0/+4
* \|	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-4/+8
* \|	Minor change to the project file.	Alan Mishchenko	2011-02-13	1	-0/+4
\|/
*	Minor changes to hash table and utilSignal.c.	Alan Mishchenko	2011-02-01	1	-0/+4
*	Cumulative changes of the last two weeks.	Alan Mishchenko	2011-02-01	1	-17/+45
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	1	-49/+53
*	Latest project file	Alan Mishchenko	2010-12-03	1	-0/+44
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-29/+173
*	Version abc90901	Alan Mishchenko	2015-06-22	1	-2/+46
*	Version abc90804	Alan Mishchenko	2015-06-22	1	-0/+16
*	Version abc90714	Alan Mishchenko	2015-06-22	1	-40/+28
*	Version abc90528	Alan Mishchenko	2015-06-22	1	-0/+44
*	Version abc90424	Alan Mishchenko	2009-04-24	1	-0/+4
*	Version abc90408	Alan Mishchenko	2009-04-08	1	-0/+4
*	Version abc90405	Alan Mishchenko	2009-04-05	1	-0/+4
*	Version abc90329	Alan Mishchenko	2009-03-29	1	-8/+56
*	Version abc90321	Alan Mishchenko	2009-03-21	1	-8/+4
*	Version abc90315	Alan Mishchenko	2009-03-15	1	-0/+8
*	Version abc90311	Alan Mishchenko	2009-03-11	1	-0/+4
*	Version abc90310	Alan Mishchenko	2009-03-10	1	-6/+62
*	Version abc90220	Alan Mishchenko	2009-02-20	1	-4/+0
*	Version abc90217	Alan Mishchenko	2009-02-17	1	-4/+8
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-133/+977