| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Experiments with don't-cares. | Alan Mishchenko | 2017-03-23 | 1 | -1/+1 |
| * | Standardizing the use of new CNF generator. Adding CNF variable connectivity ... | Alan Mishchenko | 2017-02-10 | 1 | -1/+1 |
| * | Bug fix in &fftest: not outputting test patterns when user test patterns are ... | Alan Mishchenko | 2016-03-09 | 1 | -8/+15 |
| * | Adding a way to derive cardinality constraint as a sorting network. | Alan Mishchenko | 2016-01-13 | 1 | -4/+89 |
| * | Adding support for dumping faults not detected by a given test-set in &fftest... | Alan Mishchenko | 2015-04-17 | 1 | -22/+108 |
| * | Adding support for cardinality constraints in &fftest (switches -K and -k). | Alan Mishchenko | 2015-04-16 | 1 | -1/+61 |
| * | Adding switch &fftest -e to dump delay-tests in a special format. | Alan Mishchenko | 2015-04-15 | 1 | -1/+2 |
| * | Adding switch &fftest -e to dump delay-tests in a special format. | Alan Mishchenko | 2015-04-14 | 1 | -2/+74 |
| * | Adding flop-input-only switch -f in &fftest for '-S str'. | Alan Mishchenko | 2015-03-16 | 1 | -9/+35 |
| * | Adding flop-input-only switch -f in &fftest. | Alan Mishchenko | 2015-03-14 | 1 | -13/+34 |
| * | Adding silent mode to &splitprove. | Alan Mishchenko | 2015-03-14 | 1 | -1/+7 |
| * | Fixed a typo in variable names. | Alan Mishchenko | 2015-02-07 | 1 | -3/+3 |
| * | Bug fix in &fftest when used for ECO. | Alan Mishchenko | 2014-12-10 | 1 | -8/+39 |
| * | Compiler warnings. | Alan Mishchenko | 2014-11-03 | 1 | -2/+2 |
| * | Improvements to &fftest (adding computation of fixed parameters). | Alan Mishchenko | 2014-11-02 | 1 | -108/+206 |
| * | Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations. | Alan Mishchenko | 2014-10-25 | 1 | -1/+63 |
| * | Fix to the problem of not dumping test-vectors in &fftest when the use-specif... | Alan Mishchenko | 2014-06-30 | 1 | -1/+1 |
| * | Improvements to CNF generation. | Alan Mishchenko | 2014-06-23 | 1 | -0/+1 |
| * | Adding symbolic fault representation in &fftest. | Alan Mishchenko | 2014-05-23 | 1 | -106/+208 |
| * | Adding symbolic fault representation in &fftest. | Alan Mishchenko | 2014-05-22 | 1 | -17/+26 |
| * | Adding symbolic fault representation in &fftest. | Alan Mishchenko | 2014-05-20 | 1 | -8/+40 |
| * | Adding symbolic fault representation in &fftest. | Alan Mishchenko | 2014-05-19 | 1 | -25/+17 |
| * | Adding symbolic fault representation in &fftest. | Alan Mishchenko | 2014-05-14 | 1 | -47/+264 |
| * | Compiler warnings. | Alan Mishchenko | 2014-04-01 | 1 | -1/+1 |
| * | Adding switch to handle only single faults. | Alan Mishchenko | 2014-04-01 | 1 | -10/+86 |
| * | Adding functionally observable fault testing. | Alan Mishchenko | 2014-03-31 | 1 | -2/+2 |
| * | Adding functionally observable fault testing. | Alan Mishchenko | 2014-03-31 | 1 | -2/+64 |
| * | Adding a feature to dump untestable multiple faults. | Alan Mishchenko | 2014-03-28 | 1 | -8/+108 |
| * | Experiments with stuck-at fault testing. | Alan Mishchenko | 2014-03-24 | 1 | -37/+149 |
| * | Experiments with stuck-at fault testing. | Alan Mishchenko | 2014-03-23 | 1 | -12/+74 |
| * | Experiments with stuck-at fault testing. | Alan Mishchenko | 2014-03-09 | 1 | -7/+51 |
| * | Experiments with delay fault testing. | Alan Mishchenko | 2014-03-05 | 1 | -15/+96 |
| * | Experiments with delay fault testing. | Alan Mishchenko | 2014-03-04 | 1 | -0/+265 |
