summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaLf.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing float overflow during area-flow computation in &lf.Alan Mishchenko2018-12-131-0/+8
* Supporting the decoder primitive in NDR and bit-blasting.Alan Mishchenko2018-06-051-1/+1
* Experiments with LUT mapping.Alan Mishchenko2018-02-101-9/+46
* Saturating floating point computation.Alan Mishchenko2017-07-011-1/+5
* Fixing non-reproducability related to floating-point numbers.Alan Mishchenko2017-01-271-5/+6
* Compiler warnings.Alan Mishchenko2017-01-071-5/+5
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-271-2/+2
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-15/+15
* Several additional files for source control.Alan Mishchenko2014-12-131-5/+2235
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-251-0/+4
* Updates and changes to several packages.Alan Mishchenko2014-07-201-4/+0
* Improvements to representation of choices.Alan Mishchenko2014-07-011-0/+4
* Integrating recent changes.Alan Mishchenko2014-06-121-1/+2
* Various modifications.Alan Mishchenko2014-06-101-0/+61