Sunset Tree

Package h-1.104

Information

versions1.70→ ··· →1.96→1.102→ 1.104 →1.109→1.111→ ··· → 1.126
descriptionMemory safety for the H interface
authorJoe Leslie-Hurd <joe@gilith.com>
licenseMIT
installed00:03:11 on Sunday 2 December 2012

For more details see the package document.

Includes

  • h-def-1.105 — Definition of memory safety for the H interface
  • h-thm-1.107 — Proof of memory safety for the H interface