summaryrefslogtreecommitdiffstats
path: root/src/bool/kit/kitIsop.c
Commit message (Expand)AuthorAgeFilesLines
* Extend ISOP to return the truth table.Alan Mishchenko2020-04-021-3/+12
* Extending TT-based ISOP to handle ISFs.Alan Mishchenko2020-03-181-0/+70
* Improvements to ISOP.Alan Mishchenko2014-10-101-1/+1
* Improvements to DSD balancing.Alan Mishchenko2014-04-191-3/+7
* Improvement in SOP balancing.Alan Mishchenko2014-04-061-1/+7
* Preparing new implementation of SOP/DSD balancing in 'if' mapper.Alan Mishchenko2014-04-051-0/+25
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+330