summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifDec16.c
Commit message (Collapse)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2017-07-221-2/+2
|
* Compiler warnings.Alan Mishchenko2017-01-071-1/+1
|
* Changes in the LUT mapper data-structures.Alan Mishchenko2014-04-141-1/+2
|
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+6
|
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-19/+6
|
* Compiler warnings.Alan Mishchenko2013-10-301-2/+2
|
* Preventing a bug in &if -z.Alan Mishchenko2013-10-091-1/+1
|
* Changes in specialized matching.Alan Mishchenko2013-10-011-5/+3
|
* Changes in specialized matching.Alan Mishchenko2013-10-011-19/+27
|
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-291-0/+25
|
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-131-6/+6
|
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-0/+127
|
* Temprary changes.Alan Mishchenko2013-07-181-0/+49
|
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-301-26/+26
| | | | unsigned long long.
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-091-4/+4
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-1/+1
|
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
|
* Misc changes.Alan Mishchenko2012-05-211-1/+2
|
* Adding on-the-fly truth-table minimization.Alan Mishchenko2012-04-281-0/+17
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-4/+4
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-25/+14
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-1/+1
|
* Configuration changes in the Boolean matching code.Alan Mishchenko2012-01-051-1/+1
|
* Added new switch to the LUT matching code.Alan Mishchenko2011-12-061-13/+5
|
* Fixed performance bug in matching code.Alan Mishchenko2011-12-051-3/+18
|
* Modifications to the matching procedureAlan Mishchenko2011-11-221-6/+126
|
* Temporary debugging change.Alan Mishchenko2011-11-121-28/+6
|
* Temporary debugging change.Alan Mishchenko2011-11-121-1/+1
|
* Temporary debugging change.Alan Mishchenko2011-11-121-0/+2
|
* Temporary debugging change.Alan Mishchenko2011-11-121-2/+4
|
* Temporary debugging change.Alan Mishchenko2011-11-121-0/+1
|
* Temporary debugging change.Alan Mishchenko2011-11-121-3/+18
|
* Temporary debugging change.Alan Mishchenko2011-11-121-0/+1
|
* Temporary debugging change.Alan Mishchenko2011-11-121-0/+1
|
* C++ portability changes.Alan Mishchenko2011-10-271-2/+5
|
* Changes to the matching procedure.Alan Mishchenko2011-10-121-41/+217
|
* Changes to the matching procedure.Alan Mishchenko2011-10-101-9/+9
|
* Changes to the matching procedure.Alan Mishchenko2011-10-101-57/+295
|
* Changes to the matching procedure.Alan Mishchenko2011-10-061-73/+231
|
* Modified write_blif to output LUT structures.Alan Mishchenko2011-10-041-16/+84
|
* Changes to the matching procedure.Alan Mishchenko2011-10-031-6/+210
|
* Changes to the matching procedure.Alan Mishchenko2011-10-021-13/+68
|
* Changes to the matching procedure.Alan Mishchenko2011-10-011-185/+615
|
* Changes to the matching procedure and new abstraction code.Alan Mishchenko2011-09-271-0/+708