iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Windows complier errors.	Alan Mishchenko	2016-08-06	2	-6/+11
\|
*	Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)	Alan Mishchenko	2016-08-06	3	-19/+230
\|\ \| \| \| \| \| \|	Exact hierarchical NPN classification
\| *	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 ↵	Alan Mishchenko	2016-08-06	1	-12/+67
\| \| \| \| \| \| \| \|	merge during preprocessing.
* \|	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	7	-55/+84
\| \|
* \|	Merged in msoeken/abc-exact (pull request #35)	Alan Mishchenko	2016-08-05	2	-54/+383
\|\ \ \| \| \| \| \| \| \| \| \|	Updates to delay-estimation API with exact synthesis
\| * \|	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- Cube Grouping - New sub-cube hash table
* \| \|	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 ↵	Alan Mishchenko	2016-07-29	1	-1/+3
\| \| \| \| \| \| \| \|	mapping.
* \|	Infrastructure for using the results of exact SAT-based synthesis during ↵	Alan Mishchenko	2016-07-29	2	-8/+32
\| \| \| \| \| \| \| \|	mapping.
* \|	Compiler warnings.	Alan Mishchenko	2016-07-29	1	-3/+3
\| \|
* \|	Infrastructure for using the results of exact SAT-based synthesis during ↵	Alan Mishchenko	2016-07-29	8	-31/+106
\| \| \| \| \| \| \| \|	mapping.
* \|	Merged in boschmitt/abc (pull request #31)	Alan Mishchenko	2016-07-28	1	-10/+31
\|\ \ \| \| \| \| \| \| \| \| \|	Make FX able to handle SCC
\| * \	Merged alanmi/abc into default	Bruno Schmitt	2016-07-27	2	-17/+68
\| \|\ \
\| * \| \|	Make FX able to handle SCC and remove its SOP preprocessing.	Bruno Schmitt	2016-07-27	1	-10/+31
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Some other small changes.
* \| \| \|	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	1	-1/+1
\| \| \|
* \| \|	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	- Constant-1 (a + !a) - Divisors "a + !ab" and "a!b + b" are equal to "a + b" Change the way divisors are printed. Removal of dead code from fx.
* \|	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	12	-13/+514
\| \|
* \|	Fix in reading initial state for edge-detection.	Alan Mishchenko	2016-07-20	1	-4/+36
\| \|