Keccak reference data

This dataset contains all data referring to the Keccak implementation used in the reference implementation 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.