iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)	Alan Mishchenko	2016-08-06	3	-19/+230
\|\
\| *	Return the class representative of each function.	Ana Petkovska	2016-06-18	2	-18/+62
\| *	Group based exact NPN classification.	Ana Petkovska	2016-06-18	3	-4/+171
* \|	Unsuccessful attempt to improve quality of factoring by limiting distance-1 m...	Alan Mishchenko	2016-08-06	1	-12/+67
* \|	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	3	-8/+24
* \|	Updates to arithmetic verification.	Alan Mishchenko	2016-08-05	8	-55/+88
* \|	Merged in msoeken/abc-exact (pull request #35)	Alan Mishchenko	2016-08-05	2	-54/+383
\|\ \
\| * \|	Read and write to exact store.	Mathias Soeken	2016-08-04	2	-21/+181
\| * \|	Exact synthesis minimization.	Mathias Soeken	2016-08-04	2	-42/+209
\| * \|	Update from parent.	Mathias Soeken	2016-08-03	1	-0/+1
\| \|\ \
\| * \| \|	Free memory.	Mathias Soeken	2016-08-03	1	-0/+2
* \| \| \|	Updates to arithmetic verification.	Alan Mishchenko	2016-08-05	6	-15/+323
\| \|/ / \|/\| \|
* \| \|	Bug in 'dump_equiv -n'.	Alan Mishchenko	2016-08-02	1	-0/+1
\|/ /
* \|	Tests and bug fixes for exact store manager.	Mathias Soeken	2016-08-02	2	-30/+50
* \|	Dynamic number of variables in exact store manager.	Mathias Soeken	2016-08-02	1	-35/+86
* \|	Merged alanmi/abc into default	Mathias Soeken	2016-08-02	5	-288/+551
\|\ \
\| * \|	Compiler errors on Windows.	Alan Mishchenko	2016-08-01	4	-39/+50
\| * \|	Several updates to FXCH including:	Bruno Schmitt	2016-08-01	5	-285/+537
* \| \|	Fixes in DelayCost and BuildNode.	Mathias Soeken	2016-08-01	1	-1/+4
* \| \|	Merged alanmi/abc into default	Mathias Soeken	2016-08-01	2	-4/+4
\|\\| \|
\| * \|	Adding one argument to the delay-estimation API used for exact synthesis.	Alan Mishchenko	2016-07-31	2	-4/+4
* \| \|	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
* \| \|	Check whether exact network can be found.	Mathias Soeken	2016-07-30	1	-5/+11
* \| \|	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	-1/+3
* \|	Infrastructure for using the results of exact SAT-based synthesis during mapp...	Alan Mishchenko	2016-07-29	2	-8/+32
* \|	Compiler warnings.	Alan Mishchenko	2016-07-29	1	-3/+3
* \|	Infrastructure for using the results of exact SAT-based synthesis during mapp...	Alan Mishchenko	2016-07-29	8	-31/+106
* \|	Merged in boschmitt/abc (pull request #31)	Alan Mishchenko	2016-07-28	1	-10/+31
\|\ \
\| * \	Merged alanmi/abc into default	Bruno Schmitt	2016-07-27	3	-17/+72
\| \|\ \
\| * \| \|	Make FX able to handle SCC and remove its SOP preprocessing.	Bruno Schmitt	2016-07-27	1	-10/+31
* \| \| \|	Several updates to exact synthesis.	Mathias Soeken	2016-07-28	3	-76/+459
* \| \| \|	The same bug fix in 'scorr -c' (signal correspondence with constraints).	Alan Mishchenko	2016-07-28	1	-2/+4
* \| \| \|	Serious bug fix in 'scorr -F <num>' with <num> > 1.	Alan Mishchenko	2016-07-28	3	-8/+38
\| \|/ / \|/\| \|
* \| \|	Extending command 'dump_equv' to match inputs by name.	Alan Mishchenko	2016-07-27	2	-1/+5
* \| \|	Extending command 'dump_equv' to match inputs by name.	Alan Mishchenko	2016-07-27	2	-17/+68
\|/ /
* \|	Make fx able to handle degenerate divisors:	Bruno Schmitt	2016-07-26	1	-93/+59
* \|	Extending command 'exact' to handle delay constraints.	Alan Mishchenko	2016-07-23	3	-42/+143
* \|	Bug fix in 'dump_equiv'.	Alan Mishchenko	2016-07-22	1	-3/+44
* \|	Adding new command 'dump_equiv'.	Alan Mishchenko	2016-07-21	1	-2/+6
* \|	Adding new command 'dump_equiv'.	Alan Mishchenko	2016-07-21	13	-13/+518
* \|	Fix in reading initial state for edge-detection.	Alan Mishchenko	2016-07-20	1	-4/+36
* \|	Extension in the detection code.	Alan Mishchenko	2016-07-19	4	-6/+15