iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
* \|	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
* \|	Merged alanmi/abc into default	Mathias Soeken	2016-08-21	1	-6/+18
\|\\|
\| *	Merge with parent.	Mathias Soeken	2016-08-18	1	-3/+3
\| \|\
\| \| *	Changes to report quantum cost in Exorcism.	Alan Mishchenko	2016-08-17	1	-2/+2
\| * \|	Missing code for CLI integration.	Mathias Soeken	2016-08-16	1	-2/+2
\| * \|	Provide number of max cubes as parameter.	Mathias Soeken	2016-08-16	1	-4/+16
\| \|/
* \|	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	1	-4/+8
\|\\|
\| *	Changes to report quantum cost in Exorcism.	Alan Mishchenko	2016-08-15	1	-4/+8
* \|	Exact synthesis (revert one change).	Mathias Soeken	2016-08-09	1	-1/+1
* \|	Exact synthesis.	Mathias Soeken	2016-08-09	2	-23/+105
* \|	Small change in exact synthesis.	Mathias Soeken	2016-08-08	1	-1/+1
* \|	Resource constraints in exact synthesis, arrival times in exact command.	Mathias Soeken	2016-08-08	2	-39/+94
\|/
*	Improvements in exact synthesis.	Mathias Soeken	2016-08-08	2	-63/+86
*	Bugfixes in exact synthesis.	Mathias Soeken	2016-08-08	1	-20/+60
*	Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)	Alan Mishchenko	2016-08-06	1	-5/+6
\|\
\| *	Return the class representative of each function.	Ana Petkovska	2016-06-18	1	-3/+3
\| *	Group based exact NPN classification.	Ana Petkovska	2016-06-18	1	-2/+3
* \|	Fix some warnings.	Alan Mishchenko	2016-08-05	1	-2/+2
* \|	Fix some warnings.	Alan Mishchenko	2016-08-05	1	-9/+10
* \|	Handling constant and buffer cut in exact synthesis.	Alan Mishchenko	2016-08-05	2	-7/+23
* \|	Updates to arithmetic verification.	Alan Mishchenko	2016-08-05	1	-1/+1
* \|	Read and write to exact store.	Mathias Soeken	2016-08-04	2	-21/+181
* \|	Exact synthesis minimization.	Mathias Soeken	2016-08-04	2	-42/+209
* \|	Update from parent.	Mathias Soeken	2016-08-03	1	-0/+1
\|\ \
\| * \|	Bug in 'dump_equiv -n'.	Alan Mishchenko	2016-08-02	1	-0/+1
* \| \|	Free memory.	Mathias Soeken	2016-08-03	1	-0/+2
\|/ /
* \|	Tests and bug fixes for exact store manager.	Mathias Soeken	2016-08-02	2	-30/+50