summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckyInt.h
Commit message (Collapse)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2013-10-171-1/+1
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
|
* C++ portability changes.Alan Mishchenko2012-10-031-21/+21
|
* C++ portability changes.Alan Mishchenko2012-10-031-3/+2
|
* C++ portability changes.Alan Mishchenko2012-10-031-12/+16
|
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-3/+4
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-1/+1
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-15/+8
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-2/+32
|
* Compiler warnings.Alan Mishchenko2012-08-091-16/+4
|
* Compiler warnings.Alan Mishchenko2012-08-091-4/+1
|
* Compiler warnings.Alan Mishchenko2012-08-091-2/+2
|
* New semi-canonical form computation package.Alan Mishchenko2012-08-071-0/+1
|
* New semi-canonical form computation package.Alan Mishchenko2012-08-061-0/+123