Update libsail for SV improvements

rems-project / sail

Sail architecture definition language

Other

590 stars 103 forks source link

Update libsail for SV improvements #672

Closed Alasdair closed 1 month ago

Alasdair commented 1 month ago

Fix Sail->SMT and Sail->C to support these improvements

CL_void now has a ctyp parameter
Annotations are preserved on valspecs into the Jib ctx
Updated SMT expression simplifier

github-actions[bot] commented 1 month ago

Test Results

9 files ±0 21 suites ±0 0s :stopwatch: ±0s 672 tests ±0 672 :white_check_mark: ±0 0 :zzz: ±0 0 :x: ±0 2 124 runs ±0 2 123 :white_check_mark: ±0 1 :zzz: ±0 0 :x: ±0

Results for commit 9d1a83b5. ± Comparison against base commit 0a50449e.

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