iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Exact synthesis.	Mathias Soeken	2016-08-09	1	-22/+104
*	Small change in exact synthesis.	Mathias Soeken	2016-08-08	1	-1/+1
*	Resource constraints in exact synthesis, arrival times in exact command.	Mathias Soeken	2016-08-08	1	-27/+44
*	Improvements in exact synthesis.	Mathias Soeken	2016-08-08	1	-58/+77
*	Bugfixes in exact synthesis.	Mathias Soeken	2016-08-08	1	-20/+60
*	Fix some warnings.	Alan Mishchenko	2016-08-05	1	-2/+2
*	Fix some warnings.	Alan Mishchenko	2016-08-05	1	-9/+10
*	Handling constant and buffer cut in exact synthesis.	Alan Mishchenko	2016-08-05	1	-6/+22
*	Read and write to exact store.	Mathias Soeken	2016-08-04	1	-15/+106
*	Exact synthesis minimization.	Mathias Soeken	2016-08-04	1	-38/+88
*	Free memory.	Mathias Soeken	2016-08-03	1	-0/+2
*	Tests and bug fixes for exact store manager.	Mathias Soeken	2016-08-02	1	-29/+47
*	Dynamic number of variables in exact store manager.	Mathias Soeken	2016-08-02	1	-35/+86
*	Fixes in DelayCost and BuildNode.	Mathias Soeken	2016-08-01	1	-1/+4
*	Merged alanmi/abc into default	Mathias Soeken	2016-08-01	1	-1/+1
\|\
\| *	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