summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDfs.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* Version abc90413Alan Mishchenko2009-04-131-1/+29
* Version abc90215Alan Mishchenko2009-02-151-0/+243