This repository contains a set of RISC-V assembly files that implement a singly linked list data structure. The project includes functions for creating new nodes, inserting nodes into a sorted list, ...

I'd like to see how it is possible to run Miri on linked list code, so I copied all relevent code out to this repo, in cargo project style.