00

GRIFT

Tool ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 1 chunks

01

NEIGHBORHOOD

4 nodes · 3 edges

graph · GRIFT · depth=1

02

RELATIONSHIPS

3 connections

Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models ← compares with 85% 1e evidence

The paper compares LIBRISCV with GRIFT as a related Haskell-based RISC-V model

Formal ISA Model implements → 100% 1e evidence

GRIFT is a formal RISC-V semantics model in Haskell

Haskell uses → 100% 1e evidence

GRIFT is implemented in Haskell