rems-project / sail

Sail architecture definition language
Other
563 stars 92 forks source link

Lower precedence of "in" for set constraints #578

Closed bacam closed 3 weeks ago

bacam commented 3 weeks ago

(e.g., for 'n * 8 in {8, 16, 32})

github-actions[bot] commented 3 weeks ago

Test Results

    9 files  ±0     20 suites  ±0   0s :stopwatch: ±0s   643 tests +1    643 :white_check_mark: +1  0 :zzz: ±0  0 :x: ±0  2 057 runs  +3  2 056 :white_check_mark: +3  1 :zzz: ±0  0 :x: ±0 

Results for commit c4864123. ± Comparison against base commit 92150fa0.