Sunset Tree

Package h-1.75

Information

versions1.70→ 1.75 →1.79→1.89→ ··· → 1.126
descriptionMemory safety for the H API
authorJoe Hurd <joe@gilith.com>
licenseMIT
installed04:25:37 on Monday 11 June 2012

For more details see the package document.

Includes

  • h-def-1.77 — Definition of memory safety for the H API
  • h-thm-1.80 — Proof of memory safety for the H API