summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Expand)AuthorAgeFilesLines
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-098-9/+9
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0726-45/+45
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-073-3/+3
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-075-6/+7
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0728-75/+70
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+204
* Minor change to prevent assertion failure when verifying required times.Alan Mishchenko2012-06-151-2/+2
* 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
* Improving printouts of critical path.Alan Mishchenko2012-04-061-1/+1
* Improving printouts of critical path.Alan Mishchenko2012-04-062-0/+22
* Enabling mapping into multi-input AND/OR gates.Alan Mishchenko2012-03-275-14/+98
* Bug fix in the mapper: using an object after it is deleted.Alan Mishchenko2012-03-241-2/+2
* Additional features for delay optimizationAlan Mishchenko2012-03-215-15/+56
* Alternative way of computing delay in SOP balancing.Alan Mishchenko2012-03-163-3/+161
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-2/+2
* Enabling user-specified required times in 'map'.Alan Mishchenko2012-03-024-10/+25
* Adding switch -N to 'super' to set an upper bound on the number of supergates...Alan Mishchenko2012-03-021-1/+1
* Making GENLIB parser skip LATCHes.Alan Mishchenko2012-03-024-1/+34
* Adding switch -N to 'super' to set an upper bound on the number of supergates...Alan Mishchenko2012-03-011-1/+1
* Adding switch -N to 'super' to set an upper bound on the number of supergates...Alan Mishchenko2012-02-293-48/+84
* Updating 'print_library' to write GENLIB library into a file.Alan Mishchenko2012-02-291-10/+20
* Bug fix in a standard cell library generator.Alan Mishchenko2012-02-291-1/+15
* Bug fix in a standard cell library generator.Alan Mishchenko2012-02-291-0/+6
* Bug fix in stadard cell library representation.Alan Mishchenko2012-02-231-1/+3
* Bug fix in stadard cell library representation.Alan Mishchenko2012-02-231-1/+8
* Experiment with technology mapping.Alan Mishchenko2012-02-221-0/+13
* Undoing a previuos change to not reset the status after &put.Alan Mishchenko2012-02-221-1/+3
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-175-9/+9
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-1614-78/+68
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-163-3/+6
* Major restructuring of the code.Alan Mishchenko2012-01-2144-194/+182
* 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