Searched +path:spec +path:take-grant (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/l4v/spec/take-grant/ | ||
| H A D | Confine_S.thy | |
| H A D | Example.thy | |
| H A D | Example2.thy | |
| H A D | Islands_S.thy | |
| H A D | Isolation_S.thy | |
| H A D | README.md | |
| H A D | System_S.thy | |
Completed in 31 milliseconds