iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-14	9	-35/+201
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-14	10	-128/+215
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-13	5	-278/+326
\| *	Adding print-out of critical path for mapped AIGs to &show.	Alan Mishchenko	2017-01-13	4	-16/+365
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-13	3	-2/+65
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-12	8	-9/+534
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-11	9	-215/+350
\| *	Changing file naming in 'show' and '&show'.	Alan Mishchenko	2017-01-11	2	-9/+4
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-11	4	-31/+257
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-10	3	-4/+283
\| *	Updates to arithmetic verification.	Alan Mishchenko	2017-01-10	10	-53/+75
\| *	Updated to arithmetic verification.	Alan Mishchenko	2017-01-09	6	-66/+528
\| *	Delay-oriented performance improvement in &dch (make it conditional).	Alan Mishchenko	2017-01-09	1	-1/+2
\| *	Delay-oriented performance improvement in &dch.	Alan Mishchenko	2017-01-09	1	-2/+8
\| *	Bug fix in delay-opt framework.	Alan Mishchenko	2017-01-09	1	-1/+1
\| *	Change suggested by Udi Finkelstein.	Alan Mishchenko	2017-01-09	2	-40/+2
\| *	Bug fixes by Clifford Wolf.	Alan Mishchenko	2017-01-08	3	-4/+8
\| *	Bug fix in delay-opt framework.	Alan Mishchenko	2017-01-07	1	-4/+4
\| *	Adding an option to not add buffers to decouple COs driven by the same intern...	Alan Mishchenko	2017-01-07	1	-0/+7
\| *	Compiler warnings.	Alan Mishchenko	2017-01-07	8	-31/+31
\| *	Dealing wit COs driven by inverters in MiniLUT.	Alan Mishchenko	2017-01-06	1	-2/+38
\| *	Creating file name from design name for PDR invariant.	Alan Mishchenko	2017-01-06	1	-1/+2
\| *	Updates to delay optimization project.	Alan Mishchenko	2017-01-05	1	-15/+17
\| *	Adding two external APIs.	Alan Mishchenko	2017-01-05	1	-0/+2
\| *	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	2	-10/+10
\| *	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	1	-3/+20
\| *	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	1	-16/+16
\| *	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	1	-1/+1
\| *	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	1	-2/+4
\| *	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	8	-30/+272
\| *	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	5	-1/+472
\| *	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
\| *	Compiler warnings.	Alan Mishchenko	2017-01-01	1	-1/+1
\| *	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	6	-15/+15
\| *	Updates to delay optimization project.	Alan Mishchenko	2016-12-31	2	-0/+12
\| *	Updates to delay optimization project.	Alan Mishchenko	2016-12-31	9	-198/+446
\| *	Updates to delay optimization project.	Alan Mishchenko	2016-12-29	7	-153/+196
\| *	Updates to delay optimization project.	Alan Mishchenko	2016-12-29	4	-39/+332
\| *	Updates to delay optimization project.	Alan Mishchenko	2016-12-28	2	-107/+239
\| *	C++ compatibility fix.	Alan Mishchenko	2016-12-28	1	-0/+2
\| *	Updates to delay optimization project.	Alan Mishchenko	2016-12-27	3	-0/+622
\| *	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