iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \|	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
\| \|
* \|	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 ↵	Alan Mishchenko	2016-07-16	4	-0/+649
\| \| \| \| \| \| \| \|	exact synthesis algorithm.
* \|	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 ↵	Alan Mishchenko	2016-06-17	1	-2/+54
\| \| \| \|	merge).
*	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
\|\ \| \| \| \| \| \|	Handling D1C and SCC in FXCH
\| *	Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment ↵	Bruno Schmitt	2016-06-17	4	-128/+189
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	(SCC) as by product of extraction. D1C: Whenever they appear a constant divisor (x! + x) will be created and handle as any other divisor. SCC: Will be taken care of as soon as they appear.
* \|	New command 'phase_map'.	Alan Mishchenko	2016-06-17	2	-1/+56
\| \|
* \|	Experiments with edge-based mapping.	Alan Mishchenko	2016-06-17	1	-71/+74
\|/
*	New multi-output PLA reader and preprocessor (read_plamo) (added dist-1 merge).	Alan Mishchenko	2016-06-16	2	-83/+355
\|
*	Change to BENCH reader to read DFF with four inputs.	Alan Mishchenko	2016-06-16	1	-7/+30
\|
*	Adding a switch 'retime -o' to use old flop naming conventions.	Alan Mishchenko	2016-06-16	5	-35/+59
\|
*	New multi-output PLA reader and preprocessor (read_plamo).	Alan Mishchenko	2016-06-16	3	-0/+491
\|
*	Experiments with edge-based mapping.	Alan Mishchenko	2016-06-15	5	-8/+898
\|
*	Adding switch -P <num> to command 'cover'.	Alan Mishchenko	2016-06-14	4	-12/+26
\|
*	Detecting properties of internal nodes.	Alan Mishchenko	2016-06-14	3	-186/+15
\|
*	Detecting properties of internal nodes.	Alan Mishchenko	2016-06-12	4	-0/+267
\|