Issues

• Lacking .gitmodules file

  project-oak/hafnium-verification#76 · Filter by author alxest opened on Feb 12, 2020

• How to relate abstract and concrete execution

  project-oak/hafnium-verification#43 · Filter by author hkim15 opened on Jul 26, 2019
  

• Change size_t representation in Coq model

  project-oak/hafnium-verification#42 · Filter by author jadephilipoom opened on Jul 25, 2019
  

• Add CI (& bors)

  project-oak/hafnium-verification#39 · Filter by author jeehoonkang opened on Jul 23, 2019
  1

• Change names of address variables from "a" to "addr"

  project-oak/hafnium-verification#37 · Filter by author jadephilipoom opened on Jul 22, 2019
  1

• Consider making different naming rules for variables and types

  project-oak/hafnium-verification#24 · Filter by author hkim15 opened on Jul 8, 2019
  2

• A few related work on OS verification

  project-oak/hafnium-verification#5 · Filter by author jeehoonkang opened on Jul 1, 2019
  1

• When to enable memory pool locks

  project-oak/hafnium-verification#4 · Filter by author hkim15 opened on Jun 29, 2019

• Add more information in the top-level README.md

  project-oak/hafnium-verification#3 · Filter by author hkim15 opened on Jun 28, 2019