Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Upgrading choice computation. | Alan Mishchenko | 2021-07-31 | 2 | -4/+5 |
| | |||||
* | Potential upgrade to 'dsec'. | Alan Mishchenko | 2021-06-25 | 1 | -0/+24 |
| | |||||
* | Several changes for standard mapping. | Alan Mishchenko | 2021-04-28 | 1 | -1/+1 |
| | |||||
* | Experiments with simulation. | Alan Mishchenko | 2021-01-01 | 1 | -27/+24 |
| | |||||
* | Experiments with simulation. | Alan Mishchenko | 2020-12-30 | 2 | -3/+361 |
| | |||||
* | Integrating Glucose into &sat. | Alan Mishchenko | 2020-12-21 | 1 | -52/+137 |
| | |||||
* | Adding solver type in &sat. | Alan Mishchenko | 2020-12-16 | 5 | -2/+568 |
| | |||||
* | Adding generation of combinational speculative miters. | Alan Mishchenko | 2020-12-16 | 1 | -4/+13 |
| | |||||
* | Adding switch to replace proved outputs by const0. | Alan Mishchenko | 2020-12-16 | 6 | -10/+13 |
| | |||||
* | Corner case bug fix in &cec. | Alan Mishchenko | 2020-12-02 | 1 | -2/+2 |
| | |||||
* | Passing conflict limit to &cec. | Alan Mishchenko | 2020-11-22 | 1 | -1/+2 |
| | |||||
* | Removing unused printouts. | Alan Mishchenko | 2020-11-22 | 2 | -3/+2 |
| | |||||
* | Integration with several commands. | Alan Mishchenko | 2020-11-19 | 4 | -1/+71 |
| | |||||
* | Improvements to the SAT sweeper. | Alan Mishchenko | 2020-11-16 | 1 | -12/+52 |
| | |||||
* | Extending sweeper to handle XORs. | Alan Mishchenko | 2020-11-16 | 1 | -17/+43 |
| | |||||
* | Extending sweeper to handle XORs. | Alan Mishchenko | 2020-11-15 | 1 | -36/+123 |
| | |||||
* | Improvements to the SAT sweeper (bug fix). | Alan Mishchenko | 2020-11-15 | 1 | -1/+1 |
| | |||||
* | Sweeping up to a given level (bug fix). | Alan Mishchenko | 2020-11-15 | 1 | -2/+2 |
| | |||||
* | Sweeping up to a given level. | Alan Mishchenko | 2020-11-14 | 1 | -1/+5 |
| | |||||
* | Improvements to the SAT solver. | Alan Mishchenko | 2020-11-14 | 1 | -3/+3 |
| | |||||
* | Improvements to the SAT sweeper (bug fix). | Alan Mishchenko | 2020-11-14 | 1 | -0/+1 |
| | |||||
* | Improvements to the SAT sweeper. | Alan Mishchenko | 2020-11-14 | 1 | -49/+76 |
| | |||||
* | Upgrading the SAT solvers. | Alan Mishchenko | 2020-11-14 | 1 | -5/+7 |
| | |||||
* | Improvements to the SAT sweeper. | Alan Mishchenko | 2020-11-13 | 1 | -161/+366 |
| | |||||
* | Adding and integrating new SAT solver APIs. | Alan Mishchenko | 2020-11-13 | 2 | -30/+73 |
| | |||||
* | Duplicating Glucose package. | Alan Mishchenko | 2020-11-12 | 1 | -33/+69 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-11 | 1 | -30/+43 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-10 | 2 | -67/+212 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-09 | 5 | -0/+1165 |
| | |||||
* | Deleting unused info left by the SAT sweeper. | Alan Mishchenko | 2020-09-10 | 1 | -0/+2 |
| | |||||
* | Adding switch &cec -w to print SAT solver stats. | Alan Mishchenko | 2020-09-06 | 3 | -1/+3 |
| | |||||
* | Making &cec use precomputed simulation info. | Alan Mishchenko | 2020-08-12 | 3 | -12/+37 |
| | |||||
* | Corner case bug fix in &sat -a. | Alan Mishchenko | 2020-03-18 | 1 | -3/+12 |
| | |||||
* | Cleaning up code and fixing for several typos. | Alan Mishchenko | 2020-01-27 | 1 | -1/+1 |
| | |||||
* | Remove assertions when the solver becomes UNSAT after adding constraints in ↵ | Alan Mishchenko | 2019-10-05 | 1 | -2/+2 |
| | | | | 'scorr -c'. | ||||
* | Several corner-case bug fixes in scorr with constraints. | Alan Mishchenko | 2019-10-02 | 1 | -1/+1 |
| | |||||
* | Adding switch to &if to consider special type of 6-input cuts. | Alan Mishchenko | 2019-09-26 | 1 | -0/+56 |
| | |||||
* | Fixing some update gcc. | Alan Mishchenko | 2019-07-24 | 1 | -1/+1 |
| | |||||
* | Cleanup of SAT sweeping code. | Alan Mishchenko | 2019-06-30 | 1 | -8/+0 |
| | |||||
* | Adding the possibility to specify file name in 'pdr'. | Alan Mishchenko | 2019-04-22 | 3 | -2/+4 |
| | |||||
* | Fixing several potential bugs. | Alan Mishchenko | 2019-03-19 | 2 | -2/+2 |
| | |||||
* | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵ | Alan Mishchenko | 2019-03-05 | 7 | -13/+13 |
| | | | | memcpy, etc. | ||||
* | Suggested white-space changes for fewer gcc warnings. | Alan Mishchenko | 2019-03-04 | 1 | -4/+4 |
| | |||||
* | Passing names in &scorr. | Alan Mishchenko | 2019-02-18 | 1 | -0/+12 |
| | |||||
* | Passing names in &scorr. | Alan Mishchenko | 2019-02-18 | 1 | -0/+5 |
| | |||||
* | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 11 | -15/+15 |
| | |||||
* | Various usability changes. | Alan Mishchenko | 2018-11-18 | 1 | -1/+1 |
| | |||||
* | Various usability changes. | Alan Mishchenko | 2018-11-18 | 1 | -0/+1 |
| | |||||
* | Bug fix in polynomial construction. | Alan Mishchenko | 2018-06-20 | 1 | -3/+3 |
| | |||||
* | Enabling user-specified output signature in &polyn (bug fix). | Alan Mishchenko | 2018-06-13 | 1 | -1/+1 |
| |