iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
\| *	Adding one argument to the delay-estimation API used for exact synthesis.	Alan Mishchenko	2016-07-31	1	-1/+1
* \|	Create and cleanup store, revert arrival times.	Mathias Soeken	2016-07-31	1	-7/+54
* \|	Create network from solution in store.	Mathias Soeken	2016-07-31	1	-2/+104
* \|	Store for exact results.	Mathias Soeken	2016-07-31	1	-5/+150
* \|	Depth optimal synthesis.	Mathias Soeken	2016-07-30	1	-7/+18
* \|	Implementation of Abc_ExactDelayCost.	Mathias Soeken	2016-07-30	1	-2/+34
* \|	Extract delay information into solution.	Mathias Soeken	2016-07-30	1	-13/+59
* \|	Extract solution into intermediate format.	Mathias Soeken	2016-07-30	1	-173/+211
\|/
*	Infrastructure for using the results of exact SAT-based synthesis during mapp...	Alan Mishchenko	2016-07-29	1	-5/+7
*	Infrastructure for using the results of exact SAT-based synthesis during mapp...	Alan Mishchenko	2016-07-29	1	-0/+30
*	Several updates to exact synthesis.	Mathias Soeken	2016-07-28	1	-62/+395
*	Extending command 'exact' to handle delay constraints.	Alan Mishchenko	2016-07-23	1	-35/+124
*	Adding command 'exact' developed by Mathias Soeken to implement Knuth's exact...	Alan Mishchenko	2016-07-16	1	-0/+589