iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Enabled new BDD-based reachability engine 'reachy'.	Alan Mishchenko	2011-04-13	13	-9/+2096
\|
*	Added print-out of area in terms of LUT library.	Alan Mishchenko	2011-04-13	1	-1/+32
\|
*	Commented out one useless assertion in scorr.	Alan Mishchenko	2011-04-12	1	-1/+1
\|
*	Added procedure to vector package and manager template file.	Alan Mishchenko	2011-04-10	2	-0/+113
\|
*	Experiment with bit-packing.	Alan Mishchenko	2011-04-08	2	-7/+372
\|
*	Adding SAT-solver-level timeouts to the BMC engines.	Alan Mishchenko	2011-04-08	5	-29/+51
\|
*	Fixing a problem with costraint scorr for K > 1.	Alan Mishchenko	2011-04-08	1	-1/+80
\|
*	Unsuccessful attempt to improve PDR and a few minor changes.	Alan Mishchenko	2011-04-07	20	-354/+724
\|
*	Made gate library package Mio independent of CUDD.	Alan Mishchenko	2011-03-30	22	-154/+1552
\|
*	Added test package (new files).	Alan Mishchenko	2011-03-29	5	-1/+85
\|
*	Added test package.	Alan Mishchenko	2011-03-29	6	-4/+19
\|
*	Fixed a number of small bugs and memory leaks.	Alan Mishchenko	2011-03-27	51	-50/+130
\|
*	C++ compilation fixes.	Alan Mishchenko	2011-03-27	3	-4/+4
\|
*	Improvements in Vec_Vec_t.	Alan Mishchenko	2011-03-27	7	-41/+195
\|
*	Added Max/Min/Abs as static inline functions.	Alan Mishchenko	2011-03-27	1	-0/+11
\|
*	Fixed memory leak.	Alan Mishchenko	2011-03-27	1	-0/+1
\|
*	Added printing MFFC sizes and deriving TT from SOP.	Alan Mishchenko	2011-03-18	8	-12/+138
\|
*	Fixing timeout in reachability engines.	Alan Mishchenko	2011-03-17	5	-6/+38
\|
*	Fix parsing tab symbol in Liberty files.	Alan Mishchenko	2011-03-17	1	-1/+1
\|
*	Procedure to convert AIG into a netowrk of NAND gates.	Alan Mishchenko	2011-03-17	1	-0/+81
\|
*	Added new procedure and other small changes.	Alan Mishchenko	2011-03-16	5	-7/+169
\|\
\| *	Project file change to add extraBddTime.c	Alan Mishchenko	2011-02-11	1	-0/+4
\| \|
* \|	Exploring fanout cofactoring ideas...	Alan Mishchenko	2011-03-14	2	-8/+152
\| \|
* \|	Several bug fixes and other improvements.	Alan Mishchenko	2011-03-12	15	-133/+203
\| \|
* \|	Exploration of Sasao's decomposition and minor improvements.	Alan Mishchenko	2011-03-11	6	-36/+876
\| \|
* \|	Bug alert message in 'fraig'.	Alan Mishchenko	2011-03-10	1	-1/+2
\| \|
* \|	Added generation of MFFC for the network (improvements).	Alan Mishchenko	2011-03-09	2	-25/+124
\| \|
* \|	Fixed the bug in Gia_ManRo/Gia_ManRo.	Alan Mishchenko	2011-03-09	1	-2/+2
\| \|
* \|	Changed internal includes to be in quotes rather than in <>.	Alan Mishchenko	2011-03-09	1	-3/+3
\| \|
* \|	Added generation of MFFC for the network.	Alan Mishchenko	2011-03-09	3	-5/+694
\| \|
* \|	Mffc-based structural decomposition of the network and bug fixes in ↵	Alan Mishchenko	2011-03-08	6	-9/+514
\| \| \| \| \| \| \| \|	reordering package.
* \|	Improvements to the interpolation command 'int'; change of default switch -t ↵	Alan Mishchenko	2011-03-08	1	-0/+301
\| \| \| \| \| \| \| \|	(forgot to add new file).
* \|	Improvements to the interpolation command 'int'; change of default switch -t.	Alan Mishchenko	2011-03-08	4	-40/+104
\| \|
* \|	Fixing a typo bug Vec_IntStart instead of Vec_IntAlloc.	Alan Mishchenko	2011-03-08	1	-1/+1
\| \|
* \|	Fixing bugs in the new procedures added to the library.	Alan Mishchenko	2011-03-05	3	-16/+44
\| \|
* \|	Adding new procedures to the library.	Alan Mishchenko	2011-03-05	3	-0/+206
\| \|
* \|	Fixing a corner case bug in 'enlarge'.	Alan Mishchenko	2011-03-05	1	-6/+6
\| \|
* \|	Yet another improvement in &abs_refine -s.	Alan Mishchenko	2011-03-04	1	-0/+3
\| \|
* \|	Another improvement in &abs_refine -s.	Alan Mishchenko	2011-03-04	1	-9/+88
\| \|
* \|	Added 'src/mem' as an additition include directory in Python interface.	Alan Mishchenko	2011-03-04	1	-0/+1
\| \|
* \|	Missing type cast after one of the previous changes.	Alan Mishchenko	2011-03-04	1	-1/+2
\| \|
* \|	Improved the speed of refinement algorithm in &abs_refine.	Alan Mishchenko	2011-03-04	7	-25/+332
\| \|
* \|	Made abc.h independent of CUDD and Extra.	Alan Mishchenko	2011-03-03	96	-430/+494
\| \|
* \|	Bug fix in dprove, adding command option -p.	Alan Mishchenko	2011-03-03	1	-1/+1
\| \|
* \|	Bug fix in &fraig.	Alan Mishchenko	2011-03-03	1	-1/+4
\| \|
* \|	Upgrading epd and mtr packages to be compatible with the latest release of ↵	Alan Mishchenko	2011-03-02	5	-337/+337
\| \| \| \| \| \| \| \|	CUDD 2.4.2
* \|	Upgrading epd and mtr packages to be compatible with the latest release of ↵	Alan Mishchenko	2011-03-02	6	-169/+317
\| \| \| \| \| \| \| \|	CUDD 2.4.2
* \|	Removing useless printout in &resim.	Alan Mishchenko	2011-03-02	1	-1/+1
\| \|
* \|	Fixing corner-case bugs in &srm -s.	Alan Mishchenko	2011-02-28	2	-1/+7
\| \|
* \|	Cumulative update to BDD-based reachability, speeding up &reachm and other ↵	Alan Mishchenko	2011-02-28	4	-126/+279
\| \| \| \| \| \| \| \|	changes.