wip: Float support and rv64f.vadl - #1040

Draft

BadGraphixD wants to merge 11 commits into

feature/float-riscv

Commits on Jul 31, 2026

wip: Float support and rv64f.vadl
BadGraphixD
committed
56ce498
wip: Add float-type definition
BadGraphixD
committed
8c5a1b2
wip: Add float config annotations
BadGraphixD
committed
83babe1
wip: Fix float flag annotation
BadGraphixD
committed
e04f10d
wip: Add risc-v float to/from int convert instructions
BadGraphixD
committed
451ad2f
wip: Add remaining risc-v float built-ins + qemu impl
BadGraphixD
committed
c175a26
wip: Finish RISC-V D extension
BadGraphixD
committed
73da252
wip: Add risc-v cosim scripts and config
BadGraphixD
committed
b3e41cd
wip: Add built-in constant parameters
BadGraphixD
committed
d23227e

Commits on Aug 2, 2026

wip: Add IEEE rounding modes to ISS
BadGraphixD
committed
2d85f3d

Commits on Aug 3, 2026

wip: Change builtin constant param syntax
BadGraphixD
committed
ccc069a