Home - GaloisInc/grift GitHub Wiki
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.
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.