Commit Graph

4057 Commits

Author SHA1 Message Date
Alan Mishchenko 68faa04aff Compiler warnings. 2017-04-28 09:46:10 -07:00
Alan Mishchenko 1faab72a6c Experiments with support minimization. 2017-04-27 22:08:17 -07:00
Alan Mishchenko 0de189f4db Two small fixes. 2017-04-24 08:52:12 -07:00
Alan Mishchenko bef247a4cb Logic restructuring after mapping. 2017-04-23 09:45:23 -07:00
Alan Mishchenko 4124a00d4b Logic restructuring after mapping. 2017-04-19 22:53:01 -07:00
Alan Mishchenko 7d15b00e13 Logic restructuring after mapping. 2017-04-19 22:51:19 -07:00
Alan Mishchenko f401c17fac Logic restruturing after mapping. 2017-04-17 17:57:41 -04:00
Alan Mishchenko fb12c23ad5 Logic restruturing after mapping. 2017-04-17 17:50:10 -04:00
Alan Mishchenko fea18c2d42 Experiments with SAT sweeping. 2017-04-12 08:38:40 -07:00
Alan Mishchenko b1eaf714f2 Experiments with SAT sweeping. 2017-04-11 22:12:18 -07:00
Alan Mishchenko 79584f5e20 Experiments with SAT sweeping. 2017-04-11 21:06:42 -07:00
Alan Mishchenko 0d53eece0a Merged in ysho/abc (pull request #73)
Improvements to %pdra
2017-04-12 01:24:22 +00:00
Alan Mishchenko 000e51f323 Experiments with hashing. 2017-04-11 18:23:09 -07:00
Yen-Sheng Ho 2c443d20de merge 2017-04-10 16:21:13 -07:00
Alan Mishchenko 175b42b48f Experiments with hashing. 2017-04-10 14:17:03 -07:00
Yen-Sheng Ho 0f1a758c2f %pdra: bug fix 2017-04-09 17:59:34 -07:00
Yen-Sheng Ho 3c43851c36 %pdra: bug fix 2017-04-09 17:22:14 -07:00
Yen-Sheng Ho 3401ed364b %pdra: added top level callbacks 2017-04-09 14:38:37 -07:00
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