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