iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Experiments with precomputation and matching.	Alan Mishchenko	2015-10-16	2	-38/+71
\|
*	Experiments with precomputation and matching.	Alan Mishchenko	2015-10-15	4	-2/+285
\|
*	Experiments with precomputation and matching.	Alan Mishchenko	2015-10-15	2	-103/+340
\|
*	Experiments with precomputation and matching.	Alan Mishchenko	2015-10-14	3	-48/+148
\|
*	Experiments with precomputation and matching.	Alan Mishchenko	2015-10-13	4	-83/+166
\|
*	Experiments with precomputation and matching.	Alan Mishchenko	2015-10-13	3	-50/+222
\|
*	Experiments with precomputation and matching.	Alan Mishchenko	2015-10-12	3	-64/+588
\|
*	Experiments with functional matching.	Alan Mishchenko	2015-10-09	1	-55/+132
\|
*	Experiments with functional matching.	Alan Mishchenko	2015-10-08	2	-180/+451
\|
*	Experiments with functional matching.	Alan Mishchenko	2015-10-05	3	-190/+271
\|
*	Experiments with functional matching.	Alan Mishchenko	2015-10-03	2	-0/+550
\|
*	Bug fix in 'print_supp' (induced bugs in 'bm' and 'bm2').	Alan Mishchenko	2015-04-24	1	-7/+7
\|
*	Bug fix for big-endiang architectures (plus adding -lm in Makefile).	Alan Mishchenko	2015-04-04	1	-1/+1
\|
*	Propagating changes after updating flag of 'sop'.	Alan Mishchenko	2015-02-19	1	-1/+1
\|
*	Adding resource limit switch -C to 'sop'.	Alan Mishchenko	2015-02-11	1	-1/+1
\|
*	Fixed a typo in variable names.	Alan Mishchenko	2015-02-07	1	-1/+1
\|
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-11	1	-1/+8
\|
*	Printout in mfs2.	Alan Mishchenko	2014-11-17	1	-2/+7
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-17	1	-2/+4
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-16	3	-10/+31
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-28	1	-1/+1
\|
*	Synchronizing packages.	Alan Mishchenko	2014-09-20	1	-1/+1
\|
*	Corner-case bug fix in balancing.	Alan Mishchenko	2014-09-08	1	-0/+2
\|
*	Adding delay optimization to synthesis script &syn2.	Alan Mishchenko	2014-08-08	1	-0/+2
\|
*	Updates and changes to several packages.	Alan Mishchenko	2014-07-20	3	-11/+90
\|
*	Small changes in several packages.	Alan Mishchenko	2014-07-18	1	-1/+2
\|
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	1	-1/+1
\|
*	Added delay-oriented balancing to unmapping in &st.	Alan Mishchenko	2014-06-19	1	-7/+207
\|
*	Removed obsolete code for sequential mapping.	Alan Mishchenko	2014-04-11	2	-2/+0
\|
*	Updating code to support barrier buffers.	Alan Mishchenko	2014-03-18	1	-9/+37
\|
*	Synchronizing with the recent version.	Alan Mishchenko	2014-03-16	1	-1/+1
\|
*	Synchronizing with the recent version.	Alan Mishchenko	2014-03-16	5	-23/+27
\|
*	Improvements to print-outs.	Alan Mishchenko	2014-03-10	2	-2/+2
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	2	-4/+11
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-27	1	-0/+1
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	2	-12/+22
\|
*	g++ compiler errors.	Alan Mishchenko	2014-02-25	3	-3/+12
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	1	-1/+1
\|
*	New canonical DSD form.	Alan Mishchenko	2013-12-02	1	-0/+660
\|
*	Adding switch to control the number of nodes tried in mfs2.	Alan Mishchenko	2013-11-14	3	-1/+4
\|
*	Compiler warnings.	Alan Mishchenko	2013-10-17	1	-0/+2
\|
*	Improvements to the canonical form computation.	Alan Mishchenko	2013-10-10	2	-0/+100
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-10	1	-2/+0
\|
*	Upgrading 'mfs2' to consider some nodes as having no level.	Alan Mishchenko	2013-10-09	3	-14/+19
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-09	1	-46/+269
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-09	1	-5/+11
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-09	1	-17/+53
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-15/+2
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	3	-1/+646
\|
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	2	-5/+16
\|