iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Updates to delay optimization project.	Alan Mishchenko	2017-01-02	1	-13/+18
\|
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-31	1	-2/+26
\|
*	Updates to delay optimization project.	Alan Mishchenko	2016-12-29	1	-2/+14
\|
*	Several changes in arithmetic circuit manipulation.	Alan Mishchenko	2016-12-22	1	-4/+8
\|
*	Converting some errors into warnings.	Alan Mishchenko	2016-12-21	2	-3/+3
\|
*	xSAT is an experimental SAT Solver based on Glucose v3(see Glucose ↵	Bruno Schmitt	2016-12-12	1	-99/+240
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	copyrights below) and ABC C version of MiniSat (bsat) developed by Niklas Sorensson and modified by Alan Mishchenko. It’s development has reached sufficient maturity to be committed in ABC, but still in a beta state. TODO: * Read compressed CNF files. * Study the use of floating point for variables and clauses activity. * Better documentation. * Improve verbose messages. * Expose parameters for tuning.
*	Compiler warnings.	Alan Mishchenko	2016-12-05	1	-1/+1
\|
*	Adding support for minimalistic representation of LUT mapping.	Alan Mishchenko	2016-12-05	1	-10/+22
\|
*	New SAT-based optimization package.	Alan Mishchenko	2016-12-04	1	-3/+8
\|
*	Analysis of arithmetic logic cones.	Alan Mishchenko	2016-12-04	1	-3/+10
\|
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-26	1	-0/+129
\|
*	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	1	-1/+1
\|
*	Merged alanmi/abc into default	Vinicius Callegaro	2016-11-16	2	-16/+1088
\|\
\| *	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	2	-9/+1082
\| \|
* \|	Disjoint-support decomposition with cofactoring and boolean difference analysis	Vinicius Callegaro	2016-11-08	2	-1/+24
\|/ \| \| \| \|	from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.
*	Exact synthesis.	Mathias Soeken	2016-10-29	1	-1/+1
\|
*	Exact synthesis.	Mathias Soeken	2016-10-26	1	-0/+15
\|
*	Exact synthesis.	Mathias Soeken	2016-10-26	1	-2/+14
\|
*	Exact synthesis.	Mathias Soeken	2016-10-25	2	-8/+8
\|
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	1	-4/+18
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2016-10-09	1	-26/+56
\|
*	Adding switch &mfs -b to preserve white boxes during optimization.	Alan Mishchenko	2016-10-07	1	-2/+6
\|
*	Compiler warnings.	Alan Mishchenko	2016-09-30	1	-2/+2
\|
*	Merged alanmi/abc into default	Mathias Soeken	2016-09-29	1	-2/+6
\|\
\| *	Adding flag 'pdr -e' to output only support variables in the invariant.	Alan Mishchenko	2016-09-28	1	-2/+6
\| \|
* \|	Some fixes in BMS.	Mathias Soeken	2016-09-14	1	-9/+13
\| \|
* \|	New search strategy in BMS.	Mathias Soeken	2016-09-14	1	-98/+101
\| \|
* \|	Updates to BMS.	Mathias Soeken	2016-09-10	1	-72/+90
\| \|
* \|	Fix in BMS.	Mathias Soeken	2016-09-09	1	-0/+5
\| \|
* \|	Fixes in BMS.	Mathias Soeken	2016-09-09	1	-7/+9
\| \|
* \|	Missing case in BMS.	Mathias Soeken	2016-09-09	1	-1/+4
\| \|
* \|	Improvements to BMS.	Mathias Soeken	2016-09-09	1	-73/+164
\| \|
* \|	Merged alanmi/abc into default	Mathias Soeken	2016-09-09	1	-0/+53
\|\\|
\| *	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-05	1	-0/+53
\| \|
* \|	Improvements to BMS.	Mathias Soeken	2016-08-29	1	-62/+211
\| \|
* \|	Improvements to BMS.	Mathias Soeken	2016-08-29	1	-1/+55
\| \|
* \|	Symmetric variables in BMS.	Mathias Soeken	2016-08-28	1	-4/+7
\| \|
* \|	Improvements to BMS.	Mathias Soeken	2016-08-26	1	-16/+224
\| \|
* \|	BMS fixes and start gates parameter.	Mathias Soeken	2016-08-25	2	-25/+33
\| \|
* \|	Fix errors in BMS.	Mathias Soeken	2016-08-24	1	-12/+14
\| \|
* \|	Improvements to BMS.	Mathias Soeken	2016-08-24	1	-52/+110
\| \|
* \|	Improvements to BMS.	Mathias Soeken	2016-08-24	1	-169/+410
\| \|
* \|	Merged alanmi/abc into default	Mathias Soeken	2016-08-24	2	-3/+3
\|\\|
\| *	Fix compile errors when using namespace with clang.	Mathias Soeken	2016-08-19	2	-3/+3
\| \|
* \|	BMS: Store I/O, better implications to stop search.	Mathias Soeken	2016-08-22	1	-64/+243
\| \|
* \|	BMS: restart solver instead of re-allocating it.	Mathias Soeken	2016-08-21	1	-34/+44
\| \|
* \|	More logging in exact synthesis.	Mathias Soeken	2016-08-21	1	-56/+110
\| \|