| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 4 | logplain |
| -rw-r--r-- | Base.v | 216 | logplain |
| -rw-r--r-- | Hoare.v | 45129 | logplain |
| -rw-r--r-- | Impl_base.v | 40310 | logplain |
| -rw-r--r-- | Instr_kinds.v | 12942 | logplain |
| -rw-r--r-- | Makefile | 1148 | logplain |
| -rw-r--r-- | Operators.v | 9869 | logplain |
| -rw-r--r-- | Operators_bitlists.v | 6551 | logplain |
| -rw-r--r-- | Operators_mwords.v | 24934 | logplain |
| -rw-r--r-- | Prompt.v | 11867 | logplain |
| -rw-r--r-- | Prompt_monad.v | 17145 | logplain |
| -rw-r--r-- | Real.v | 2738 | logplain |
| -rw-r--r-- | State.v | 9299 | logplain |
| -rw-r--r-- | State_lemmas.v | 47031 | logplain |
| -rw-r--r-- | State_lifting.v | 3442 | logplain |
| -rw-r--r-- | State_monad.v | 15521 | logplain |
| -rw-r--r-- | State_monad_lemmas.v | 22488 | logplain |
| -rw-r--r-- | String.v | 7551 | logplain |
| -rw-r--r-- | Values.v | 97810 | logplain |
| -rw-r--r-- | Values_lemmas.v | 15812 | logplain |
| -rw-r--r-- | _CoqProject | 39 | logplain |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |