Sunset Tree

Package h-1.89

Information

versions1.70→1.75→1.79→ 1.89 →1.94→1.96→ ··· → 1.126
descriptionMemory safety for the H API
authorJoe Hurd <joe@gilith.com>
licenseMIT
installed07:41:28 on Thursday 16 August 2012

For more details see the package document.

Includes

  • h-def-1.92 — Definition of memory safety for the H API
  • h-thm-1.95 — Proof of memory safety for the H API