iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix mismatch in output formatting.	Alan Mishchenko	2017-01-21	5	-16/+16
*	Small fixes and a change to &cec to allow two files names given as command-li...	Alan Mishchenko	2017-01-21	4	-52/+101
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-19	3	-24/+90
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-16	5	-30/+55
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-15	12	-27/+501
*	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	7	-9/+530
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-11	8	-215/+346
*	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	9	-53/+71
*	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	7	-30/+268
*	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
*	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