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 |
