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.