v0.12.0

Release Notes:

• Add new benchmarking flow
• Add SHA2 example code
• Add emulated data load/store performance counters to Verilator environment
• Add easier way to capture simulated program stdout
• Modify #68, making xc.bop a 3 operand instruction rather than just two
• Fix #71 "Encoding fixes needed for multi-precision instructions".
  • This fix requires a re-build of binutils and associated XCrypto software due to encoding changes.
• Switch to centralised LaTeX submodule for bibliography and notation.

Known Issues:

• Proofs for packed multiply instructions xc.pmul.h and xc.pmul.l timeout with no counter examples found.
• Proofs for xc.mmul.3 multiply instruction times out with no counter examples found.
• Protocols proof fails due to lack of fairness assumptions about memory stalling and cpu response acceptance.