summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaNf.c
Commit message (Expand)AuthorAgeFilesLines
* Commenting out useless assertion.Alan Mishchenko2017-07-061-1/+1
* Saturating floating point computation.Alan Mishchenko2017-07-011-1/+5
* Fixing non-reproducability related to floating-point numbers.Alan Mishchenko2017-01-271-8/+9
* Factoring out library preprocessing code in &nf and putting it elsewhere.Alan Mishchenko2016-05-161-34/+25
* Experiments with SAT-based mapping.Alan Mishchenko2016-02-081-46/+60
* Experiments with SAT-based mapping.Alan Mishchenko2016-02-071-0/+149
* Consolidating timing manager Scl_Con_t and propagating changes.Alan Mishchenko2016-01-071-10/+8
* Fixing last-minute bug fix in &nf.Alan Mishchenko2016-01-051-2/+2
* Buf fix in floating time reporting.Alan Mishchenko2016-01-051-20/+21
* Fix in &nf for the case when PO can be driven by an inverter.Alan Mishchenko2016-01-051-0/+5
* Fix in &nf for the case when PO can be driven by an inverter.Alan Mishchenko2016-01-051-0/+30
* Migrating to using 32-bit timing representation in &nf.Alan Mishchenko2016-01-051-151/+148
* Migrating back to using 'float' in area-flow computation in &nf.Alan Mishchenko2016-01-051-69/+75
* Added several knobs to control QoR in &nf.Alan Mishchenko2015-10-201-4/+2
* Added several knobs to control QoR in &nf.Alan Mishchenko2015-10-201-27/+74
* Code simplification and improvements in &nf.Alan Mishchenko2015-10-191-129/+85
* Bug fix in propagating required times in &nf (another issue).Alan Mishchenko2015-10-011-10/+4
* Bug fix in propagating required times in &nf.Alan Mishchenko2015-10-011-2/+2
* Bug fix in &nf and in propagating timing info.Alan Mishchenko2015-09-271-7/+12
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-4/+25
* More tuning in &nf.Alan Mishchenko2015-09-061-17/+30
* More tuning in &nf.Alan Mishchenko2015-09-061-1/+1
* More tuning in &nf.Alan Mishchenko2015-09-061-5/+7
* More tuning in &nf.Alan Mishchenko2015-09-061-411/+123
* More tuning in &nf.Alan Mishchenko2015-09-041-5/+354
* Improvements to Cba data-structure.Alan Mishchenko2015-09-031-1/+1
* Improvements to Cba data-structure.Alan Mishchenko2015-09-031-1/+1
* Experimenting with area recovery.Alan Mishchenko2015-08-311-2/+2
* Experimenting with area recovery.Alan Mishchenko2015-08-311-10/+10
* Experimenting with area recovery.Alan Mishchenko2015-08-311-136/+92
* Experimenting with area recovery.Alan Mishchenko2015-08-311-49/+287
* Performance tuning of the Nf.Alan Mishchenko2015-08-311-1/+1
* Performance tuning of the Nf.Alan Mishchenko2015-08-311-146/+149
* More tuning in &nf.Alan Mishchenko2015-08-281-1/+1
* Adding switch to control area-recovery and more tuning in &nf.Alan Mishchenko2015-08-281-2/+3
* Important bug fixes in standard-cell library handling and mapper &nf.Alan Mishchenko2015-08-281-321/+94
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
* Enable arrival/required times in &nf.Alan Mishchenko2015-03-151-4/+14
* Compiler warnings.Alan Mishchenko2015-02-191-5/+6
* Adding switch '-p' to control pin-permutation in &nf.Alan Mishchenko2015-02-081-2/+2
* Diabling pin-permutation in &nf mapper.Alan Mishchenko2015-02-081-520/+113
* Bug fix in &nf.Alan Mishchenko2015-02-021-0/+1
* Commenting out assertions in the mapper, which do not work for barrier buffers.Alan Mishchenko2014-12-141-4/+4
* Compiler warnings.Alan Mishchenko2014-12-131-5/+5
* Several additional files for source control.Alan Mishchenko2014-12-131-2/+2495
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-0/+58