iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-25	7	-63/+555
*	(1) Makefile: added a shared library target, (2) no longer compile the main f...	Baruch Sterin	2016-12-22	2	-1/+14
*	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	8	-24/+430
*	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	11	-116/+396
*	xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...	Bruno Schmitt	2016-12-12	15	-100/+3392
*	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	7	-11/+500
*	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
*	Changes to arithmetic logic detection.	Alan Mishchenko	2016-12-02	7	-59/+736