Keccak variant data

This dataset contains all data referring to the Keccak implementation used in the optimized variant of Elephant.
Specifically, it contains:

The source code after being processed by CIL
The CIL code after being manually processed further
The while+ code after being transformed from CIL
The while+ code, after being manually processed further
The annotated program resulting from the first pass derivation rules being applied on the while+ code
The annotated programs resulting from the second pass derivation rules being applied on the results of the first pass
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.

This new version contains files that were previously missing.