Sunset Tree

Package h-1.109

Information

versions1.70→ ··· →1.102→1.104→ 1.109 →1.111→1.112→ ··· → 1.126
descriptionMemory safety for the H interface
authorJoe Leslie-Hurd <joe@gilith.com>
licenseMIT
installed20:58:18 on Tuesday 10 December 2013

For more details see the package document.

Includes

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