Add support for `atomic_min` and `atomic_umin` intrinsics#1212

Merged

danielsn merged 8 commits intomodel-checking:mainfrom adpaco-aws:atomic-min

May 26, 2022

+134-221

Commits on May 25, 2022

Commits on May 26, 2022

Merge branch 'main' into atomic-min
danielsn
authored