Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
| | ||||||
* | Enabling user-specified output signature in &polyn. | Alan Mishchenko | 2018-06-13 | 1 | -7/+217 | |
| | ||||||
* | Bug fix in &sat -x. | Alan Mishchenko | 2018-05-07 | 1 | -0/+2 | |
| | ||||||
* | Adding &sat -x to save CEXes for multi-output combinational miters. | Alan Mishchenko | 2018-05-06 | 3 | -0/+23 | |
| | ||||||
* | Adding switch 'scorr -f' to dump inductive invariant as an AIG. | Alan Mishchenko | 2018-03-22 | 3 | -9/+18 | |
| | ||||||
* | Compilation problem with pow(). | Alan Mishchenko | 2018-02-19 | 1 | -3/+3 | |
| | ||||||
* | Experiments with circuit-based SAT. | Alan Mishchenko | 2018-01-27 | 1 | -1/+1 | |
| | ||||||
* | Experiments with SAT-based simulation. | Alan Mishchenko | 2018-01-25 | 1 | -8/+11 | |
| | ||||||
* | Experiments with SAT-based simulation. | Alan Mishchenko | 2018-01-23 | 1 | -2/+17 | |
| | ||||||
* | Changes to make GIA structural hashing use a dedicated array instead of ↵ | Alan Mishchenko | 2017-11-13 | 1 | -1/+1 | |
| | | | | pObj->Value. | |||||
* | Profiling quantification and other changes. | Alan Mishchenko | 2017-11-06 | 2 | -38/+43 | |
| | ||||||
* | Bug fix in old lcorr with constraints. | Alan Mishchenko | 2017-11-04 | 1 | -1/+1 | |
| | ||||||
* | Enabling Glucose in SAT sweeping: &fraig -g. | Alan Mishchenko | 2017-09-18 | 1 | -0/+1 | |
| | ||||||
* | Enabling Glucose in SAT sweeping: &fraig -g. | Alan Mishchenko | 2017-09-18 | 1 | -0/+1048 | |
| | ||||||
* | bridge relates: (1) fix netlist reader to read the latest version written by ↵ | Baruch Sterin | 2017-09-15 | 1 | -24/+24 | |
| | | | | ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages | |||||
* | Changes to 'pdr' to run with updated Satoko. | Alan Mishchenko | 2017-09-06 | 1 | -1/+1 | |
| | ||||||
* | Changes to 'pdr' to run with updated Satoko. | Alan Mishchenko | 2017-09-06 | 3 | -6/+8 | |
| | ||||||
* | Fixing bronken C++ build; Satoko internal header, solver.h, should not be ↵ | Bruno Schmitt | 2017-08-29 | 2 | -12/+13 | |
| | | | | used in other packages | |||||
* | Integrating Satoko into 'bmc' and 'bmc2'. | Alan Mishchenko | 2017-08-16 | 3 | -3/+3 | |
| | ||||||
* | Integrating Satoko into pdr. | Alan Mishchenko | 2017-08-16 | 9 | -42/+68 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2017-07-22 | 2 | -3/+3 | |
| | ||||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-04-11 | 3 | -1/+8 | |
| | ||||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-04-11 | 2 | -23/+78 | |
| | ||||||
* | %pdra: added an option -t for disabling trace reuse | Yen-Sheng Ho | 2017-03-31 | 1 | -0/+3 | |
| | ||||||
* | merge | Yen-Sheng Ho | 2017-03-31 | 1 | -1/+3 | |
|\ | ||||||
| * | Experiments with multipliers. | Alan Mishchenko | 2017-03-28 | 1 | -1/+3 | |
| | | ||||||
* | | %pdra: fixed bugs | Yen-Sheng Ho | 2017-03-30 | 1 | -1/+2 | |
| | | ||||||
* | | added callbacks to sat solvers in pdr | Yen-Sheng Ho | 2017-03-29 | 1 | -0/+4 | |
| | | ||||||
* | | %pdra: fixed bugs | Yen-Sheng Ho | 2017-03-29 | 1 | -1/+5 | |
| | | ||||||
* | | %pdra: refactor | Yen-Sheng Ho | 2017-03-27 | 1 | -14/+0 | |
| | | ||||||
* | | %pdra: added a procedure to rebuild traces | Yen-Sheng Ho | 2017-03-27 | 1 | -5/+140 | |
|/ | ||||||
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-26 | 1 | -1/+1 | |
| | ||||||
* | Experiments with multipliers. | Alan Mishchenko | 2017-03-26 | 2 | -175/+463 | |
| |