Update tests & docs for new atomic intrinsics without ordering restrictions - #1487

Merged

adpaco merged 3 commits into

model-checking:mainfrom

adpaco:new-atomic-orderings

Aug 11, 2022

Commits on Aug 10, 2022

Update intrinsics table
adpaco
committed
e453bd0
Test new orderings
adpaco
committed
3a16b29

Commits on Aug 11, 2022

Merge branch 'main' into new-atomic-orderings
adpaco
authored
86d8a8d