summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDfs.c
Commit message (Collapse)AuthorAgeFilesLines
* Experiment with structural similarity.Alan Mishchenko2020-07-161-0/+28
|
* Changes to several APIs.Alan Mishchenko2019-11-031-0/+20
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-1/+1
|
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-0/+68
|
* Windowing for technology mapping.Alan Mishchenko2016-03-301-15/+19
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-6/+6
|
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-0/+70
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-2/+4
|
* Support computation experiments with different network data-structures.Alan Mishchenko2012-01-141-0/+40
|
* initial commit of public abcAlan Mishchenko2010-11-011-2/+102
|
* Version abc90714Alan Mishchenko2015-06-221-0/+27
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90413Alan Mishchenko2009-04-131-1/+29
|
* Version abc90215Alan Mishchenko2009-02-151-0/+243