iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	New SAT-based optimization package.	Alan Mishchenko	2016-12-04	1	-1/+1
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-07	1	-1/+1
*	silence clang errors when compiling as C++	Baruch Sterin	2015-11-05	1	-1/+1
*	New TFI/TFO profiling code.	Alan Mishchenko	2015-07-10	1	-17/+41
*	New TFI/TFO profiling code.	Alan Mishchenko	2015-07-09	1	-0/+289
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-11	1	-6/+6
*	New flavor of DSD-friendly 'eliminate'.	Alan Mishchenko	2014-12-09	1	-0/+4
*	Small changes.	Alan Mishchenko	2014-07-21	1	-29/+34
*	Improvements to profiling and printing statistics.	Alan Mishchenko	2014-07-09	1	-3/+6
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	1	-32/+21
*	Improvements to power-aware mapping.	Alan Mishchenko	2014-06-23	1	-1/+1
*	Added command &mux_profile.	Alan Mishchenko	2014-06-22	1	-65/+154
*	Experiments with MUX profiling.	Alan Mishchenko	2014-06-19	1	-16/+141
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	1	-0/+13
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	1	-0/+1
*	Various modifications.	Alan Mishchenko	2014-06-12	1	-6/+55
*	Bug fix in &b when reference counters are given.	Alan Mishchenko	2013-11-30	1	-0/+1
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-03	1	-1/+1
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-1/+2
*	Performance balancing command &b.	Alan Mishchenko	2013-09-27	1	-10/+10
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	1	-3/+3
*	Multiplexer profiling.	Alan Mishchenko	2013-05-27	1	-0/+322