iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Experiments with simulation.	Alan Mishchenko	2014-03-14	1	-0/+1
\|
*	Experiments with simulation.	Alan Mishchenko	2014-03-14	2	-0/+309
\|
*	Improvements to print-outs.	Alan Mishchenko	2014-03-12	1	-1/+3
\|
*	Improvements to print-outs.	Alan Mishchenko	2014-03-11	1	-2/+19
\|
*	Improvements to print-outs.	Alan Mishchenko	2014-03-10	1	-0/+66
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-09	2	-0/+8
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-09	3	-8/+6
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-09	1	-18/+243
\|
*	Experiments with stuck-at fault testing.	Alan Mishchenko	2014-03-09	1	-6/+62
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	2	-21/+30
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	2	-7/+41
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	2	-3/+64
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	1	-9/+33
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	1	-6/+19
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	3	-1/+119
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	3	-240/+14
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	1	-75/+162
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-06	2	-5/+5
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-06	3	-8/+264
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-04	1	-11/+38
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-04	4	-162/+355
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-04	3	-44/+148
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-11/+11
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-6/+3
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-56/+56
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	5	-265/+468
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	6	-37/+190
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-27	5	-36/+340
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	4	-34/+265
\|
*	g++ compiler errors.	Alan Mishchenko	2014-02-25	1	-5/+3
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	3	-6/+10
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-19	3	-135/+239
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	8	-51/+819
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	4	-40/+35
\|
*	Removing unused LMS code.	Alan Mishchenko	2014-02-16	2	-30/+3
\|
*	Significant improvement to LUT mappers (if, &if).	Alan Mishchenko	2014-02-16	9	-753/+201
\|
*	Explanation for one assetion.	Alan Mishchenko	2013-11-26	1	-1/+1
\|
*	Structural mapper into structures.	Alan Mishchenko	2013-11-12	1	-0/+1
\|
*	Compiler warnings.	Alan Mishchenko	2013-10-30	2	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-10-30	3	-6/+6
\|
*	Extending truth table support in &jf for more than 6 inputs.	Alan Mishchenko	2013-10-10	1	-1/+1
\|
*	Preventing a bug in &if -z.	Alan Mishchenko	2013-10-09	1	-1/+1
\|
*	Compiler warning.	Alan Mishchenko	2013-10-05	1	-2/+2
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-2/+2
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-46/+250
\|
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	1	-1/+1
\|
*	Changes in specialized matching.	Alan Mishchenko	2013-10-01	2	-5/+4
\|
*	Changes in specialized matching.	Alan Mishchenko	2013-10-01	1	-19/+27
\|
*	Checking decomposability of 5-input functions.	Alan Mishchenko	2013-09-28	1	-1/+157
\|
*	Experiments with exact matching into LUT structures.	Alan Mishchenko	2013-09-23	2	-0/+49
\|