iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	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	1	-1/+1
\|/
*	Adding a switch 'retime -o' to use old flop naming conventions.	Alan Mishchenko	2016-06-16	4	-31/+49
\|
*	Switch 'fx -x' to use only canonical divisors in 'fx'.	Alan Mishchenko	2016-06-06	1	-0/+1
\|
*	Small changes to compile on Windows.	Alan Mishchenko	2016-06-03	1	-5/+7
\|
*	Removing the memory saving mode, it is no longer necessary.	Bruno Schmitt	2016-06-02	5	-178/+17
\|
*	Minimizing memory usage. The implementation was using twice as much memory ↵	Bruno Schmitt	2016-06-02	1	-30/+30
\| \| \| \|	as necessary.
*	Merged in boschmitt/abc (pull request #26)	Alan Mishchenko	2016-05-19	1	-2/+2
\|\ \| \| \| \| \| \|	Fix the problem of not identifying divisors when its originating cubes had only 2 literals.
\| *	Merged alanmi/abc into default	Bruno Schmitt	2016-05-19	4	-2/+388
\| \|\
\| * \|	Fix the problem of not identifying divisors when its originating cubes had ↵	Bruno Schmitt	2016-05-19	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	only 2 literals. With this change, 'empty' sub-cubes (sub-cubes with an ID equal to zero) are inserted in the 0th bin of the hash table.
* \| \|	Improving SMT-LIB parser.	Alan Mishchenko	2016-05-19	1	-2/+2
\| \|/ \|/\|
* \|	New feature for area minimization in standard cell mapping.	Alan Mishchenko	2016-05-19	3	-1/+387
\| \|
* \|	fix end of line problem that prevents the cmake build system from working	Baruch Sterin	2016-05-17	1	-1/+1
\|/
*	Cosmetic changes after incorporating new code of 'fxch'.	Alan Mishchenko	2016-05-11	1	-1/+1
\|
*	Cosmetic changes after incorporating new code of 'fxch'.	Alan Mishchenko	2016-05-11	1	-2/+2
\|
*	Cosmetic changes after incorporating new code of 'fxch'.	Alan Mishchenko	2016-05-11	4	-47/+78
\|
*	Add a new module which implements the fast extract with cube hashing (fxch) ↵	Bruno Schmitt	2016-05-11	6	-0/+1945
\| \| \| \| \| \|	algorithm. Removes old partial implementation of this algorithm from the "pla" module.
*	New hierarchical TT NPN matching.	Alan Mishchenko	2016-02-26	2	-0/+144
\|
*	Re-doing the same change.	Alan Mishchenko	2016-02-15	1	-2/+2
\|
*	Temporarily undoing one of the recent changes.	Alan Mishchenko	2016-02-15	1	-2/+2
\|
*	Fixing the problem of identically named signals in 'retime'.	Alan Mishchenko	2016-02-05	2	-4/+4
\|
*	Making flop names after 'retime' more meaningful.	Alan Mishchenko	2016-02-03	2	-4/+6
\|
*	Small changes to sort for timing.	Alan Mishchenko	2016-01-24	1	-3/+7
\|
*	Adding support for delay/area tradeoff.	Alan Mishchenko	2016-01-13	3	-31/+53
\|
*	Consolidating timing manager Scl_Con_t and propagating changes.	Alan Mishchenko	2016-01-07	5	-26/+29
\|
*	Migrating to using 32-bit timing representation in &nf.	Alan Mishchenko	2016-01-05	1	-4/+4
\|
*	Migrating back to using 'float' in area-flow computation in &nf.	Alan Mishchenko	2016-01-05	1	-1/+1
\|
*	Improvements to timing optimization.	Alan Mishchenko	2015-11-11	3	-29/+63
\|
*	Extending and improving timing manager.	Alan Mishchenko	2015-11-08	1	-1/+2
\|
*	Extending and improving timing manager.	Alan Mishchenko	2015-11-08	2	-15/+43
\|
*	Extending and improving timing manager.	Alan Mishchenko	2015-11-08	3	-432/+21
\|
*	Extending and improving timing manager.	Alan Mishchenko	2015-11-08	6	-54/+576
\|
*	Improvements to storing and reusing simulation info.	Alan Mishchenko	2015-11-05	1	-21/+98
\|
*	Improvements to storing and reusing simulation info.	Alan Mishchenko	2015-11-05	4	-318/+89
\|
*	silence clang errors when compiling as C++	Baruch Sterin	2015-11-05	3	-21/+21
\|
*	Small fix in one procedure to make it compile.	Alan Mishchenko	2015-11-02	1	-1/+1
\|
*	Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ↵	Alan Mishchenko	2015-10-28	3	-14/+14
\| \| \| \|	warnings.
*	Merged in sterin/abc (pull request #13)	Alan Mishchenko	2015-10-28	6	-0/+4409
\|\ \| \| \| \| \| \|	Restoring Aaron Hurst's "fretime" command
\| *	Restoring Aaron Hurst's "fretime" command	Baruch Sterin	2015-10-28	6	-0/+4409
\| \|
* \|	Improvements in delay optimization.	Alan Mishchenko	2015-10-28	1	-20/+114
\|/
*	Enabling reverse topo order in area minimization.	Alan Mishchenko	2015-10-28	2	-43/+101
\|
*	Experiments with precomputation and matching.	Alan Mishchenko	2015-10-27	3	-10/+94
\|
*	Changes for delay-oriented computation.	Alan Mishchenko	2015-10-26	4	-130/+214
\|
*	Compiler warnings.	Alan Mishchenko	2015-10-25	1	-0/+11
\|
*	Extending library handling to 8 inputs.	Alan Mishchenko	2015-10-25	4	-71/+116
\|
*	Changes for delay-oriented computation.	Alan Mishchenko	2015-10-24	5	-39/+92
\|
*	Changes for delay-oriented computation.	Alan Mishchenko	2015-10-24	5	-108/+114
\|
*	Changes for delay-oriented computation.	Alan Mishchenko	2015-10-23	4	-118/+632
\|