summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckySwap.c
Commit message (Collapse)AuthorAgeFilesLines
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-301-21/+21
| | | | unsigned long long.
* 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