4044 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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