diff options
author | Alasdair <alasdair.armstrong@cl.cam.ac.uk> | 2023-10-10 12:14:35 +0100 |
---|---|---|
committer | Bill McSpadden <bill@riscv.org> | 2023-10-10 19:17:34 -0500 |
commit | 532714a6c71b47a91176eb90fef3b3b049c52fce (patch) | |
tree | 7113f79e789525e40955ce33606b7dc16c66aad2 /c_emulator | |
parent | 38658363547f5ec058feeea54bf028a317cf04fe (diff) | |
download | sail-riscv-532714a6c71b47a91176eb90fef3b3b049c52fce.zip sail-riscv-532714a6c71b47a91176eb90fef3b3b049c52fce.tar.gz sail-riscv-532714a6c71b47a91176eb90fef3b3b049c52fce.tar.bz2 |
Fix lem build error
The speculate_conditional should be marked monadic. It would seem like
the various _reservation functions should be also, but it seems like
perhaps they are not implemented in lem right now.
Diffstat (limited to 'c_emulator')
0 files changed, 0 insertions, 0 deletions