[Hol-checkins] [HOL-Theorem-Prover/HOL] c03183: Add CHERI model under L3 examples.

[GitHub <no...@gi...>]

  Branch: refs/heads/master
  Home:   https://github.com/HOL-Theorem-Prover/HOL
  Commit: c0318330ee22a33b3146060e647dd4f803d4cb4f
      https://github.com/HOL-Theorem-Prover/HOL/commit/c0318330ee22a33b3146060e647dd4f803d4cb4f
  Author: Anthony Fox <ant...@cl...>
  Date:   2014-11-25 (Tue, 25 Nov 2014)

  Changed paths:
    A examples/l3-machine-code/cheri/Holmakefile
    A examples/l3-machine-code/cheri/cheriScript.sml

  Log Message:
  -----------
  Add CHERI model under L3 examples.

CHERI is MIPS with capability extensions. See

http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/