summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
* Integrating box library.Alan Mishchenko2013-03-082-0/+33
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-053-11/+135
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-056-15/+19
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-2/+2
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-305-104/+104
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-131-0/+1
* Improvements to DSD manager.Alan Mishchenko2012-12-111-1/+1
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-103-46/+46
* Adding box library.Alan Mishchenko2012-12-105-6/+653
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-1/+1
* DSD manager.Alan Mishchenko2012-11-205-26/+34
* DSD manager.Alan Mishchenko2012-11-194-6/+39
* DSD manager.Alan Mishchenko2012-11-134-30/+136
* Improved DSD.Alan Mishchenko2012-11-111-2/+2
* Improved DSD.Alan Mishchenko2012-11-111-2/+5
* Improved DSD.Alan Mishchenko2012-11-102-1/+20
* Improved DSD.Alan Mishchenko2012-11-103-2/+81
* Performance bug fix in choice generation.Alan Mishchenko2012-11-091-1/+1
* Slightly improved cut computation.Alan Mishchenko2012-11-061-1/+85
* Improvements to LMS code.Alan Mishchenko2012-11-011-0/+2
* Improvements to LMS code.Alan Mishchenko2012-11-012-2/+2
* Move truth table code into a separte file.Alan Mishchenko2012-10-282-261/+7
* Improvements to LMS code.Alan Mishchenko2012-10-282-11/+16
* Improvements to LMS code.Alan Mishchenko2012-10-272-0/+34
* Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-264-12/+454
* Added new API to traverse the cut in the mapper.Alan Mishchenko2012-10-253-1/+55
* Integrating GIA with LUT mapping.Alan Mishchenko2012-10-242-1/+2
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-094-14/+14
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-212-4/+3
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 20:45:10 +0000