16 Commits

Author	SHA1	Message	Date
Alan Mishchenko	4aa434ad11	Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.	2013-01-25 14:16:31 +07:00
Alan Mishchenko	58d4012a55	Enabling multi-output solving in 'pdr'.	2012-12-09 14:46:16 -08:00
Alan Mishchenko	0058cefee3	Deriving CEX after phase/tempor/reparam.	2012-12-09 00:19:18 -08:00
Alan Mishchenko	8e5d771feb	Deriving CEX after phase/tempor/reparam.	2012-12-08 12:38:31 -08:00
Alan Mishchenko	f1a5288904	Counter-example analysis and optimization.	2012-11-30 11:38:05 -08:00
Alan Mishchenko	c48e3c7ab4	Counter-example analysis and optimization.	2012-11-29 13:34:07 -08:00
Alan Mishchenko	661265984c	Counter-example analysis and optimization.	2012-11-28 16:18:39 -08:00
Alan Mishchenko	a0052e22b4	Added switch 'cexcut -m' to generate bad states for all frames after G.	2012-11-15 16:00:29 -08:00
Alan Mishchenko	be29f37baa	Added command 'cexcut' and 'cexmerge'.	2012-11-14 18:20:35 -08:00
Alan Mishchenko	9d5d804610	Added command 'cexcut' and 'cexmerge'.	2012-11-14 16:09:49 -08:00
Alan Mishchenko	8014f25f6d	Major restructuring of the code.	2012-01-21 04:30:10 -08:00
Alan Mishchenko	3beb36778e	Enabled counter-example minimization in 'write_counter'.	2011-11-11 20:56:05 -08:00
Alan Mishchenko	67e84b719d	Enhancing printing of counter-examples.	2011-07-25 20:33:55 +07:00
Alan Mishchenko	15cc374fe3	Updated 'iprove' to generate seq CEX when CEC fails.	2011-06-25 09:23:44 -07:00
Alan Mishchenko	2619edf8c0	Added two new APIs for reading/writing CEX from/into ABC.	2011-02-19 16:43:00 -08:00
Alan Mishchenko	8cc7b43865	Unified the use of counter-examples in three packages (additional files).	2011-02-13 18:02:52 -08:00