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