rems-project / sail

Sail architecture definition language
Other
617 stars 112 forks source link

Generalise constraint equality parameter types #642

Closed Alasdair closed 3 months ago

Alasdair commented 3 months ago

The NC_equal and NC_not_equal constructors now take generic type arguments, so they can in theory be used to compare things other than type level integers, i.e. booleans, or in the future enumeration arguments.

github-actions[bot] commented 3 months ago

Test Results

    9 files  ±0     20 suites  ±0   0s :stopwatch: ±0s   662 tests ±0    662 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 111 runs  ±0  2 110 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit 6ab7a68d. ± Comparison against base commit 49b58527.

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