rems-project/sail
View on GitHub ↗ ★ 967 Sail
Sail architecture definition language
6 mentions on Hacker News by 6 people: 2 stories, 4 comments · first 2019-04-24 · latest 2026-03-23
20082026
-
…+, as long as the typing system can disambiguate the uses. The Sail DSL for ISA specification ( https://github.com/rems-project/sail ) does this, and it is nice.
comment by xgk · 2026-03-23 · in My first patch to the Linux kernel -
…generate C or OCaml emulators, and I have been working on a new Rust back-end recently. [1]: https://github.com/rems-project/sail [2]: https://github.com/riscv/sail-riscv
comment by charlycst · 2025-10-26 · in Writing a RISC-V Emulator in Rust -
…definitions, etc. We've recently updated the Sail README, which spells some of this out: https://github.com/rems-project/sail . As Alastair Reid says, one of the main things missing in the current RISC-V specification documents is simply…
comment by Peter_Sewell · 2024-04-28 · in How to improve the RISC-V specification -
…that intentionally support it. I use a niche DSL that has fancy types like this called Sail. https://github.com/rems-project/sail In my experience the downsides of these fancy "first class type systems" are 1. More incomprehensible error…
comment by timhh · 2024-02-24 · in Candy – a minimalistic functional programming language -
▲ 56
The Sail ISA specification languagestory by bryanrasmussen · 2020-08-11 · 15 comments
-
▲ 3
The Sail ISA Specification Languagestory by peter_d_sherman · 2019-04-24 · 1 comment