iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Procedure to trasnsform counter-examples.	Alan Mishchenko	2019-01-15	1	-3/+3
*	Improving CEX minimization.	Alan Mishchenko	2017-02-10	1	-7/+18
*	Added transformation of CEX after 'fix_aig' and checking of transformed CEXes...	Alan Mishchenko	2014-06-17	1	-0/+39
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	1	-3/+3
*	Better CEX minimization and renaming of write_counter into write_cex.	Alan Mishchenko	2014-04-04	1	-0/+27
*	Tuning for multi-ouptut solver.	Alan Mishchenko	2013-11-04	1	-1/+4
*	Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.	Alan Mishchenko	2013-01-25	1	-0/+19
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-3/+4
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-09	1	-6/+5
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-08	1	-1/+114
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-30	1	-2/+2
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-29	1	-0/+19
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-28	1	-0/+11
*	Added switch 'cexcut -m' to generate bad states for all frames after G.	Alan Mishchenko	2012-11-15	1	-2/+2
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-11/+12
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-0/+58
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-4/+0
*	Enabled counter-example minimization in 'write_counter'.	Alan Mishchenko	2011-11-11	1	-1/+19
*	Enhancing printing of counter-examples.	Alan Mishchenko	2011-07-25	1	-3/+32
*	Updated 'iprove' to generate seq CEX when CEC fails.	Alan Mishchenko	2011-06-25	1	-0/+25
*	Added two new APIs for reading/writing CEX from/into ABC.	Alan Mishchenko	2011-02-19	1	-0/+2
*	Unified the use of counter-examples in three packages (additional files).	Alan Mishchenko	2011-02-13	1	-0/+203