summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSim4.c
Commit message (Expand)AuthorAgeFilesLines
* Adding timeout to several commands.Alan Mishchenko2020-12-071-1/+1
* Improving MFFC computation code.Alan Mishchenko2020-09-171-1/+1
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-1/+1
* Changes to several APIs.Alan Mishchenko2019-12-051-1/+1
* Changes to several APIs.Alan Mishchenko2019-11-031-1/+2
* Experiments with simulation.Alan Mishchenko2019-10-271-0/+54