summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extraUtilGen.c
Commit message (Collapse)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