GitHub - rems-project/sail-tiny-arm-lean

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
SailTinyArmUser		SailTinyArmUser
.editorconfig		.editorconfig
.gitignore		.gitignore
README		README
SailTinyArmUser.lean		SailTinyArmUser.lean
build_log.txt		build_log.txt
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Repository files navigation

Automatically generated Sail Tiny Arm specification in Lean.

Work-in-progress, currently uses hard-coded non-HEAD commits for
sail and sail-tiny-arm.

Based on https://github.com/opencompl/sail-riscv-lean