summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaFalse.c
Commit message (Expand)AuthorAgeFilesLines
* Small changes in several packages.Alan Mishchenko2014-07-171-2/+1
* Improvements to false path detection.Alan Mishchenko2014-07-091-25/+21
* Improvements to false path detection.Alan Mishchenko2014-07-081-27/+311
* Adding switch to handle only single faults.Alan Mishchenko2014-04-011-2/+2
* False path detection.Alan Mishchenko2013-10-311-65/+122
* False path detection.Alan Mishchenko2013-10-311-0/+216