summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckySwap.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-21/+21
* Bug fix in semi-canonical form computation.Alan Mishchenko2012-11-021-1/+1
* C++ portability changes.Alan Mishchenko2012-10-031-11/+11
* C++ portability changes.Alan Mishchenko2012-10-031-1/+1
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-5/+9
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-25/+25
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-5/+112
* Compiler warnings.Alan Mishchenko2012-08-091-0/+13
* New semi-canonical form computation package.Alan Mishchenko2012-08-061-0/+278