summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckyFast16.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-311-4/+4
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-5/+5
* Bug fix in semi-canonical form computation.Alan Mishchenko2012-11-021-18/+73
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-16/+203
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-071-19/+5
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-071-53/+32
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-071-17/+49
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-12/+0
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+12
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-12/+5
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-21/+8
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-2/+7
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+5
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+4
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+5
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-1/+4
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+1
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-4/+0
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-27/+27
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-6/+15
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-0/+625
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 19:27:56 +0000