scalable-concurrent-containers icon indicating copy to clipboard operation
scalable-concurrent-containers copied to clipboard

Published 20 hours ago • verified publisher icon wvwwvwwv

Miri-friendly coding

Open wvwwvwwv opened this issue 2 years ago • 0 comments

The current EBR code is not quite friendly to Miri while the code is not as dangerous as Miri thinks it is. Need to make the code more friendly to Miri.

wvwwvwwv avatar Mar 03 '23 12:03 wvwwvwwv