summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extraUtilGen.c
Commit message (Expand)AuthorAgeFilesLines
* Adding new switch to simulation.Alan Mishchenko2019-01-291-1/+1
* Changing default parameter values in the AIG generation code.Alan Mishchenko2019-01-181-1/+1
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-151-0/+64