summaryrefslogtreecommitdiffstats
path: root/src/opt/dau/dauCanon.c
Commit message (Expand)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 unsigned...Alan Mishchenko2013-01-301-5/+5
* 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