Artifacts for the 2023 Trends in Functional Programming Publication: Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture

This dataset contains the artifacts for the performance evaluation conducted in the publication Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture which will be published in the proceedings of the 2023 Trends in Functional Programming conference. The provided artifacts contain a Docker container for executing Embench benchmarks with LibRISCV, RISC-V VP, Grift and Forvis. A pre-built version of the container is included.