search

ultimate-pa / ultimate

The Ultimate program analysis framework.
https://ultimate-pa.org/
200 stars 41 forks source link

Support `__atomic_compare_exchange` #689

Closed maul-esel closed 1 month ago

maul-esel commented 1 month ago

This PR adds support for the builtin atomic functions __atomic_compare_exchange_n and __atomic_compare_exchange.