summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
* Changes to LUT mappers.Alan Mishchenko2014-03-081-75/+162
* Changes to LUT mappers.Alan Mishchenko2014-03-062-5/+5
* Changes to LUT mappers.Alan Mishchenko2014-03-063-8/+264
* Changes to LUT mappers.Alan Mishchenko2014-03-041-11/+38
* Changes to LUT mappers.Alan Mishchenko2014-03-044-162/+355
* Changes to LUT mappers.Alan Mishchenko2014-03-043-44/+148
* Changes to LUT mappers.Alan Mishchenko2014-02-281-11/+11
* Changes to LUT mappers.Alan Mishchenko2014-02-281-6/+3
* Changes to LUT mappers.Alan Mishchenko2014-02-281-56/+56
* Changes to LUT mappers.Alan Mishchenko2014-02-285-265/+468
* Changes to LUT mappers.Alan Mishchenko2014-02-286-37/+190
* Changes to LUT mappers.Alan Mishchenko2014-02-275-36/+340
* Changes to LUT mappers.Alan Mishchenko2014-02-254-34/+265
* g++ compiler errors.Alan Mishchenko2014-02-251-5/+3
* Changes to LUT mappers.Alan Mishchenko2014-02-253-6/+10
* Changes to LUT mappers.Alan Mishchenko2014-02-193-135/+239
* Changes to LUT mappers.Alan Mishchenko2014-02-178-51/+819
* Changes to LUT mappers.Alan Mishchenko2014-02-174-40/+35
* Removing unused LMS code.Alan Mishchenko2014-02-162-30/+3
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-169-753/+201
* Explanation for one assetion.Alan Mishchenko2013-11-261-1/+1
* Structural mapper into structures.Alan Mishchenko2013-11-121-0/+1
* 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