summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcRec2.c
Commit message (Expand)AuthorAgeFilesLines
* Improvements to LMS code.Alan Mishchenko2012-11-061-4/+4
* Improvements to LMS code.Alan Mishchenko2012-11-011-1/+0
* Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-2/+103
* Bug fix in LMS code.Alan Mishchenko2012-10-081-1/+1
* C++ portability changes.Alan Mishchenko2012-10-031-2/+2
* Updated version of LMS code.Alan Mishchenko2012-09-261-0/+1
* Updated version of LMS code.Alan Mishchenko2012-09-261-3/+3
* Updated version of LMS code.Alan Mishchenko2012-09-261-4/+6
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-2/+2
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-3/+8
* Fixing interpolation to run without resource limits by default.Alan Mishchenko2012-07-251-2/+2
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-251-34/+46
* Updated code for lazy man's synthesis (memory optimization).Alan Mishchenko2012-07-201-53/+72
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-201-3/+51
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-201-302/+65
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-0/+1
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-0/+2491