iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
\| *	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
* \|	Fixes to make xSAT compile with old compilers.	Bruno Schmitt	2016-12-13	8	-136/+119
\|/
*	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
*	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
*	Commenting out bailout in 'print_cex' when CEX has latches initialized to 1.	Alan Mishchenko	2016-11-30	1	-1/+2
*	Small changes in handling arithmetic logic.	Alan Mishchenko	2016-11-30	2	-3/+18
*	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 command to profile arithmetic logic cones.	Alan Mishchenko	2016-11-26	6	-16/+282
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-26	7	-43/+821
*	Adding switch '-c' to generate only stuck-at faults in 'faultclasses -g'.	Alan Mishchenko	2016-11-22	2	-8/+14
*	Minor bug fixes.	Alan Mishchenko	2016-11-21	2	-2/+2
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-19	2	-65/+319
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-17	1	-15/+232
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-17	10	-1/+683
*	Fixed several compiler warnings.	Alan Mishchenko	2016-11-17	2	-23/+34
*	Merged alanmi/abc into default	Vinicius Callegaro	2016-11-16	5	-16/+1093
\|\
\| *	Renaming command 'detect' to be 'faultclasses'.	Alan Mishchenko	2016-11-10	2	-10/+12
\| *	Compiler warnings.	Alan Mishchenko	2016-11-09	1	-3/+0
\| *	Equivalent fault detection code.	Alan Mishchenko	2016-11-09	5	-9/+1087
* \|	Disjoint-support decomposition with cofactoring and boolean difference analysis	Vinicius Callegaro	2016-11-08	6	-2/+643
\|/