Skip to content

Home

Jump to bottom
Ben Selfridge edited this page Aug 16, 2018 · 4 revisions

Welcome to the GRIFT (Galois RISC-V ISA Formal Tools) wiki page. This page contains information on what GRIFT is all about, how to build it and use it. We also document new and upcoming features.

Building

Clone this wiki locally