Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merging two threads. | Alan Mishchenko | 2015-05-25 | 1 | -0/+4 |
|\ | |||||
| * | Bug fix in QBF solver. | Alan Mishchenko | 2015-05-04 | 1 | -0/+4 |
| | | |||||
* | | Procedure for extending care CEX to all objects. | Alan Mishchenko | 2015-05-14 | 2 | -0/+55 |
|/ | |||||
* | Adding support for dumping faults not detected by a given test-set in ↵ | Alan Mishchenko | 2015-04-17 | 2 | -22/+109 |
| | | | | &fftest (switch -n). | ||||
* | Bug fix in &satfx. | Alan Mishchenko | 2015-04-17 | 1 | -2/+2 |
| | |||||
* | Adding support for cardinality constraints in &fftest (switches -K and -k). | Alan Mishchenko | 2015-04-16 | 2 | -1/+63 |
| | |||||
* | 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 | 2 | -2/+75 |
| | |||||
* | Typo in hash function. | Alan Mishchenko | 2015-04-02 | 1 | -1/+1 |
| | |||||
* | Compiler warning. | Alan Mishchenko | 2015-04-01 | 1 | -1/+1 |
| | |||||
* | Added backward flop order to &icheck (switch -b). | Alan Mishchenko | 2015-04-01 | 2 | -11/+84 |
| | |||||
* | Updating command &satfx. | Alan Mishchenko | 2015-03-31 | 1 | -3/+1 |
| | |||||
* | 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 | 2 | -13/+35 |
| | |||||
* | Adding silent mode to &splitprove. | Alan Mishchenko | 2015-03-14 | 1 | -1/+7 |
| | |||||
* | Experiments with SAT-based cube enumeration. | Alan Mishchenko | 2015-03-06 | 1 | -57/+103 |
| | |||||
* | Experiments with SAT-based cube enumeration. | Alan Mishchenko | 2015-03-05 | 1 | -1/+1 |
| | |||||
* | Experiments with SAT-based cube enumeration. | Alan Mishchenko | 2015-03-05 | 1 | -0/+1 |
| | |||||
* | Experiments with SAT-based cube enumeration. | Alan Mishchenko | 2015-03-05 | 3 | -25/+702 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-02-19 | 1 | -1/+1 |
| | |||||
* | Fixed a typo in variable names. | Alan Mishchenko | 2015-02-07 | 1 | -3/+3 |
| | |||||
* | Implementation of CE extraction for multiple MUXes driving D-inputs of FFs. | Alan Mishchenko | 2015-01-08 | 1 | -1/+1 |
| | |||||
* | Returning multiple counter-examples. | Alan Mishchenko | 2015-01-03 | 1 | -1/+2 |
| | |||||
* | Returning multiple counter-examples. | Alan Mishchenko | 2015-01-03 | 1 | -8/+41 |
| | |||||
* | Bug fix in &fftest when used for ECO. | Alan Mishchenko | 2014-12-10 | 1 | -8/+39 |
| | |||||
* | Experimental implementation of BMC-related procedures. | Alan Mishchenko | 2014-11-05 | 1 | -7/+31 |
| | |||||
* | Experimental implementation of BMC-related procedures. | Alan Mishchenko | 2014-11-04 | 2 | -0/+340 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2014-11-03 | 1 | -2/+2 |
| | |||||
* | Bug fix in CEX printing. | Alan Mishchenko | 2014-11-03 | 1 | -1/+1 |
| | |||||
* | Improvements to &fftest (adding computation of fixed parameters). | Alan Mishchenko | 2014-11-02 | 1 | -108/+206 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2014-10-28 | 1 | -2/+2 |
| | |||||
* | Bug fix in bmc3 -a -x. | Alan Mishchenko | 2014-10-28 | 1 | -1/+1 |
| | |||||
* | Bug fix in bmc3 -a -x. | Alan Mishchenko | 2014-10-28 | 1 | -1/+1 |
| | |||||
* | Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations. | Alan Mishchenko | 2014-10-25 | 2 | -1/+64 |
| | |||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 1 | -1/+1 |
| | |||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 1 | -3/+4 |
| | |||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 1 | -4/+7 |
| | |||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 2 | -1/+3 |
| | |||||
* | Adding code of MiniSAT 2.2. | Alan Mishchenko | 2014-10-21 | 28 | -0/+5813 |
| | |||||
* | Suggested patch for type-punned warnings | Alan Mishchenko | 2014-10-10 | 1 | -2/+5 |
| | |||||
* | Changing default CNF generation in &bmc. | Alan Mishchenko | 2014-08-18 | 1 | -0/+2 |
| | |||||
* | Adding delay optimization to synthesis script &syn2. | Alan Mishchenko | 2014-08-08 | 2 | -3/+3 |
| | |||||
* | Fix to the problem of not dumping test-vectors in &fftest when the ↵ | Alan Mishchenko | 2014-06-30 | 1 | -1/+1 |
| | | | | use-specified test set is complete or when a timeout occurred. | ||||
* | Improvements to CNF generation. | Alan Mishchenko | 2014-06-23 | 4 | -1/+161 |
| | |||||
* | Adding more features to the synthesis script &syn2. | Alan Mishchenko | 2014-06-14 | 2 | -3/+3 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -48/+0 |
| | |||||
* | 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 |
| | |||||
* | Experiment with support minimization. | Alan Mishchenko | 2014-05-21 | 1 | -2/+23 |
| | |||||
* | Simple version of ECO. | Alan Mishchenko | 2014-05-21 | 1 | -0/+297 |
| |