summaryrefslogtreecommitdiffstats
path: root/src/opt/dau/dauCanon.c
Commit message (Collapse)AuthorAgeFilesLines
* New hierarchical TT NPN matching.Alan Mishchenko2016-02-261-0/+143
|
* Improvements to the canonical form computation.Alan Mishchenko2013-10-101-0/+99
|
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-301-5/+5
| | | | unsigned long long.
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-3/+11
|
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-635/+735
|
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-40/+348
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-88/+0
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-0/+87
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-3/+3
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-0/+536