iCE40/abc - [no description]

	Commit message (Expand)	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 use-specif...	Alan Mishchenko	2014-06-30	1	-1/+1
*	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