Keccak variant data

<p>This dataset contains all data referring to the Keccak implementation used in the optimized variant of Elephant.</p><p>Specifically, it contains:</p><ul><li>The source code after being processed by CIL</li><li>The CIL code after being manually processed further</li><li>The while+ code after being transformed from CIL</li><li>The while+ code, after being manually processed further</li><li>The annotated program resulting from the first pass derivation rules being applied on the while+ code</li><li>The annotated programs resulting from the second pass derivation rules being applied on the results of the first pass</li></ul><p>Note that the second pass derivation trees also contain a small amount of natural language, to explain what is being done, apart from simply applying the derivation rules.</p><p>&nbsp;</p><p>This new version contains files that were previously missing.</p>