https://github.com/jomaa/MIMIC
History
Tip revision: 777d8e0b875969c28e8bee472f8a4ed42fca1ba2 authored by narjes on 10 May 2017, 15:20:17 UTC
Add an example of boot and clean some proofs
Tip revision: 777d8e0
File Mode Size
Access.v -rw-r--r-- 7.0 KB
Access_invariant.v -rw-r--r-- 68.7 KB
Addpte_invariant.v -rw-r--r-- 81.3 KB
Alloc_invariants.v -rw-r--r-- 8.6 KB
Example.v -rw-r--r-- 8.5 KB
Extraction.v -rw-r--r-- 2.6 KB
HMonad.v -rw-r--r-- 9.9 KB
Instructions.v -rw-r--r-- 10.9 KB
Instructions_invariants.v -rw-r--r-- 5.6 KB
LICENSE -rw-r--r-- 21.3 KB
Lib.v -rw-r--r-- 23.8 KB
LibOs.v -rw-r--r-- 6.0 KB
MMU.v -rw-r--r-- 11.9 KB
MMU_invariant.v -rw-r--r-- 15.7 KB
Makefile -rw-r--r-- 9.2 KB
MemoryManager.v -rw-r--r-- 9.7 KB
PageTableManager.v -rw-r--r-- 14.5 KB
ProcessManager.v -rw-r--r-- 7.2 KB
ProcessManager_invariant.v -rw-r--r-- 36.5 KB
Properties.v -rw-r--r-- 5.9 KB
README.md -rw-r--r-- 1.7 KB
Removepte_invariant.v -rw-r--r-- 168.3 KB
Scheduler.v -rw-r--r-- 6.9 KB
Scheduler_invariant.v -rw-r--r-- 17.3 KB
StateMonad.v -rw-r--r-- 9.5 KB
Step.v -rw-r--r-- 3.8 KB
Step_invariant.v -rw-r--r-- 4.1 KB
_CoqProject -rw-r--r-- 419 bytes

README.md

back to top