iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Better CEX minimization and renaming of write_counter into write_cex.	Alan Mishchenko	2014-04-04	7	-14/+362
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	2	-2/+7
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	2	-2/+2
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	2	-2/+2
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	7	-47/+53
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	2	-6/+17
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	3	-8/+9
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	2	-3/+4
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-0/+1
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	3	-27/+37
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	5	-67/+106
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-02	4	-9/+17
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-02	3	-43/+57
\|
*	Improvements to DSD manager.	Alan Mishchenko	2014-04-02	1	-113/+113
\|
*	Improvements to DSD manager.	Alan Mishchenko	2014-04-02	2	-137/+227
\|
*	Compiler warnings.	Alan Mishchenko	2014-04-01	1	-1/+1
\|
*	Adding switch to handle only single faults.	Alan Mishchenko	2014-04-01	7	-24/+104
\|
*	Updating logic file print-out.	Alan Mishchenko	2014-03-31	1	-1/+3
\|
*	Compiler warnings.	Alan Mishchenko	2014-03-31	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-03-31	1	-9/+9
\|
*	Undoing previous change, which was made by mistake.	Alan Mishchenko	2014-03-31	3	-5/+5
\|
*	Making per-output timeout in bmc3 -a and pdr -a work in CLOCKS_PER_SECs ↵	Alan Mishchenko	2014-03-31	3	-5/+5
\| \| \| \|	instead of miliseconds.
*	Adding functionally observable fault testing.	Alan Mishchenko	2014-03-31	1	-2/+2
\|
*	Adding functionally observable fault testing.	Alan Mishchenko	2014-03-31	3	-5/+71
\|
*	Bug fix in the DSD manager writing and reading.	Alan Mishchenko	2014-03-31	1	-4/+6
\|
*	Improving cut computation.	Alan Mishchenko	2014-03-30	4	-13/+106
\|
*	Mismatch in bmc3 printout.	Alan Mishchenko	2014-03-30	1	-2/+2
\|
*	Adding new code to verify invariant derived by 'pdr'.	Alan Mishchenko	2014-03-30	3	-3/+87
\|
*	Improving cut computation.	Alan Mishchenko	2014-03-30	12	-503/+185
\|
*	Updating &if for new cut function representation.	Alan Mishchenko	2014-03-29	6	-16/+66
\|
*	Experiments with technology mapping.	Alan Mishchenko	2014-03-29	3	-15/+219
\|
*	Adding per-output logging to bmc3.	Alan Mishchenko	2014-03-29	3	-10/+28
\|
*	Bug in the old code.	Alan Mishchenko	2014-03-28	1	-23/+41
\|
*	Improving network visualization in show/&show.	Alan Mishchenko	2014-03-28	2	-3/+35
\|
*	Adding a feature to dump untestable multiple faults.	Alan Mishchenko	2014-03-28	2	-16/+124
\|
*	Ternary simulation for multi-output miters.	Alan Mishchenko	2014-03-28	3	-0/+129
\|
*	Experiments with stuck-at fault testing.	Alan Mishchenko	2014-03-24	2	-40/+168
\|
*	Integrating barrier buffers into the mapper.	Alan Mishchenko	2014-03-23	16	-1265/+945
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-23	2	-3/+3
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-23	3	-30/+32
\|
*	Experiments with stuck-at fault testing.	Alan Mishchenko	2014-03-23	2	-31/+105
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-15/+21
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-0/+17
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-30/+193
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-15/+15
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	3	-11/+22
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	8	-371/+1166
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-20	6	-277/+496
\|
*	Experiments with cut caching.	Alan Mishchenko	2014-03-20	6	-1/+130
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	3	-231/+233
\|