summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
* Temprary changes.Alan Mishchenko2013-07-181-0/+49
* Commenting out assertion related to choices in 'if'.Alan Mishchenko2013-07-161-1/+1
* New technology mapper.Alan Mishchenko2013-07-121-880/+0
* Precomputing DSD functions.Alan Mishchenko2013-07-111-10/+73
* Precomputing DSD functions.Alan Mishchenko2013-07-111-31/+423
* Saving delay information after mapping.Alan Mishchenko2013-06-262-0/+2
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-0/+1
* New features to debug an test tech-mapping with choices.Alan Mishchenko2013-06-242-0/+602
* New DSD detection code.Alan Mishchenko2013-05-301-0/+425
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-278-33/+33
* New MFS package.Alan Mishchenko2013-05-261-1/+1
* Compiler warnings.Alan Mishchenko2013-03-301-1/+2
* Compiler warnings.Alan Mishchenko2013-03-301-1/+1
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-24 13:21:33 +0000