René's URL Explorer Experiment


Title: GitHub - rems-project/sail: Sail architecture definition language

Open Graph Title: GitHub - rems-project/sail: Sail architecture definition language

X Title: GitHub - rems-project/sail: Sail architecture definition language

Description: Sail architecture definition language. Contribute to rems-project/sail development by creating an account on GitHub.

Open Graph Description: Sail architecture definition language. Contribute to rems-project/sail development by creating an account on GitHub.

X Description: Sail architecture definition language. Contribute to rems-project/sail development by creating an account on GitHub.

Opengraph URL: https://github.com/rems-project/sail

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:c320c411-7084-5b43-6e5a-f54d29f8b943
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idC826:AF44B:19B970:215561:698D373B
html-safe-noncee29db449075896d9fd9afb8c7b865b75212a5b0e1b0f6e09ba223ce95d03ab5c
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDODI2OkFGNDRCOjE5Qjk3MDoyMTU1NjE6Njk4RDM3M0IiLCJ2aXNpdG9yX2lkIjoiNzMxNTA3NzYwMTgzMDk3NTI5MiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac192c08ea0dc190c4e7caac44be812ac2436d0456b0ffbd353e38f47f4299ff4c
hovercard-subject-tagrepository:119706050
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/rems-project/sail
twitter:imagehttps://opengraph.githubassets.com/b8a5fdad8608ef45db5d000012802dc53186bff20cb9f344b20616a3b7adb596/rems-project/sail
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/b8a5fdad8608ef45db5d000012802dc53186bff20cb9f344b20616a3b7adb596/rems-project/sail
og:image:altSail architecture definition language. Contribute to rems-project/sail development by creating an account on GitHub.
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonec0818105fa276287e9369cfdefa0a0fa7953719791ceff9b94d69623c0a4fe8a
turbo-cache-controlno-preview
go-importgithub.com/rems-project/sail git https://github.com/rems-project/sail.git
octolytics-dimension-user_id35805581
octolytics-dimension-user_loginrems-project
octolytics-dimension-repository_id119706050
octolytics-dimension-repository_nworems-project/sail
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id119706050
octolytics-dimension-repository_network_root_nworems-project/sail
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasebc912d4349851e5f32c76bbb213754e40947d7a6
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/rems-project/sail#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Frems-project%2Fsail
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Frems-project%2Fsail
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=rems-project%2Fsail
Reloadhttps://patch-diff.githubusercontent.com/rems-project/sail
Reloadhttps://patch-diff.githubusercontent.com/rems-project/sail
Reloadhttps://patch-diff.githubusercontent.com/rems-project/sail
rems-project https://patch-diff.githubusercontent.com/rems-project
sailhttps://patch-diff.githubusercontent.com/rems-project/sail
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Frems-project%2Fsail
Fork 146 https://patch-diff.githubusercontent.com/login?return_to=%2Frems-project%2Fsail
Star 841 https://patch-diff.githubusercontent.com/login?return_to=%2Frems-project%2Fsail
View license https://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/LICENSE
841 stars https://patch-diff.githubusercontent.com/rems-project/sail/stargazers
146 forks https://patch-diff.githubusercontent.com/rems-project/sail/forks
Branches https://patch-diff.githubusercontent.com/rems-project/sail/branches
Tags https://patch-diff.githubusercontent.com/rems-project/sail/tags
Activity https://patch-diff.githubusercontent.com/rems-project/sail/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2Frems-project%2Fsail
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Frems-project%2Fsail
Code https://patch-diff.githubusercontent.com/rems-project/sail
Issues 250 https://patch-diff.githubusercontent.com/rems-project/sail/issues
Pull requests 36 https://patch-diff.githubusercontent.com/rems-project/sail/pulls
Discussions https://patch-diff.githubusercontent.com/rems-project/sail/discussions
Actions https://patch-diff.githubusercontent.com/rems-project/sail/actions
Projects 0 https://patch-diff.githubusercontent.com/rems-project/sail/projects
Wiki https://patch-diff.githubusercontent.com/rems-project/sail/wiki
Security 0 https://patch-diff.githubusercontent.com/rems-project/sail/security
Insights https://patch-diff.githubusercontent.com/rems-project/sail/pulse
Code https://patch-diff.githubusercontent.com/rems-project/sail
Issues https://patch-diff.githubusercontent.com/rems-project/sail/issues
Pull requests https://patch-diff.githubusercontent.com/rems-project/sail/pulls
Discussions https://patch-diff.githubusercontent.com/rems-project/sail/discussions
Actions https://patch-diff.githubusercontent.com/rems-project/sail/actions
Projects https://patch-diff.githubusercontent.com/rems-project/sail/projects
Wiki https://patch-diff.githubusercontent.com/rems-project/sail/wiki
Security https://patch-diff.githubusercontent.com/rems-project/sail/security
Insights https://patch-diff.githubusercontent.com/rems-project/sail/pulse
Brancheshttps://patch-diff.githubusercontent.com/rems-project/sail/branches
Tagshttps://patch-diff.githubusercontent.com/rems-project/sail/tags
https://patch-diff.githubusercontent.com/rems-project/sail/branches
https://patch-diff.githubusercontent.com/rems-project/sail/tags
6,515 Commitshttps://patch-diff.githubusercontent.com/rems-project/sail/commits/sail2/
https://patch-diff.githubusercontent.com/rems-project/sail/commits/sail2/
.github/workflowshttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/.github/workflows
.github/workflowshttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/.github/workflows
aarch64https://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/aarch64
aarch64https://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/aarch64
aarch64_smallhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/aarch64_small
aarch64_smallhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/aarch64_small
dochttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/doc
dochttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/doc
editorshttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/editors
editorshttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/editors
etchttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/etc
etchttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/etc
languagehttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/language
languagehttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/language
libhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/lib
libhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/lib
oldhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/old
oldhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/old
sailcovhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/sailcov
sailcovhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/sailcov
snapshotshttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/snapshots
snapshotshttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/snapshots
srchttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/src
srchttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/src
testhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/test
testhttps://patch-diff.githubusercontent.com/rems-project/sail/tree/sail2/test
.dockerignorehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.dockerignore
.dockerignorehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.dockerignore
.git-blame-ignore-revshttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.git-blame-ignore-revs
.git-blame-ignore-revshttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.git-blame-ignore-revs
.gitattributeshttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.gitattributes
.gitattributeshttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.gitattributes
.gitignorehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.gitignore
.ocamlformathttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.ocamlformat
.ocamlformathttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.ocamlformat
.ocamlformat-ignorehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.ocamlformat-ignore
.ocamlformat-ignorehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/.ocamlformat-ignore
CHANGELOG.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/CHANGELOG.md
CHANGELOG.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/CHANGELOG.md
Dockerfile.nightlyhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/Dockerfile.nightly
Dockerfile.nightlyhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/Dockerfile.nightly
Dockerfile.releasehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/Dockerfile.release
Dockerfile.releasehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/Dockerfile.release
INSTALL.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/INSTALL.md
INSTALL.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/INSTALL.md
LICENSEhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/LICENSE
LICENSEhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/LICENSE
Makefilehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/Makefile
Makefilehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/Makefile
README.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/README.md
README.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/README.md
THIRD_PARTY_FILES.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/THIRD_PARTY_FILES.md
THIRD_PARTY_FILES.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/THIRD_PARTY_FILES.md
debug_sailhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/debug_sail
debug_sailhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/debug_sail
docker_entry_point.shhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/docker_entry_point.sh
docker_entry_point.shhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/docker_entry_point.sh
dune-projecthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/dune-project
dune-projecthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/dune-project
libsail.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/libsail.opam
libsail.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/libsail.opam
sailhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail
sailhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail
sail.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail.opam
sail.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail.opam
sail.opam.templatehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail.opam.template
sail.opam.templatehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail.opam.template
sail_c_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_c_backend.opam
sail_c_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_c_backend.opam
sail_coq_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_coq_backend.opam
sail_coq_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_coq_backend.opam
sail_doc_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_doc_backend.opam
sail_doc_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_doc_backend.opam
sail_latex_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_latex_backend.opam
sail_latex_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_latex_backend.opam
sail_lean_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_lean_backend.opam
sail_lean_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_lean_backend.opam
sail_lem_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_lem_backend.opam
sail_lem_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_lem_backend.opam
sail_maker.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_maker.opam
sail_maker.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_maker.opam
sail_ocaml_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_ocaml_backend.opam
sail_ocaml_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_ocaml_backend.opam
sail_output.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_output.opam
sail_output.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_output.opam
sail_smt_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_smt_backend.opam
sail_smt_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_smt_backend.opam
sail_sv_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_sv_backend.opam
sail_sv_backend.opamhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail_sv_backend.opam
READMEhttps://patch-diff.githubusercontent.com/rems-project/sail
Licensehttps://patch-diff.githubusercontent.com/rems-project/sail
https://github.com/rems-project/sail/blob/sail2/etc/logo/sail_logo.png?raw=true
https://patch-diff.githubusercontent.com/rems-project/sail#the-sail-isa-specification-language
https://github.com/rems-project/sail/actions/workflows/build.yml
https://patch-diff.githubusercontent.com/rems-project/sail#overview
CHERI ISAv9https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.pdf#page=176
CHERIoThttps://www.microsoft.com/en-us/research/uploads/prod/2023/02/cheriot-63e11a4f1e629.pdf#page=91
Sail AsciiDoctor documentation for RISC-Vhttps://github.com/Alasdair/asciidoctor-sail/blob/master/doc/built/sail_to_asciidoc.pdf
isla-axiomatichttps://github.com/rems-project/isla
RMEMhttp://www.cl.cam.ac.uk/users/pes20/rmem
Islahttps://github.com/rems-project/isla
proofs for the Arm Morello ISAhttp://www.cl.cam.ac.uk/~pes20/morello-proofs-esop2022.pdf
Islarishttps://github.com/rems-project/islaris
https://github.com/rems-project/sail/blob/sail2/etc/overview/overview-sail.png?raw=true
https://patch-diff.githubusercontent.com/rems-project/sail#sail-isa-models
Sail Arm-A (from ASL)https://github.com/rems-project/sail-arm
Sail Armv8.3-Ahttps://github.com/rems-project/sail/tree/sail2/aarch64
POPL 2019 paperhttp://www.cl.cam.ac.uk/users/pes20/sail/sail-popl2019.pdf
handwritten Sail Armv8-A ISA modelhttps://github.com/rems-project/sail/tree/sail2/aarch64_small
Sail Morello (CHERI-Arm) (from ASL)https://github.com/CTSRD-CHERI/sail-morello
Morello security proofshttps://github.com/CTSRD-CHERI/sail-morello-proofs/blob/public/README.md
Sail RISC-Vhttps://github.com/riscv/sail-riscv
Sail CHERI RISC-Vhttps://github.com/CTSRD-CHERI/sail-cheri-riscv
CHERIhttps://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
Sail CHERIoThttps://github.com/microsoft/cheriot-sail
CHERIoThttps://www.microsoft.com/en-us/research/publication/cheriot-rethinking-security-for-low-cost-embedded-systems/
Sail x86 (from ACL2)https://github.com/rems-project/sail-x86-from-acl2
X86isahttps://www.cs.utexas.edu/~moore/acl2/manuals/current/manual/?topic=ACL2____X86ISA
Sail MIPS and CHERI-MIPShttps://github.com/CTSRD-CHERI/sail-cheri-mips
CHERIhttps://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
Sail IBM POWER (from IBM XML)https://github.com/rems-project/sail/tree/sail2/old/power
Sail x86 (legacy)https://github.com/rems-project/sail/tree/sail2/old/x86
https://patch-diff.githubusercontent.com/rems-project/sail#example
https://patch-diff.githubusercontent.com/rems-project/sail#this-repository
doc/manual.htmlhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/doc/manual.html
doc/https://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/doc
available online herehttps://alasdair.github.io/manual.html
src/https://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/src
snapshots/isabellehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/snapshots/isabelle
lib/isabelle/manual.pdfhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/lib/isabelle/manual.pdf
editors/https://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/editors
test/https://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/test
a separate repositoryhttps://github.com/rems-project/coq-sail
https://patch-diff.githubusercontent.com/rems-project/sail#installation
INSTALL.mdhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/INSTALL.md
https://patch-diff.githubusercontent.com/rems-project/sail#editor-support
editors/sail-mode.elhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/editors/sail-mode.el
editors/vscodehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/editors/vscode
editors/vscode/sailhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/editors/vscode/sail
editors/vscode/sail/syntax/sail.tmLanguage.jsonhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/sail.tmLanguage.json
editors/vscode/sailhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/editors/vscode/sail
TextMate Bundles pluginhttps://plugins.jetbrains.com/plugin/7221-textmate-bundles
editors/vimhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/editors/vim
https://patch-diff.githubusercontent.com/rems-project/sail#logo
etc/logohttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/etc/logo
CC0https://creativecommons.org/publicdomain/zero/1.0/
https://patch-diff.githubusercontent.com/rems-project/sail#licensing
https://github.com/meriac/archexhttps://github.com/meriac/archex
README filehttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/aarch64/README
https://patch-diff.githubusercontent.com/rems-project/sail#people
Alasdair Armstrong http://alasdair.io/
Thomas Bauereiss http://www.cl.cam.ac.uk/~tb592
Brian Campbell http://homepages.inf.ed.ac.uk/bcampbe2/
Shaked Flur http://www.cl.cam.ac.uk/~sf502
Neel Krishnaswami http://www.cl.cam.ac.uk/~nk480/
Christopher Pulte http://www.cl.cam.ac.uk/~cp526/
Alastair Reid https://alastairreid.github.io/
Peter Sewell http://www.cl.cam.ac.uk/~pes20
Ian Stark http://homepages.inf.ed.ac.uk/stark/
Jon French http://www.cl.cam.ac.uk/~jf451/
Kathryn E. Gray http://www.cl.cam.ac.uk/~keg29/
Gabriel Kerneis http://gabriel.kerneis.info/
Prashanth Mundkur http://www.csl.sri.com/people/mundkur/
Robert Norton-Wright http://www.cl.cam.ac.uk/~rmn30/
Mark Wassell http://www.cl.cam.ac.uk/~mpew2
CHERIhttps://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
CHERIoThttps://www.microsoft.com/en-us/research/publication/cheriot-rethinking-security-for-low-cost-embedded-systems/
https://patch-diff.githubusercontent.com/rems-project/sail#papers
POPL 2019 paperhttp://www.cl.cam.ac.uk/users/pes20/sail/sail-popl2019.pdf
Multicore Semantics: Making Sense of Relaxed Memory (MPhil slides)https://www.cl.cam.ac.uk/~pes20/slides-acs-2022.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#acs-2020
.pdfhttps://www.cl.cam.ac.uk/~pes20/slides-acs-2022.pdf
Islaris: Verification of Machine Code Against Authoritative ISA Semanticshttp://www.cl.cam.ac.uk/~pes20/2022-pldi-islaris.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#2022-pldi-islaris
doihttp://dx.doi.org/10.1145/3519939.3523434
project pagehttps://github.com/rems-project/islaris
pdfhttp://www.cl.cam.ac.uk/~pes20/2022-pldi-islaris.pdf
abstracthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_abstracts.html#2022-pldi-islaris
Verified Security for the Morello Capability-enhanced Prototype Arm Architecturehttp://www.cl.cam.ac.uk/~pes20/morello-proofs-esop2022.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#morello-proofs-esop2022
doihttp://dx.doi.org/10.1007/978-3-030-99336-8\_7
project pagehttps://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
pdfhttp://www.cl.cam.ac.uk/~pes20/morello-proofs-esop2022.pdf
httphttps://doi.org/10.1007/978-3-030-99336-8\_7
abstracthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_abstracts.html#morello-proofs-esop2022
Isla: Integrating full-scale ISA semantics and axiomatic concurrency modelshttps://www.cl.cam.ac.uk/~pes20/isla/isla-cav2021-extended.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#isla-cav
doihttp://dx.doi.org/10.1007/978-3-030-81685-8\_14
pdfhttps://www.cl.cam.ac.uk/~pes20/isla/isla-cav2021-extended.pdf
httphttps://doi.org/10.1007/978-3-030-81685-8\_14
abstracthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_abstracts.html#isla-cav
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPShttp://www.cl.cam.ac.uk/users/pes20/sail/sail-popl2019.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#sail-popl2019
doihttp://dx.doi.org/10.1145/3290384
supplementary materialhttp://www.cl.cam.ac.uk/users/pes20/sail/popl2019.html
project pagehttp://www.cl.cam.ac.uk/~pes20/sail/
pdfhttp://www.cl.cam.ac.uk/users/pes20/sail/sail-popl2019.pdf
abstracthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_abstracts.html#sail-popl2019
Formalisation of MiniSail in the Isabelle Theorem Proverhttp://www.cl.cam.ac.uk/~pes20/sail/arw18_mpew2.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#sail-arw18-minisail
project pagehttp://www.cl.cam.ac.uk/~pes20/sail/
pdfhttp://www.cl.cam.ac.uk/~pes20/sail/arw18_mpew2.pdf
abstracthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_abstracts.html#sail-arw18-minisail
Detailed Models of Instruction Set Architectures: From Pseudocode to Formal Semanticshttp://www.cl.cam.ac.uk/~pes20/sail/2018-04-12-arw-paper.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#sail-arw18
project pagehttp://www.cl.cam.ac.uk/~pes20/sail/
pdfhttp://www.cl.cam.ac.uk/~pes20/sail/2018-04-12-arw-paper.pdf
abstracthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_abstracts.html#sail-arw18
Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8http://www.cl.cam.ac.uk/~pes20/armv8-mca/armv8-mca-draft.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#armv8-mca
doihttp://dx.doi.org/10.1145/3158107
project pagehttp://www.cl.cam.ac.uk/~pes20/armv8-mca/
erratahttps://www.cl.cam.ac.uk/~pes20/armv8-mca/errata.html
pdfhttp://www.cl.cam.ac.uk/~pes20/armv8-mca/armv8-mca-draft.pdf
abstracthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_abstracts.html#armv8-mca
Mixed-size Concurrency: ARM, POWER, C/C++11, and SChttp://www.cl.cam.ac.uk/~pes20/popl17/mixed-size.pdf
bibhttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_bib.html#mixed17
doihttp://dx.doi.org/10.1145/3009837.3009839
project pagehttp://www.cl.cam.ac.uk/users/pes20/popl17/
pdfhttp://www.cl.cam.ac.uk/~pes20/popl17/mixed-size.pdf
abstracthttps://patch-diff.githubusercontent.com/rems-project/sail/blob/sail2/topic.ISA_semantics_abstracts.html#mixed17
Modelling the ARMv8 architecture, operationally: concurrency and ISAhttp://www.cl.cam.ac.uk/~pes20/popl16-armv8/top.pdf
doihttp://dx.doi.org/10.1145/2837614.2837615
project pagehttp://www.cl.cam.ac.uk/~sf502/popl16/index.html
pdfhttp://www.cl.cam.ac.uk/~pes20/popl16-armv8/top.pdf
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessorshttp://www.cl.cam.ac.uk/~pes20/micro-48-2015.pdf
doihttp://dx.doi.org/10.1145/2830772.2830775
pdfhttp://www.cl.cam.ac.uk/~pes20/micro-48-2015.pdf
https://patch-diff.githubusercontent.com/rems-project/sail#funding
REMS: Rigorous Engineering for Mainstream Systemshttp://www.cl.cam.ac.uk/users/pes20/rems
Readme https://patch-diff.githubusercontent.com/rems-project/sail#readme-ov-file
View license https://patch-diff.githubusercontent.com/rems-project/sail#License-1-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/rems-project/sail
Activityhttps://patch-diff.githubusercontent.com/rems-project/sail/activity
Custom propertieshttps://patch-diff.githubusercontent.com/rems-project/sail/custom-properties
841 starshttps://patch-diff.githubusercontent.com/rems-project/sail/stargazers
35 watchinghttps://patch-diff.githubusercontent.com/rems-project/sail/watchers
146 forkshttps://patch-diff.githubusercontent.com/rems-project/sail/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Frems-project%2Fsail&report=rems-project+%28user%29
Releases 13https://patch-diff.githubusercontent.com/rems-project/sail/releases
0.20.1 Latest Dec 22, 2025 https://patch-diff.githubusercontent.com/rems-project/sail/releases/tag/0.20.1
+ 12 releaseshttps://patch-diff.githubusercontent.com/rems-project/sail/releases
Packages 0https://patch-diff.githubusercontent.com/orgs/rems-project/packages?repo_name=sail
Please reload this pagehttps://patch-diff.githubusercontent.com/rems-project/sail
Contributors 77https://patch-diff.githubusercontent.com/rems-project/sail/graphs/contributors
Please reload this pagehttps://patch-diff.githubusercontent.com/rems-project/sail
+ 63 contributorshttps://patch-diff.githubusercontent.com/rems-project/sail/graphs/contributors
Sail 46.1% https://patch-diff.githubusercontent.com/rems-project/sail/search?l=sail
OCaml 42.2% https://patch-diff.githubusercontent.com/rems-project/sail/search?l=ocaml
Lean 3.9% https://patch-diff.githubusercontent.com/rems-project/sail/search?l=lean
C 3.1% https://patch-diff.githubusercontent.com/rems-project/sail/search?l=c
Isabelle 1.8% https://patch-diff.githubusercontent.com/rems-project/sail/search?l=isabelle
Rocq Prover 1.1% https://patch-diff.githubusercontent.com/rems-project/sail/search?l=rocq-prover
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.