iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Bug fix in the SMT parser to address multi-argument operators and large const...	Alan Mishchenko	2016-09-30	1	-2/+295
*	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	7	-0/+1386
\|\\|
\| *	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-05	3	-2/+3
\| *	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-05	4	-0/+377
\| *	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-03	3	-0/+1008
* \|	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.	Bruno Schmitt	2016-08-18	1	-10/+10
\| * \|	Merge with parent.	Mathias Soeken	2016-08-18	7	-24/+79
\| \|\\|
\| \| *	Changes to report quantum cost in Exorcism.	Alan Mishchenko	2016-08-17	7	-23/+78
\| * \|	Missing code for CLI integration.	Mathias Soeken	2016-08-16	1	-2/+2
\| * \|	Functions to compute T-count.	Mathias Soeken	2016-08-16	1	-0/+37
\| * \|	Provide number of max cubes as parameter.	Mathias Soeken	2016-08-16	3	-7/+21
\| * \|	Don't output if not verbose.	Mathias Soeken	2016-08-16	1	-2/+2
\| \|/
* \|	Used wrong truth table function in exact synthesis.	Mathias Soeken	2016-08-16	1	-3/+3
* \|	Merged alanmi/abc into default	Mathias Soeken	2016-08-16	1	-0/+1
\|\\|
\| *	Fix compiler problems by #including the header from FXCH package.	Alan Mishchenko	2016-08-16	1	-0/+1
* \|	Fixes to exact synthesis.	Mathias Soeken	2016-08-15	1	-26/+51
* \|	Merged alanmi/abc into default	Mathias Soeken	2016-08-15	7	-17/+115
\|\\|
\| *	Changes to report quantum cost in Exorcism.	Alan Mishchenko	2016-08-15	6	-11/+102
\| *	Bug fix in 'edge -m'.	Alan Mishchenko	2016-08-10	1	-6/+13
* \|	Exact synthesis (revert one change).	Mathias Soeken	2016-08-09	1	-1/+1
* \|	Merge with parent.	Mathias Soeken	2016-08-09	4	-7/+71
\|\ \
\| * \|	Merged alanmi/abc into default	Mathias Soeken	2016-08-09	4	-7/+71
\| \|\\|
\| \| *	Adding truth table occurrence counters for 'if -c'.	Alan Mishchenko	2016-08-08	3	-0/+14
\| \| *	Enabled progress bar in the 'if' mapper (warning).	Alan Mishchenko	2016-08-08	1	-1/+1