iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improvements to &fftest (adding computation of fixed parameters).	Alan Mishchenko	2014-11-02	1	-108/+206
\|
*	Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations.	Alan Mishchenko	2014-10-25	1	-1/+63
\|
*	Fix to the problem of not dumping test-vectors in &fftest when the ↵	Alan Mishchenko	2014-06-30	1	-1/+1
\| \| \| \|	use-specified test set is complete or when a timeout occurred.
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-0/+1
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-23	1	-106/+208
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-22	1	-17/+26
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-20	1	-8/+40
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-19	1	-25/+17
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-14	1	-47/+264
\|
*	Compiler warnings.	Alan Mishchenko	2014-04-01	1	-1/+1
\|
*	Adding switch to handle only single faults.	Alan Mishchenko	2014-04-01	1	-10/+86
\|
*	Adding functionally observable fault testing.	Alan Mishchenko	2014-03-31	1	-2/+2
\|
*	Adding functionally observable fault testing.	Alan Mishchenko	2014-03-31	1	-2/+64
\|
*	Adding a feature to dump untestable multiple faults.	Alan Mishchenko	2014-03-28	1	-8/+108
\|
*	Experiments with stuck-at fault testing.	Alan Mishchenko	2014-03-24	1	-37/+149
\|
*	Experiments with stuck-at fault testing.	Alan Mishchenko	2014-03-23	1	-12/+74
\|
*	Experiments with stuck-at fault testing.	Alan Mishchenko	2014-03-09	1	-7/+51
\|
*	Experiments with delay fault testing.	Alan Mishchenko	2014-03-05	1	-15/+96
\|
*	Experiments with delay fault testing.	Alan Mishchenko	2014-03-04	1	-0/+265