Commit Graph

4039 Commits

Author SHA1 Message Date
Alan Mishchenko fe3d334151 Experiments with hashing. 2017-04-08 18:37:32 -07:00
Alan Mishchenko dd51c29934 Experiments with don't-cares. 2017-04-08 14:35:29 -07:00
Yen-Sheng Ho 72c23923da merge 2017-04-06 14:18:50 -07:00
Yen-Sheng Ho 2761e5e35b small changes 2017-04-06 14:18:28 -07:00
Yen-Sheng Ho 131a51a4b5 %pdra: handled real CEXs; refactor 2017-04-06 14:15:26 -07:00
Alan Mishchenko efe5d1476a Adding stand-alone cut computation to GIA. 2017-04-05 22:06:29 -07:00
Alan Mishchenko 70b11df926 Adding stand-alone cut computation to GIA. 2017-04-05 22:03:16 -07:00
Alan Mishchenko 2373c5b15c Adding stand-alone cut computation to GIA. 2017-04-05 22:02:05 -07:00
Alan Mishchenko 304c63e860 Experiments with don't-cares. 2017-04-04 15:37:10 -07:00
Alan Mishchenko 44605f5af6 Experiments with don't-cares. 2017-04-04 03:17:24 -07:00
Alan Mishchenko f765e666ca Experiments with don't-cares. 2017-04-02 21:51:47 -07:00
Alan Mishchenko 3898ba5486 Experiments with don't-cares. 2017-03-31 21:24:19 -07:00
Alan Mishchenko ac59789e9b Experiments with don't-cares. 2017-03-31 21:07:19 -07:00
Yen-Sheng Ho 1531dd8ec5 %pdra: added an option -t for disabling trace reuse 2017-03-31 15:34:21 -07:00
Alan Mishchenko ecbb5c4d0c Bug fix in hashing. 2017-03-31 07:51:02 -07:00
Yen-Sheng Ho 04bd8631e0 merge 2017-03-31 07:42:06 -07:00
Yen-Sheng Ho 16ef095f9c %pdra: fixed bugs 2017-03-30 15:22:39 -07:00
Alan Mishchenko 96056c377c Experiments with multipliers. 2017-03-30 14:53:35 -07:00
Yen-Sheng Ho 1cb140bb11 %pdra: fixed bugs 2017-03-30 13:53:18 -07:00
Yen-Sheng Ho ecf91190d6 added callbacks to sat solvers in pdr 2017-03-29 23:00:29 -07:00
Yen-Sheng Ho 4d47904831 %pdra: fixed bugs 2017-03-29 14:20:40 -07:00
Alan Mishchenko 7285f1051e Experiments with multipliers. 2017-03-28 23:28:04 -07:00
Yen-Sheng Ho bf4be3fc25 %pdra: improved performance 2017-03-28 15:20:53 -07:00
Alan Mishchenko fdfb888891 Experiments with don't-cares. 2017-03-28 14:29:56 -07:00
Yen-Sheng Ho 2fea987ec6 %pdra: added an option -s 2017-03-28 14:08:04 -07:00
Yen-Sheng Ho 7a423e4fbe %pdra: added a procedure to shrink abstraction 2017-03-27 17:09:23 -07:00
Yen-Sheng Ho 758270d663 %pdra: refactor 2017-03-27 15:18:35 -07:00
Yen-Sheng Ho e6098d20be %pdra: added a procedure to rebuild traces 2017-03-27 15:10:33 -07:00
Alan Mishchenko 2ccd0f9b85 Experiments with don't-cares. 2017-03-26 21:46:09 -07:00
Alan Mishchenko 23151498fa Experiments with don't-cares. 2017-03-26 20:35:31 -07:00
Alan Mishchenko 036be3a541 Experiments with don't-cares. 2017-03-26 20:32:46 -07:00
Alan Mishchenko d0ea4853ec Experiments with multipliers. 2017-03-26 14:38:04 -07:00
Alan Mishchenko a34d8cbb36 Experiments with don't-cares. 2017-03-23 19:19:29 -07:00
Alan Mishchenko 1ac9d2997c Experiments with don't-cares. 2017-03-22 13:04:24 -07:00
Alan Mishchenko d92bfbaddc Experiments with new network data-structure. 2017-03-20 23:45:03 -07:00
Yen-Sheng Ho bacc1bc12c added callbacks to bmc3 and sat solver 2017-03-20 19:13:40 -07:00
Alan Mishchenko 245532cad1 Merged in ysho/abc (pull request #69)
Improvements to %pdra
2017-03-20 05:01:40 +00:00
Alan Mishchenko 027bb83e81 Experiments with new network data-structure. 2017-03-19 21:59:41 -07:00
Alan Mishchenko 0afc6123f9 Experiments with new network data-structure. 2017-03-19 21:56:19 -07:00
Alan Mishchenko 9510da0b30 Experiments with new network data-structure. 2017-03-19 21:54:25 -07:00
Alan Mishchenko 19ccaf21df Experiments with new network data-structure. 2017-03-19 21:51:03 -07:00
Yen-Sheng Ho 9a1ef0e5d0 merge 2017-03-19 15:46:39 -07:00
Yen-Sheng Ho 875411985c %pdra: working on bmc3 2017-03-19 14:21:19 -07:00
Yen-Sheng Ho 51fbf37cb4 %pdra: working on bmc3 2017-03-19 12:41:06 -07:00
Yen-Sheng Ho 3bddf93876 %pdra: working on bmc3 2017-03-19 12:07:45 -07:00
Alan Mishchenko 3329086947 Several bug fixed / small changes in Satoko. 2017-03-18 20:16:16 -07:00
Yen-Sheng Ho 0d054904e0 %pdra: working on bmc3 2017-03-18 15:23:50 -07:00
Yen-Sheng Ho 7713e94a1a %pdra: isolated the procedure for checking comb. unsat 2017-03-18 14:23:09 -07:00
Alan Mishchenko eff11d95d2 Code for structural unateness checking. 2017-03-18 13:38:54 -07:00
Alan Mishchenko 1e5d826c4c Code for structural unateness checking. 2017-03-18 13:38:37 -07:00