aboutsummaryrefslogtreecommitdiff
path: root/handwritten_support/0.11
AgeCommit message (Expand)AuthorFilesLines
2023-05-29Add Zfa extension support (excl. quad-precision)Philipp Tomsich1-0/+27
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-0/+64
2021-11-22Implement support for Zfinx (#130)Jessica Clarke2-0/+8
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke2-8/+0
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh2-0/+8
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall1-0/+4
2021-02-11Make N extension configurable.Prashanth Mundkur2-0/+8
2020-04-07Switch floating-point comparisons to using softfloat to avoid missed corner-c...Prashanth Mundkur1-0/+16
2020-01-23Add lem stubs for softfloat externs.rsnikhilPrashanth Mundkur1-0/+109
2020-01-22Some fixes for lem build.Prashanth Mundkur1-0/+4
2019-11-25Fix RV32 Lem buildThomas Bauereiss1-2/+2
2019-10-09Read/write memory values and metadata together atomicallyThomas Bauereiss1-0/+16
2019-07-18Make sure everything builds correctlyAlasdair Armstrong2-0/+308