Sunset Tree

Package h-1.124

Information

versions1.70→ ··· →1.119→1.122→ 1.124 →1.125→ 1.126
descriptionMemory safety for the H interface
authorJoe Leslie-Hurd <joe@gilith.com>
licenseMIT
installed05:21:43 on Monday 19 October 2015

For more details see the package document.

Includes

  • h-def-1.117 — Definition of memory safety for the H interface
  • h-thm-1.119 — Proof of memory safety for the H interface