Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adding the possibility to specify file name in 'pdr'. | Alan Mishchenko | 2019-04-22 | 1 | -1/+1 |
| | |||||
* | Integrating Satoko into pdr. | Alan Mishchenko | 2017-08-16 | 1 | -1/+1 |
| | |||||
* | %pdra: added an option -t for disabling trace reuse | Yen-Sheng Ho | 2017-03-31 | 1 | -0/+3 |
| | |||||
* | %pdra: fixed bugs | Yen-Sheng Ho | 2017-03-30 | 1 | -1/+2 |
| | |||||
* | %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 |
| | |||||
* | added experimental codes | Yen-Sheng Ho | 2017-03-02 | 1 | -2/+105 |
| | |||||
* | %pdra: added an option -u for checking comb. unsat | Yen-Sheng Ho | 2017-03-01 | 1 | -0/+13 |
| | |||||
* | changed how pdr -t cleans up abs flops | Yen-Sheng Ho | 2017-02-23 | 1 | -0/+15 |
| | |||||
* | added %pdra -a: run with pdr -nct | Yen-Sheng Ho | 2017-02-23 | 1 | -0/+26 |
| | |||||
* | Remapping flops in '%pdra. | Alan Mishchenko | 2017-02-21 | 1 | -2/+11 |
| | |||||
* | small tweaks in %pdra -p | Yen-Sheng Ho | 2017-02-20 | 1 | -0/+7 |
| | |||||
* | added options of checking and pushing to %pdra | Yen-Sheng Ho | 2017-02-20 | 1 | -4/+33 |
| | |||||
* | fixed a tricky bug: property should not be assumed true in the last frame | Yen-Sheng Ho | 2017-02-19 | 1 | -4/+8 |
| | |||||
* | working on pdr with wla | Yen-Sheng Ho | 2017-02-19 | 1 | -2/+5 |
| | |||||
* | working on pdr with wla | Yen-Sheng Ho | 2017-02-19 | 1 | -5/+42 |
| | |||||
* | working on pdr with wla | Yen-Sheng Ho | 2017-02-19 | 1 | -0/+3 |
| | |||||
* | working on pdr with wla | Yen-Sheng Ho | 2017-02-19 | 1 | -4/+7 |
| | |||||
* | working on incremental pdr | Yen-Sheng Ho | 2017-02-18 | 1 | -34/+36 |
| | |||||
* | working on incremental pdr | Yen-Sheng Ho | 2017-02-18 | 1 | -3/+146 |
| | |||||
* | copied some functions from pdr | Yen-Sheng Ho | 2017-02-18 | 1 | -2/+427 |
| | |||||
* | copied pdr_mansolve | Yen-Sheng Ho | 2017-02-18 | 1 | -1/+40 |
| | |||||
* | started pdrIncr.c | Yen-Sheng Ho | 2017-02-18 | 1 | -0/+56 |