summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-265/+58
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-1/+7
* Added test package (new files).Alan Mishchenko2011-03-291-1/+1
* Added test package.Alan Mishchenko2011-03-291-2/+2
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-4/+6
* C++ compilation fixes.Alan Mishchenko2011-03-271-2/+2
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-12/+18
* Added printing MFFC sizes and deriving TT from SOP.Alan Mishchenko2011-03-181-5/+21
* Added new procedure and other small changes.Alan Mishchenko2011-03-161-4/+10
|\
* | Exploring fanout cofactoring ideas...Alan Mishchenko2011-03-141-4/+16
* | Several bug fixes and other improvements.Alan Mishchenko2011-03-121-4/+8
* | Exploration of Sasao's decomposition and minor improvements.Alan Mishchenko2011-03-111-4/+12
* | Bug alert message in 'fraig'.Alan Mishchenko2011-03-101-1/+2
* | Added generation of MFFC for the network (improvements).Alan Mishchenko2011-03-091-0/+1
* | Added generation of MFFC for the network.Alan Mishchenko2011-03-091-1/+1
* | Improvements to the interpolation command 'int'; change of default switch -t.Alan Mishchenko2011-03-081-7/+14
* | Fixing a corner case bug in 'enlarge'.Alan Mishchenko2011-03-051-6/+6
* | Improved the speed of refinement algorithm in &abs_refine.Alan Mishchenko2011-03-041-5/+17
* | Bug fix in dprove, adding command option -p.Alan Mishchenko2011-03-031-1/+1
* | Fixing corner-case bugs in &srm -s.Alan Mishchenko2011-02-281-0/+5
* | Cumulative update to BDD-based reachability, speeding up &reachm and other ch...Alan Mishchenko2011-02-281-2/+2
* | Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f).Alan Mishchenko2011-02-221-5/+10
* | Implemented additional filtering of equivalences (&srm -sf).Alan Mishchenko2011-02-211-8/+13
* | Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFr...Alan Mishchenko2011-02-191-36/+0
* | Added two new APIs for reading/writing CEX from/into ABC.Alan Mishchenko2011-02-191-12/+120
* | Adding one more control switch to CEC commands (i)prove.Alan Mishchenko2011-02-191-4/+28
* | Improvements to CEC command iprove.Alan Mishchenko2011-02-181-6/+74
* | Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-4/+3
|/
* Added handling runtime limit inside And and AndExist.Alan Mishchenko2011-02-071-0/+15
* Eneabled writing/reading pAbc->nFrames into/from status files.Alan Mishchenko2011-02-041-10/+10
* Make PDR return the number of completed frames.Alan Mishchenko2011-02-031-25/+25
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-20/+297
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-152/+485
* Initial integration of PDRAlan Mishchenko2010-12-031-1/+69
* Added command "testcex".Alan Mishchenko2010-11-281-54/+312
* initial commit of public abcAlan Mishchenko2010-11-011-4621/+6266
* Version abc90901Alan Mishchenko2015-06-221-72/+60
* Version abc90813Alan Mishchenko2015-06-221-0/+46
* Version abc90809Alan Mishchenko2015-06-221-2/+6
* Version abc90807Alan Mishchenko2015-06-221-6/+22
* Version abc90804Alan Mishchenko2015-06-221-330/+501
* Version abc90715Alan Mishchenko2015-06-221-11/+16
* Version abc90714Alan Mishchenko2015-06-221-42/+291
* Version abc90528Alan Mishchenko2015-06-221-13/+108
* Version abc90505Alan Mishchenko2009-05-051-8/+106
* Version abc90424Alan Mishchenko2009-04-241-26/+160
* Version abc90413Alan Mishchenko2009-04-131-9/+30
* Version abc90410Alan Mishchenko2009-04-101-19/+56
* Version abc90408Alan Mishchenko2009-04-081-22/+130
* Version abc90405Alan Mishchenko2009-04-051-4/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 12:19:37 +0000