summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
* Improvements to technology mapping.Alan Mishchenko2014-04-032-2/+7
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+1
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+1
* Improvements to technology mapping.Alan Mishchenko2014-04-035-45/+50
* Improvements to technology mapping.Alan Mishchenko2014-04-032-6/+17
* Improvements to technology mapping.Alan Mishchenko2014-04-033-8/+9
* Improvements to technology mapping.Alan Mishchenko2014-04-032-3/+4
* Improvements to technology mapping.Alan Mishchenko2014-04-031-0/+1
* Improvements to technology mapping.Alan Mishchenko2014-04-033-27/+37
* Improvements to technology mapping.Alan Mishchenko2014-04-035-67/+106
* Improvements to technology mapping.Alan Mishchenko2014-04-021-3/+3
* Improvements to technology mapping.Alan Mishchenko2014-04-023-43/+57
* Improvements to DSD manager.Alan Mishchenko2014-04-021-113/+113
* Improvements to DSD manager.Alan Mishchenko2014-04-021-136/+226
* Adding switch to handle only single faults.Alan Mishchenko2014-04-011-1/+1
* Compiler warnings.Alan Mishchenko2014-03-311-9/+9
* Bug fix in the DSD manager writing and reading.Alan Mishchenko2014-03-311-4/+6
* Improving cut computation.Alan Mishchenko2014-03-303-12/+100
* Improving cut computation.Alan Mishchenko2014-03-307-479/+177
* Updating &if for new cut function representation.Alan Mishchenko2014-03-294-8/+51
* Experiments with mapping.Alan Mishchenko2014-03-221-22/+0
* Experiments with cut caching.Alan Mishchenko2014-03-206-1/+130
* Experiments with simulation.Alan Mishchenko2014-03-141-15/+9
* Experiments with simulation.Alan Mishchenko2014-03-141-1/+1
* Experiments with simulation.Alan Mishchenko2014-03-141-1/+1
* Experiments with simulation.Alan Mishchenko2014-03-141-6/+9
* Experiments with simulation.Alan Mishchenko2014-03-141-8/+46
* Experiments with simulation.Alan Mishchenko2014-03-141-0/+1
* Experiments with simulation.Alan Mishchenko2014-03-142-0/+309
* Improvements to print-outs.Alan Mishchenko2014-03-121-1/+3
* Improvements to print-outs.Alan Mishchenko2014-03-111-2/+19
* Improvements to print-outs.Alan Mishchenko2014-03-101-0/+66
* Changes to LUT mappers.Alan Mishchenko2014-03-092-0/+8
* Changes to LUT mappers.Alan Mishchenko2014-03-093-8/+6
* Changes to LUT mappers.Alan Mishchenko2014-03-091-18/+243
* Experiments with stuck-at fault testing.Alan Mishchenko2014-03-091-6/+62
* Changes to LUT mappers.Alan Mishchenko2014-03-082-21/+30
* Changes to LUT mappers.Alan Mishchenko2014-03-082-7/+41
* Changes to LUT mappers.Alan Mishchenko2014-03-082-3/+64
* Changes to LUT mappers.Alan Mishchenko2014-03-081-9/+33
* Changes to LUT mappers.Alan Mishchenko2014-03-081-6/+19
* Changes to LUT mappers.Alan Mishchenko2014-03-083-1/+119
* Changes to LUT mappers.Alan Mishchenko2014-03-083-240/+14
* 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