summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaPat2.c
Commit message (Expand)AuthorAgeFilesLines
* Suggested bug fix.Alan Mishchenko2022-01-221-1/+1
* Experiments with word-level data structures.Alan Mishchenko2022-01-211-2/+2
* Changes to pattern generation.Alan Mishchenko2021-12-261-32/+63
* Bug fix and new procedures.Alan Mishchenko2021-11-021-0/+2
* Various changes.Alan Mishchenko2021-10-221-47/+101
* Experiments with pattern generation.Alan Mishchenko2021-10-101-0/+1273