summaryrefslogtreecommitdiffstats
path: root/src/base/abc/abcDfs.c
Commit message (Expand)AuthorAgeFilesLines
* Support of pair-wise miter and other changes.Alan Mishchenko2021-08-221-2/+2
* Several bug-fixed related to synthesis, library handling, and timimg info.Alan Mishchenko2015-09-231-1/+1
* Experiments with SAT-based collapsing.Alan Mishchenko2015-09-041-1/+1
* Adding new Python API 'is_func_iso2'.Alan Mishchenko2015-07-111-6/+16
* Adding new Python API 'is_func_iso'.Alan Mishchenko2015-07-111-0/+92
* Adding new Python API 'co_supp'.Alan Mishchenko2015-07-071-0/+1
* Adding new Python API 'co_supp'.Alan Mishchenko2015-07-061-0/+51
* Compiler warnings.Alan Mishchenko2015-02-191-4/+6
* Improvements and tuning of CBA with buffering/sizing.Alan Mishchenko2015-02-041-5/+8
* Gate sizing with barrier buffers.Alan Mishchenko2014-12-211-0/+25
* Induced bug with in DFS computation.Alan Mishchenko2014-12-161-1/+1
* Integrating barrier buffers.Alan Mishchenko2014-12-131-1/+5
* Integrating barrier buffers.Alan Mishchenko2014-12-081-2/+2
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-4/+4
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-111-4/+19
* Adding cyclicity check for netlist with boxes.Alan Mishchenko2014-11-101-0/+182
* Bug fix in a recent code for mapping.Alan Mishchenko2014-05-041-1/+1
* Integrating barrier buffers into the mapper.Alan Mishchenko2014-03-231-0/+44
* Updating code to support barrier buffers.Alan Mishchenko2014-03-181-4/+20
* Modify level computation to take discretized arrival times into account.Alan Mishchenko2013-09-021-3/+7
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-4/+4
* Support computation experiments with different network data-structures.Alan Mishchenko2012-01-141-0/+64
* initial commit of public abcAlan Mishchenko2010-11-011-20/+26
* Version abc90215Alan Mishchenko2009-02-151-6/+51
* Version abc80721Alan Mishchenko2008-07-211-1/+1
* Version abc80705Alan Mishchenko2008-07-051-0/+27
* Version abc80702Alan Mishchenko2008-07-021-11/+12
* Version abc80330Alan Mishchenko2008-03-301-1/+26
* Version abc80327Alan Mishchenko2008-03-271-0/+26
* Version abc80301Alan Mishchenko2008-03-011-0/+2
* Version abc80222Alan Mishchenko2008-02-221-1/+1
* Version abc80208Alan Mishchenko2008-02-081-1/+1
* Version abc80207Alan Mishchenko2008-02-071-1/+1
* Version abc80205Alan Mishchenko2008-02-051-1/+1
* Version abc80130_2Alan Mishchenko2008-01-301-107/+854
* Version abc80130Alan Mishchenko2008-01-301-854/+107
* Version abc80126Alan Mishchenko2008-01-261-2/+2
* Version abc71001Alan Mishchenko2007-10-011-0/+1264
* Version abc70930Alan Mishchenko2007-09-301-1264/+0
* Version abc70608Alan Mishchenko2007-06-081-0/+3
* Version abc70408Alan Mishchenko2007-04-081-0/+73
* Version abc70328Alan Mishchenko2007-03-281-4/+20
* Version abc70225Alan Mishchenko2007-02-251-4/+5
* Version abc70217Alan Mishchenko2007-02-171-0/+70
* Version abc70209Alan Mishchenko2007-02-091-237/+295
* Version abc70115Alan Mishchenko2007-01-151-1/+1
* Version abc70110Alan Mishchenko2007-01-101-1/+0
* Version abc61122Alan Mishchenko2006-11-221-29/+186