summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaTruth.c
Commit message (Expand)AuthorAgeFilesLines
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-2/+2
* Improvements to truth table computation.Alan Mishchenko2013-09-301-57/+68
* New logic sharing extraction.Alan Mishchenko2013-09-291-48/+25
* Compiler warnings.Alan Mishchenko2013-06-181-1/+0
* Integrating new MFS package with GIA manager.Alan Mishchenko2013-06-041-8/+47
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-6/+6
* Corner-case bug fix in &rpm.Alan Mishchenko2012-12-091-9/+24
* Improvements to LMS code.Alan Mishchenko2012-11-061-5/+5
* Fixing out-of-bound problem when collecting GIA nodes.Alan Mishchenko2012-11-021-6/+16
* Structural reparametrization.Alan Mishchenko2012-10-021-1/+10
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-0/+56
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-0/+295