summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckyInt.h
Commit message (Expand)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