summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-1/+1
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-201-0/+4
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-152-3/+21
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-093-3/+3
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-076-11/+11
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-072-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-072-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-077-10/+12
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+204
* Misc changes.Alan Mishchenko2012-05-211-1/+2
* Changing 'if' to allow for delay optimization on sequential paths only.Alan Mishchenko2012-05-202-8/+9
* Changing 'if' to allow for delay optimization on sequential paths only.Alan Mishchenko2012-05-203-12/+13
* Misc changes.Alan Mishchenko2012-05-031-0/+2
* Adding on-the-fly truth-table minimization.Alan Mishchenko2012-04-284-1/+22
* Misc changes.Alan Mishchenko2012-04-221-2/+2
* Bug fix in SOP balancing with structural choices.Alan Mishchenko2012-04-121-0/+2
* Enabling mapping into multi-input AND/OR gates.Alan Mishchenko2012-03-275-14/+98
* Alternative way of computing delay in SOP balancing.Alan Mishchenko2012-03-163-3/+161
* Experiment with technology mapping.Alan Mishchenko2012-02-221-0/+13
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-172-5/+5
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-166-63/+52
* Major restructuring of the code.Alan Mishchenko2012-01-216-15/+15
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-173-7/+7
* Several small bug fixes in the mapper.Alan Mishchenko2012-01-152-3/+6
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-112-1/+2
* Configuration changes in the Boolean matching code.Alan Mishchenko2012-01-051-1/+1
* Delay optimization using precomputed library.Alan Mishchenko2011-12-292-7/+19
* Added new switch to the LUT matching code.Alan Mishchenko2011-12-061-13/+5
* Performance bug fix in SOP balancing.Alan Mishchenko2011-12-063-31/+38
* 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-272-2/+9
* 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-103-66/+311
* Changes to the matching procedure.Alan Mishchenko2011-10-061-73/+231
* Modified write_blif to output LUT structures.Alan Mishchenko2011-10-042-20/+87
* Changes to the matching procedure.Alan Mishchenko2011-10-032-10/+214
* Changes to the matching procedure.Alan Mishchenko2011-10-027-22/+90
* Changes to the matching procedure.Alan Mishchenko2011-10-018-208/+655
* Changes to the matching procedure and new abstraction code.Alan Mishchenko2011-09-272-151/+248