Skip to content
This repository was archived by the owner on Oct 16, 2019. It is now read-only.

GRIFT: Galois RISC-V ISA Formal Tools #208

Closed
benjaminselfridge opened this issue Aug 9, 2018 · 0 comments
Closed

GRIFT: Galois RISC-V ISA Formal Tools #208

benjaminselfridge opened this issue Aug 9, 2018 · 0 comments
Assignees
@tfausak
Labels
suggestion

Comments

@benjaminselfridge
Copy link

benjaminselfridge commented Aug 9, 2018 •
edited
Loading

We at Galois would appreciate if you could include GRIFT in your next issue, a newly-open sourced RISC-V ISA formalization with deeply embedded semantics.

https://github.com/GaloisInc/grift
@tfausak tfausak self-assigned this Aug 16, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@tfausak tfausak

Labels
suggestion
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tfausak @benjaminselfridge