Loreon
Labs
Platform
Docs
Home
Ecosystems
OCaml
sail
Sail architecture definition language
OCaml
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
101mo ago
Recent commits
Latest commits.
work around bug in ocaml foreach generation -- end point not included in loop (see #8).
7cfbb69
Robert Norton
101mo ago
add a cp2_next_pc function to update cheri state in fde loop and a stub version for mips.
bfb7331
Robert Norton
101mo ago
add space in cap dump format to match that expected by test framework.
38ea40a
Robert Norton
101mo ago
cheri tests expect reserved permission bits to be initialised to one.
981f17b
Robert Norton
101mo ago
Cleanup intermediate bytecode representation in C backend
b7f806b
Alasdair Armstrong
101mo ago
Add support for read_tag and write_tag in sail_lib.ml. and support for intialising and dumping CHERI state. Somewhat working cheri sail2 model.
868ba4b
Robert Norton
101mo ago
fix typo in flow.sail
1d4ca0b
Robert Norton
101mo ago
cheri wip.
a14174b
Robert Norton
101mo ago
Top contributors
Builders behind this project.
kathryngray
766 commits
rmn30
420 commits
Alasdair
360 commits
kerneis
235 commits
bacam
223 commits
bauereiss
138 commits
PeterSewell
126 commits
cp526
86 commits
