aboutsummaryrefslogtreecommitdiff
path: root/handwritten_support/0.11/riscv_extras.lem
AgeCommit message (Expand)AuthorFilesLines
2021-11-22Implement support for Zfinx (#130)Jessica Clarke1-0/+4
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke1-4/+0
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh1-0/+4
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 Mundkur1-0/+4
2020-01-22Some fixes for lem build.Prashanth Mundkur1-0/+4
2019-07-18Make sure everything builds correctlyAlasdair Armstrong1-0/+156