summaryrefslogtreecommitdiffstats
path: root/src/bool/kit/kit.h
Commit message (Expand)AuthorAgeFilesLines
* Various changes.Alan Mishchenko2021-09-301-0/+2
* Experimental cost function in technology mapping.Alan Mishchenko2020-11-011-0/+1
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-1/+1
* Extend ISOP to return the truth table.Alan Mishchenko2020-04-021-1/+1
* Extending TT-based ISOP to handle ISFs.Alan Mishchenko2020-03-181-0/+2
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+6
* Compiler warnings.Alan Mishchenko2014-08-021-0/+1
* Improvement in SOP balancing.Alan Mishchenko2014-04-061-0/+1
* Preparing new implementation of SOP/DSD balancing in 'if' mapper.Alan Mishchenko2014-04-051-0/+1
* Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-1/+3
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-4/+4
* Adding command 'testdec'.Alan Mishchenko2012-07-281-6/+7
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+0
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+645