search

riscv / sail-riscv

Sail RISC-V model
https://lists.riscv.org/g/tech-golden-model
Other
467 stars 169 forks source link

Remove duplicate type declarations for mem_read #473

Closed Timmmm closed 6 months ago

Timmmm commented 6 months ago

These used to be different because they had different effects annotations, but those have since been removed and now they are the same.

github-actions[bot] commented 6 months ago

Test Results

712 tests  ±0   712 :white_check_mark: ±0   0s :stopwatch: ±0s   6 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 27c1d55b. ± Comparison against base commit a71fee30.

:recycle: This comment has been updated with latest results.