summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifDec16.c
Commit message (Expand)AuthorAgeFilesLines
* 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