iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Merged alanmi/abc into default	Mathias Soeken	2016-10-26	9	-2/+458
\|\
\| *	Parser for JSON format.	Alan Mishchenko	2016-10-25	9	-2/+458
\| \|
* \|	Exact synthesis.	Mathias Soeken	2016-10-25	2	-8/+8
\|/
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	1	-2/+2
\|
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	1	-0/+420
\|
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	3	-7/+28
\|
*	Improving robustness of &b.	Alan Mishchenko	2016-10-15	1	-2/+2
\|
*	Memory leak in scl package.	Alan Mishchenko	2016-10-12	1	-0/+2
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2016-10-09	3	-64/+220
\|
*	Adding switch &mfs -b to preserve white boxes during optimization.	Alan Mishchenko	2016-10-07	5	-7/+19
\|
*	Small FXCH bug fix.	Bruno Schmitt	2016-10-07	1	-3/+9
\|
*	Change Verilog reader to take a string rather than file name.	Alan Mishchenko	2016-10-06	3	-8/+10
\|
*	Long standing bug fix in &mfs.	Alan Mishchenko	2016-10-06	1	-12/+18
\|
*	Adding module name when reading SMT-LIB from stdin.	Alan Mishchenko	2016-10-02	1	-1/+1
\|
*	Bug fix in SMT parser.	Alan Mishchenko	2016-10-02	1	-20/+12
\|
*	Bug fix in the SMT parser to address multi-argument operators and large ↵	Alan Mishchenko	2016-09-30	1	-2/+295
\| \| \| \|	constants.
*	Compiler warnings.	Alan Mishchenko	2016-09-30	2	-5/+5
\|
*	Merged alanmi/abc into default	Mathias Soeken	2016-09-29	5	-14/+31
\|\
\| *	Supporting 'define-fun' with an expression rather than a constant.	Alan Mishchenko	2016-09-29	1	-6/+19
\| \|
\| *	Adding flag 'pdr -e' to output only support variables in the invariant.	Alan Mishchenko	2016-09-28	4	-8/+12
\| \|
* \|	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	6	-0/+1374
\|\\|
\| *	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-05	3	-2/+3
\| \|
\| *	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-05	3	-0/+373
\| \|
\| *	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-03	2	-0/+1000
\| \|
* \|	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	3	-26/+34
\| \|
* \|	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
\| \|
* \|	Merged alanmi/abc into default	Mathias Soeken	2016-08-21	8	-42/+148
\|\\|
\| *	Merged in boschmitt/abc (pull request #39)	Alan Mishchenko	2016-08-19	1	-10/+10
\| \|\ \| \| \| \| \| \| \| \| \|	Small bug fix in FXCH.
\| \| *	Small bug fix in FXCH.	Bruno Schmitt	2016-08-18	1	-10/+10
\| \| \|