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 /model/riscv_insts_mext.sail | |
| 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 'model/riscv_insts_mext.sail')
0 files changed, 0 insertions, 0 deletions