iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	1	-2/+4
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	6	-17/+250
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-01	1	-1/+1
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-01	2	-30/+31
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-01	1	-1/+1
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-01	4	-1/+468
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-01	1	-1/+1
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-01	1	-0/+2
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-01	1	-1/+1
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-31	1	-1/+1
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-31	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2016-12-31	2	-6/+6
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-31	2	-0/+12
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-31	7	-181/+382
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-29	6	-151/+182
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-29	3	-38/+326
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-28	2	-107/+239
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-27	2	-0/+618
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-27	2	-3/+4
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-27	4	-48/+254
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-25	6	-63/+551
*	Adding support for minimalistic representation of LUT mapping.	Alan Mishchenko	2016-12-05	1	-1/+1
*	New SAT-based optimization package.	Alan Mishchenko	2016-12-04	4	-35/+159
*	Analysis of arithmetic logic cones.	Alan Mishchenko	2016-12-04	1	-5/+5
*	New SAT-based optimization package.	Alan Mishchenko	2016-12-03	2	-123/+437
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-30	1	-1/+1
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-30	2	-122/+485
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-28	4	-81/+491
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-27	2	-27/+376
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-26	4	-42/+663
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-19	1	-65/+311
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-17	1	-15/+232
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-17	8	-0/+650
*	Fixed several compiler warnings.	Alan Mishchenko	2016-11-17	1	-23/+22
*	Disjoint-support decomposition with cofactoring and boolean difference analysis	Vinicius Callegaro	2016-11-08	3	-0/+618
*	Adding switch &mfs -b to preserve white boxes during optimization.	Alan Mishchenko	2016-10-07	3	-2/+10
*	Small FXCH bug fix.	Bruno Schmitt	2016-10-07	1	-3/+9
*	Compiler warnings.	Alan Mishchenko	2016-09-30	1	-3/+3
*	Small bug fix in FXCH.	Bruno Schmitt	2016-08-18	1	-10/+10
*	Windows complier errors.	Alan Mishchenko	2016-08-06	1	-2/+2
*	Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)	Alan Mishchenko	2016-08-06	1	-14/+105
\|\
\| *	Return the class representative of each function.	Ana Petkovska	2016-06-18	1	-15/+59
\| *	Group based exact NPN classification.	Ana Petkovska	2016-06-18	1	-2/+49
* \|	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
\|/
*	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
\|\
\| *	Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment (SC...	Bruno Schmitt	2016-06-17	4	-128/+189
* \|	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