Daniel King

Fix unreachable return statements.

2

This fixes #81 where some return statements that were generated unconditionally, leading to unreachable return statements.

Libkeccak has grown to be a fairly large library with several cryptographic constructions, and the relationships between the modules are not immediately obvious without knowledge of the underlying cryptography. Documentation...

Missing zlib1.dll for gnatprove-11.2.0-3 on Windows

5

With gnatprove-11.2.0-3 (obtained via Alire), the alt-ergo prover does not work on Windows 10 due to a missing zlib1.dll. The following error appears when running `gnatprove --version`:  Here is...