summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2013-10-302-2/+2
* Compiler warnings.Alan Mishchenko2013-10-303-6/+6
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-1/+1
* Preventing a bug in &if -z.Alan Mishchenko2013-10-091-1/+1
* Compiler warning.Alan Mishchenko2013-10-051-2/+2
* Towards better Boolean matching.Alan Mishchenko2013-10-051-2/+2
* Towards better Boolean matching.Alan Mishchenko2013-10-051-46/+250
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-1/+1
* Changes in specialized matching.Alan Mishchenko2013-10-012-5/+4
* Changes in specialized matching.Alan Mishchenko2013-10-011-19/+27
* Checking decomposability of 5-input functions.Alan Mishchenko2013-09-281-1/+157
* Experiments with exact matching into LUT structures.Alan Mishchenko2013-09-232-0/+49
* Adding new switch to &if to relax the delay.Alan Mishchenko2013-09-162-7/+17
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+36
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-1/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-0/+6
* Removing some old useless code.Alan Mishchenko2013-09-023-60/+4
* Removing some old useless code.Alan Mishchenko2013-09-022-16/+15
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-292-4/+29
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-292-2/+16
* Adding code to count statistics about decomposable LUT5.Alan Mishchenko2013-08-183-0/+12
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-2/+4
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-131-6/+6
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-1/+0
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-126-1/+477
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-05 23:47:06 +0000