summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extraBddMisc.c
Commit message (Expand)AuthorAgeFilesLines
* Procedure to dump ZDD representing a set of cubes into a PLA file.Alan Mishchenko2015-04-101-0/+39
* Important corner-case bug in SOP computation (recently introduced).Alan Mishchenko2015-04-011-0/+3
* Changing semantics of switch -C in 'sop' to limit cubes at one node.Alan Mishchenko2015-02-181-22/+22
* Compiler warnings.Alan Mishchenko2015-02-151-1/+1
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-131-0/+1
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-3/+4
* Adding resource limit to 'sop'.Alan Mishchenko2015-02-101-0/+264
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-9/+9
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-291-14/+14
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-5/+5
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-311-4/+4
* Fixed minor issues having to do with the number of BDD vars used.Alan Mishchenko2011-09-181-3/+0
* Fixing bugs in the new procedures added to the library.Alan Mishchenko2011-03-051-14/+38
* Adding new procedures to the library.Alan Mishchenko2011-03-051-0/+199
* Improved timeout in the BDD reachability engines.Alan Mishchenko2011-02-131-0/+5
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-0/+141
* initial commit of public abcAlan Mishchenko2010-11-011-1/+25
* Version abc90315Alan Mishchenko2009-03-151-0/+1
* Version abc90215Alan Mishchenko2009-02-151-8/+8
* Version abc80702Alan Mishchenko2008-07-021-1/+1
* Version abc80507Alan Mishchenko2008-05-071-0/+1
* Version abc80430Alan Mishchenko2008-04-301-0/+28
* Version abc80326Alan Mishchenko2008-03-261-1/+1
* Version abc80130_2Alan Mishchenko2008-01-301-3/+571
* Version abc80130Alan Mishchenko2008-01-301-571/+3
* Version abc71001Alan Mishchenko2007-10-011-0/+1614
* Version abc70930Alan Mishchenko2007-09-301-1614/+0
* Version abc70217Alan Mishchenko2007-02-171-0/+140
* Version abc70121Alan Mishchenko2007-01-211-0/+221
* Version abc60822Alan Mishchenko2006-08-221-2/+78
* Version abc60220Alan Mishchenko2006-02-201-2/+21
* Version abc60211Alan Mishchenko2006-02-111-0/+77
* Version abc51005Alan Mishchenko2005-10-051-1/+36
* Version abc50831Alan Mishchenko2005-08-311-0/+1046