iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	read_cex: Faster parsing and care bits for verification	Jannis Harder	2022-08-05	1	-0/+47
*	Fixing broken build and compiler warnings.	Alan Mishchenko	2020-04-17	1	-1/+1
*	Experiments with counting care bits.	Alan Mishchenko	2019-05-23	1	-0/+106
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	1	-2/+2
*	Improving CEX minimization.	Alan Mishchenko	2017-02-10	1	-3/+3
*	Removing unhelpful assertion in CEX minimization.	Alan Mishchenko	2015-09-01	1	-1/+1
*	Bug fix in CEX printing.	Alan Mishchenko	2014-11-03	1	-1/+1
*	Better CEX minimization and renaming of write_counter into write_cex.	Alan Mishchenko	2014-04-04	1	-2/+2
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	1	-2/+2
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-13/+13
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-2/+2
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-12-01	1	-64/+258
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-30	1	-3/+1
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-30	1	-17/+21
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-30	1	-12/+78
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-29	1	-0/+590