rems-project / sail

Sail architecture definition language
Other
624 stars 116 forks source link

SMT: Change how control flow mux expressions are generated #704

Closed Alasdair closed 2 months ago

Alasdair commented 2 months ago

Introduce intermediate variables to reduce duplication in the output. This considerably improves performance on some problems.

github-actions[bot] commented 2 months ago

Test Results

    9 files  ±0     21 suites  ±0   0s :stopwatch: ±0s   682 tests ±0    682 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 144 runs  ±0  2 143 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit 39229a99. ± Comparison against base commit a6d8d0ad.

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