iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	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	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
*	Correcting API names for inputing/outputing MiniLut.	Alan Mishchenko	2016-12-23	1	-3/+3
*	Several changes in arithmetic circuit manipulation.	Alan Mishchenko	2016-12-22	7	-24/+426
*	Converting some errors into warnings.	Alan Mishchenko	2016-12-21	2	-3/+3
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	2	-4/+3
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	10	-116/+348
*	xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...	Bruno Schmitt	2016-12-12	14	-99/+3391
*	Improvements to GIA visualization.	Alan Mishchenko	2016-12-08	1	-1/+0
*	Improvements to GIA visualization.	Alan Mishchenko	2016-12-08	1	-265/+505
*	Adding support for minimalistic representation of LUT mapping.	Alan Mishchenko	2016-12-05	2	-1/+5
*	Bug fix in Liberty parser.	Alan Mishchenko	2016-12-05	1	-0/+4
*	Compiler warnings.	Alan Mishchenko	2016-12-05	3	-4/+4
*	Adding support for minimalistic representation of LUT mapping.	Alan Mishchenko	2016-12-05	6	-11/+496
*	New SAT-based optimization package.	Alan Mishchenko	2016-12-04	6	-39/+168
*	Analysis of arithmetic logic cones.	Alan Mishchenko	2016-12-04	6	-26/+366
*	New SAT-based optimization package.	Alan Mishchenko	2016-12-03	2	-123/+437