summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcDetect.c
Commit message (Expand)AuthorAgeFilesLines
* Standardizing the use of new CNF generator. Adding CNF variable connectivity ...Alan Mishchenko2017-02-101-2/+1
* Adding switch '-c' to generate only stuck-at faults in 'faultclasses -g'.Alan Mishchenko2016-11-221-3/+5
* Renaming command 'detect' to be 'faultclasses'.Alan Mishchenko2016-11-101-1/+1
* Compiler warnings.Alan Mishchenko2016-11-091-3/+0
* Equivalent fault detection code.Alan Mishchenko2016-11-091-4/+1062
* Extension in the detection code.Alan Mishchenko2016-07-191-1/+1
* Detecting properties of internal nodes.Alan Mishchenko2016-06-141-183/+12
* Detecting properties of internal nodes.Alan Mishchenko2016-06-121-0/+207
* Detecting properties of internal nodes.Alan Mishchenko2016-06-071-0/+172