search

rems-project / sail

Sail architecture definition language
Other
563 stars 92 forks source link

Coq fixes for RISC-V #576

Closed bacam closed 3 weeks ago

bacam commented 3 weeks ago

A small selection of improvements to the Coq back-end to deal with issues seen when updating the RISC-V model

github-actions[bot] commented 3 weeks ago

Test Results

    9 files  ±0     20 suites  ±0   0s :stopwatch: ±0s   641 tests ±0    641 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 053 runs  ±0  2 052 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit bc7dd304. ± Comparison against base commit a06c2b91.