summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaTruth.c
Commit message (Expand)AuthorAgeFilesLines
* Corner-case sitution in truth-table computation.Alan Mishchenko2017-08-301-0/+2
* Updates to arithmetic verification.Alan Mishchenko2017-01-131-0/+2
* Updates to arithmetic verification.Alan Mishchenko2017-01-121-0/+51
* Code for profiling arithmetic circuits.Alan Mishchenko2016-10-211-3/+9
* New command to dump LUT network.Alan Mishchenko2016-01-161-0/+42
* New command 'isonpn'.Alan Mishchenko2015-08-111-9/+73
* New command 'isonpn'.Alan Mishchenko2015-08-111-0/+61
* 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