| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 4 | logplain |
| -rw-r--r-- | Hoare.v | 45155 | logplain |
| -rw-r--r-- | Makefile | 723 | logplain |
| -rw-r--r-- | Sail2_impl_base.v | 40311 | logplain |
| -rw-r--r-- | Sail2_instr_kinds.v | 12942 | logplain |
| -rw-r--r-- | Sail2_operators.v | 9870 | logplain |
| -rw-r--r-- | Sail2_operators_bitlists.v | 6553 | logplain |
| -rw-r--r-- | Sail2_operators_mwords.v | 24938 | logplain |
| -rw-r--r-- | Sail2_prompt.v | 11903 | logplain |
| -rw-r--r-- | Sail2_prompt_monad.v | 17147 | logplain |
| -rw-r--r-- | Sail2_real.v | 2739 | logplain |
| -rw-r--r-- | Sail2_state.v | 9337 | logplain |
| -rw-r--r-- | Sail2_state_lemmas.v | 47044 | logplain |
| -rw-r--r-- | Sail2_state_lifting.v | 3446 | logplain |
| -rw-r--r-- | Sail2_state_monad.v | 15523 | logplain |
| -rw-r--r-- | Sail2_state_monad_lemmas.v | 22492 | logplain |
| -rw-r--r-- | Sail2_string.v | 7552 | logplain |
| -rw-r--r-- | Sail2_values.v | 97146 | logplain |
| -rw-r--r-- | Sail2_values_lemmas.v | 15812 | logplain |
| -rw-r--r-- | _CoqProject | 39 | logplain |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |