https://github.com/jomaa/MIMIC
Tip revision: 777d8e0b875969c28e8bee472f8a4ed42fca1ba2 authored by narjes on 10 May 2017, 15:20:17 UTC
Add an example of boot and clean some proofs
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 |