Sunset Tree

Package h-1.94

Information

versions1.70→ ··· →1.79→1.89→ 1.94 →1.96→1.102→ ··· → 1.126
descriptionMemory safety for the H API
authorJoe Leslie-Hurd <joe@gilith.com>
licenseMIT
installed20:26:57 on Saturday 29 September 2012

For more details see the package document.

Includes

  • h-def-1.96 — Definition of memory safety for the H API
  • h-thm-1.99 — Proof of memory safety for the H API