Ensure that scyther-proof compiles with GHC 7.6.2
meiersi opened this issue · comments
..and update README accordingly.
done
meiersi / scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
meiersi opened this issue · comments
..and update README accordingly.
done