| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 1447 | logplain |
| -rw-r--r-- | aarch64_regfp.sail | 22294 | logplain |
| -rw-r--r-- | armV8.h.sail | 7731 | logplain |
| -rw-r--r-- | armV8.lem | 4736328 | logplain |
| -rw-r--r-- | armV8.ml | 5146814 | logplain |
| -rw-r--r-- | armV8.sail | 88705 | logplain |
| -rw-r--r-- | armV8_A32_sys_regs.sail | 3385 | logplain |
| -rw-r--r-- | armV8_A64_lib.sail | 35033 | logplain |
| -rw-r--r-- | armV8_A64_special_purpose_regs.sail | 3982 | logplain |
| -rw-r--r-- | armV8_A64_sys_regs.sail | 7787 | logplain |
| -rw-r--r-- | armV8_common_lib.sail | 36288 | logplain |
| -rw-r--r-- | armV8_embed.lem | 230394 | logplain |
| -rw-r--r-- | armV8_embed_sequential.lem | 230404 | logplain |
| -rw-r--r-- | armV8_embed_types.lem | 18538 | logplain |
| -rw-r--r-- | armV8_extras.lem | 3684 | logplain |
| -rw-r--r-- | armV8_extras_embed.lem | 2885 | logplain |
| -rw-r--r-- | armV8_extras_embed_sequential.lem | 2884 | logplain |
| -rw-r--r-- | armV8_lib.h.sail | 10800 | logplain |
| -rw-r--r-- | armV8_pstate.sail | 6992 | logplain |
| -rw-r--r-- | armV8_toFromInterp.lem | 56460 | logplain |
| d--------- | gen | 834 | logplain |
| -rw-r--r-- | prelude.sail | 3658 | logplain |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |
path: root/aarch64_small