This is stars and forks stats for /sifive/RiscvSpecFormal repository. As of 30 Apr, 2024 this repository has 72 stars and 7 forks.
Formal Specification of RISC-V ISA in Kami Table of Contents 1. Organization 1.1. FuncUnits directory 1.2. Top-level directory and files This project gives the formal specification of RISC-V ISA in Kami. In particular, it gives the semantics for RV32GC and RV64GC ISAs with User-mode, Supervisor-mode and Machine-mode instructions and the Zam extension (unaligned atomics). Installation instructions are available in INSTALL.adoc. 1. Organization The semantics are organized into two parts, the ProcKami/FuncUnits directory,...
Formal Specification of RISC-V ISA in Kami Table of Contents 1. Organization 1.1. FuncUnits directory 1.2. Top-level directory and files This project gives the formal specification of RISC-V ISA in Kami. In particular, it gives the semantics for RV32GC and RV64GC ISAs with User-mode, Supervisor-mode and Machine-mode instructions and the Zam extension (unaligned atomics). Installation instructions are available in INSTALL.adoc. 1. Organization The semantics are organized into two parts, the ProcKami/FuncUnits directory,...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| AidanDelaney/Mira | Haskell | 4 | 0 | 3 | 0 |
| digital-asset/ghc | HaskellCMakefile | 9 | 0 | 4 | 0 |
| memes/terraform-google-secret-manager | HCLMakefileRuby | 4 | 0 | 10 | 0 |
| MicrosoftLearning/mslearn-dp100 | Jupyter NotebookShell | 599 | 0 | 639 | 0 |
| square/okio | KotlinJavaShell | 8.5k | 0 | 1.2k | 0 |
| GStreamer/common | M4PerlMakefile | 8 | 0 | 12 | 0 |
| sifive/freedom-launcher | M4ShellMakefile | 0 | 0 | 1 | 0 |
| rancher/partner-charts | SmartyMustacheShell | 40 | 0 | 151 | 0 |
| AutonomyLab/autonomylab.github.com | TeXHTMLCSS | 0 | 0 | 1 | 0 |
| 7kms/react-illustration-series | TypeScriptJavaScriptShell | 6.8k | +16 | 728 | 0 |