rems-project / sail-tiny-x86 Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Tiny X86 sail model for testing purposes

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 65 Commits
snapshot		snapshot
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
coq-sail-tiny-x86.opam		coq-sail-tiny-x86.opam
decode.sail		decode.sail
dune		dune
dune-project		dune-project
interface.sail		interface.sail
operands.sail		operands.sail
prelude.sail		prelude.sail
registers.sail		registers.sail
sail_files		sail_files
tests.sail		tests.sail
tiny-x86.sail		tiny-x86.sail

Repository files navigation

Sail Tiny x86

A very simple x86 model