iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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	2	-17/+68
\| \|\
\| * \|	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	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
*	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
*	Extension in the detection code.	Alan Mishchenko	2016-07-19	4	-6/+15
*	Fix in reading initial state for edge-detection.	Alan Mishchenko	2016-07-19	1	-0/+2
*	Tuning &blut implementation.	Alan Mishchenko	2016-07-18	1	-8/+9
*	Adding output range support to %blast.	Alan Mishchenko	2016-07-18	5	-8/+40
*	Adding command 'exact' developed by Mathias Soeken to implement Knuth's exact...	Alan Mishchenko	2016-07-16	4	-0/+649
*	Several corner-case bugs in %read, &cec, and st.	Alan Mishchenko	2016-07-16	3	-6/+16
*	Fixes and adjustments for the edge computation flow.	Alan Mishchenko	2016-07-15	2	-2/+3
*	Small fixes and improvements in reporting node counts.	Alan Mishchenko	2016-07-15	6	-19/+51
*	Adding a debug way to print cuts used in the CNF-generator.	Alan Mishchenko	2016-07-13	1	-0/+9
*	Removing verbose output in &cec and &syn4.	Alan Mishchenko	2016-07-13	2	-3/+3
*	Bug-fix in SMT-LIB parser (incorrect handling of arithmetic right-shift).	Alan Mishchenko	2016-07-12	2	-8/+18
*	Small change to make &if not abort the scripts.	Alan Mishchenko	2016-07-04	1	-1/+1
*	Bit-blasting Booth multipliers.	Alan Mishchenko	2016-07-04	1	-4/+79
*	Experiments with edge-based mapping (bug fix).	Alan Mishchenko	2016-07-02	1	-6/+18
*	Bug fix in blasting shifters with large bit-width.	Alan Mishchenko	2016-06-29	1	-1/+1
*	Bug fix in blasting shifters with large bit-width.	Alan Mishchenko	2016-06-29	1	-9/+15
*	Experiments with edge-based mapping.	Alan Mishchenko	2016-06-29	3	-35/+198
*	Bug fix in blasting shifters with large bit-width.	Alan Mishchenko	2016-06-28	1	-2/+2
*	New multi-output PLA reader and preprocessor (read_plamo) (updated dist-1 mer...	Alan Mishchenko	2016-06-17	1	-2/+54
*	Complier fix.	Alan Mishchenko	2016-06-17	1	-2/+2
*	Merged in boschmitt/abc (pull request #28)	Alan Mishchenko	2016-06-17	4	-128/+189
\|\