summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaTruth.c
Commit message (Collapse)AuthorAgeFilesLines
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-06-191-22/+10
|
* Adding new API to MiniAIG.Alan Mishchenko2020-04-291-0/+152
|
* Adding command &print_truth to print truth tables for primary outputs.Alan Mishchenko2019-05-251-0/+34
|
* 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 ↵Alan Mishchenko2013-01-301-6/+6
| | | | unsigned long long.
* 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