|
|
|
|
|
|
by IshKebab
1054 days ago
|
|
|
Basically yes, but with the goal being semantic correctness rather than performance. Seems to be similar to the official Sail model but F# instead of Sail. Kind of funny since Sail can already compile to OCaml - probably wouldn't be too hard to add a F# backend. Then again, more independent implementations are always nice to have. Would be interesting to know their motivation for this. Edit: actually this looks like it has been dead for 3 years so maybe it was just a precursor to the Sail model. https://github.com/riscv/sail-riscv |
|
|