iCE40/abc - clone of https://github.com/YosysHQ/abc

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \|	Mffc-based structural decomposition of the network and bug fixes in ↵	Alan Mishchenko	2011-03-08	2	-3/+499
\| \| \| \| \| \| \| \|	reordering package.
* \|	Improvements to the interpolation command 'int'; change of default switch -t.	Alan Mishchenko	2011-03-08	1	-7/+14
\| \|
* \|	Fixing a typo bug Vec_IntStart instead of Vec_IntAlloc.	Alan Mishchenko	2011-03-08	1	-1/+1
\| \|
* \|	Fixing a corner case bug in 'enlarge'.	Alan Mishchenko	2011-03-05	1	-6/+6
\| \|
* \|	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	1	-5/+17
\| \|
* \|	Made abc.h independent of CUDD and Extra.	Alan Mishchenko	2011-03-03	35	-42/+74
\| \|
* \|	Bug fix in dprove, adding command option -p.	Alan Mishchenko	2011-03-03	1	-1/+1
\| \|
* \|	Fixing corner-case bugs in &srm -s.	Alan Mishchenko	2011-02-28	1	-0/+5
\| \|
* \|	Cumulative update to BDD-based reachability, speeding up &reachm and other ↵	Alan Mishchenko	2011-02-28	1	-2/+2
\| \| \| \| \| \| \| \|	changes.
* \|	Updated read_status/write_status to correctly handle the case of seq cex ↵	Alan Mishchenko	2011-02-27	1	-14/+15
\| \| \| \| \| \| \| \|	without regs.
* \|	Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f).	Alan Mishchenko	2011-02-22	1	-5/+10
\| \|
* \|	Implemented additional filtering of equivalences (&srm -sf).	Alan Mishchenko	2011-02-21	1	-8/+13
\| \|
* \|	Moved two new APIs for reading/writing CEX from/into ABC from abc.c to ↵	Alan Mishchenko	2011-02-19	1	-36/+0
\| \| \| \| \| \| \| \|	mainFrame.c.
* \|	Changes to support sequential verification with reduction without speculation.	Alan Mishchenko	2011-02-19	1	-405/+0
\| \|
* \|	Added two new APIs for reading/writing CEX from/into ABC.	Alan Mishchenko	2011-02-19	1	-12/+120
\| \|
* \|	Adding one more control switch to CEC commands (i)prove.	Alan Mishchenko	2011-02-19	1	-4/+28
\| \|
* \|	Improvements to CEC command iprove.	Alan Mishchenko	2011-02-18	2	-8/+94
\| \|
* \|	Fixing the problem with writing/reading bug-free depth in status files.	Alan Mishchenko	2011-02-17	1	-6/+13
\| \|
* \|	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	5	-21/+19
\| \|
* \|	Bug fix in setting the number of finished frames when reading a status file.	Alan Mishchenko	2011-02-11	1	-1/+1
\|/
*	Added handling runtime limit inside And and AndExist.	Alan Mishchenko	2011-02-07	1	-0/+15
\|
*	Eneabled writing/reading pAbc->nFrames into/from status files.	Alan Mishchenko	2011-02-04	2	-14/+16
\|
*	Make PDR return the number of completed frames.	Alan Mishchenko	2011-02-03	1	-25/+25
\|
*	Cumulative changes of the last two weeks.	Alan Mishchenko	2011-02-01	2	-25/+313
\|
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	5	-169/+530
\|
*	Initial integration of PDR	Alan Mishchenko	2010-12-03	2	-1/+119
\|
*	An option to output verbose stats about timeframe sizes during unrolling	Alan Mishchenko	2010-11-29	1	-0/+7
\|
*	Bug fix: alloing "dsat" to work on multi-output cones	Alan Mishchenko	2010-11-29	1	-1/+5
\|
*	Fix for write_status/read_status to use PO index	Alan Mishchenko	2010-11-29	1	-4/+11
\|
*	NPN class computation.	Alan Mishchenko	2010-11-28	3	-8/+752
\|
*	Added command "testcex".	Alan Mishchenko	2010-11-28	1	-54/+312
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	74	-5671/+12709
\|
*	Version abc90901	Alan Mishchenko	2015-06-22	2	-77/+152
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90813	Alan Mishchenko	2015-06-22	1	-0/+46
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90809	Alan Mishchenko	2015-06-22	1	-2/+6
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90807	Alan Mishchenko	2015-06-22	3	-7/+72
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90804	Alan Mishchenko	2015-06-22	3	-342/+508
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90715	Alan Mishchenko	2015-06-22	1	-11/+16
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90714	Alan Mishchenko	2015-06-22	4	-86/+429
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90528	Alan Mishchenko	2015-06-22	2	-17/+118
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90505	Alan Mishchenko	2009-05-05	3	-13/+111
\|
*	Version abc90424	Alan Mishchenko	2009-04-24	4	-31/+189
\|
*	Version abc90413	Alan Mishchenko	2009-04-13	2	-14/+34
\|
*	Version abc90410	Alan Mishchenko	2009-04-10	5	-26/+71
\|
*	Version abc90408	Alan Mishchenko	2009-04-08	12	-39/+152
\|
*	Version abc90405	Alan Mishchenko	2009-04-05	1	-4/+11
\|
*	Version abc90329	Alan Mishchenko	2009-03-29	4	-102/+420
\|
*	Version abc90321	Alan Mishchenko	2009-03-21	2	-31/+159
\|
*	Version abc90315	Alan Mishchenko	2009-03-15	3	-85/+573
\|