eab469192c
Previously the code did not handle equivalence classes, which consist only of one instruction (length 1). As these classes for example come up at two consecutive read instructions, we have to handle them. Change-Id: Ib9e475a782828a380dfc79f5b390ca9192f4b8e3
This is an import of the old danceos svn repository. The Fail* development started with rev 187, but this git import only contains revisions 956 and newer due to directory structure changes. Imported from external gitsvn checkout. http://www.kernel.org/pub/software/scm/git/docs/howto/using-merge-subtree.html