iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fixing a bug, which was accidentally introduced a few months while debugging ↵	Alan Mishchenko	2011-05-02	1	-2/+2
\| \| \| \|	Boolean decomposition
*	Added switch to bmc3, which allows to replace some PIs with constants.	Alan Mishchenko	2011-05-01	1	-9/+21
\|
*	Updating testcext to ignore the diff in register count and other things.	Alan Mishchenko	2011-05-01	5	-20/+93
\|
*	Added new options to testcex.	Alan Mishchenko	2011-04-28	5	-277/+78
\|
*	Commented out debug messages.	Alan Mishchenko	2011-04-26	4	-5/+5
\|
*	Made testcex reset the number of the PO that failed.	Alan Mishchenko	2011-04-25	1	-4/+14
\|
*	Added support for AIG returned in the output file.	Alan Mishchenko	2011-04-24	2	-9/+36
\|
*	Added switch to control duplication of logic after mapping.	Alan Mishchenko	2011-04-24	5	-3/+45
\|
*	Bug fixes having to do with the use of chars.	Alan Mishchenko	2011-04-20	4	-17/+32
\|
*	Fixing c++ portability issues.	Alan Mishchenko	2011-04-20	1	-1/+1
\|
*	Fixing c++ portability issues.	Alan Mishchenko	2011-04-20	2	-2506/+0
\|
*	Fixing c++ portability issues.	Alan Mishchenko	2011-04-20	6	-20/+16
\|
*	Fixing compilation problem which resulting from defining 'int c' as 'char c'.	Alan Mishchenko	2011-04-19	1	-2/+2
\|
*	Backward compatibility of GIA manager.	Alan Mishchenko	2011-04-18	1	-0/+2
\|
*	Adding constant correspondence.	Alan Mishchenko	2011-04-18	11	-24/+73
\|
*	Improvements to BDD reachability.	Alan Mishchenko	2011-04-18	2	-1/+589
\|
*	Improvements to BDD reachability.	Alan Mishchenko	2011-04-18	5	-23/+38
\|
*	Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵	Alan Mishchenko	2011-04-17	1	-3/+1
\| \| \| \|	numbers (bug fix).
*	Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵	Alan Mishchenko	2011-04-17	5	-8/+391
\| \| \| \|	numbers.
*	Added command 'reconcile'.	Alan Mishchenko	2011-04-16	5	-205/+463
\|
*	Added cex generation for clustered reachability (forgot one file).	Alan Mishchenko	2011-04-16	1	-2/+2
\|
*	Added cex generation for clustered reachability.	Alan Mishchenko	2011-04-16	7	-37/+302
\|
*	Improving timeout in the interpolation package.	Alan Mishchenko	2011-04-15	5	-19/+38
\|
*	Forgot to update project file.	Alan Mishchenko	2011-04-15	2	-1/+2
\|
*	Further improvements to reachability.	Alan Mishchenko	2011-04-15	5	-59/+204
\|
*	Experiments with reachability.	Alan Mishchenko	2011-04-14	6	-21/+461
\|
*	Minor improvements to reachability.	Alan Mishchenko	2011-04-13	1	-1/+1
\|
*	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
\| \|