Name
Date
Size
#Lines
LOC

..--

addH A D07-Aug-2023260 1413

add_negativeH A D07-Aug-2023340 1413

add_unlessH A D07-Aug-2023419 1917

andH A D07-Aug-2023261 1413

andnotH A D07-Aug-2023266 1413

cmpxchgH A D07-Aug-2023351 1514

decH A D07-Aug-2023238 1312

dec_and_testH A D07-Aug-2023310 1312

dec_if_positiveH A D07-Aug-2023321 1312

dec_unless_positiveH A D07-Aug-2023304 1312

incH A D07-Aug-2023238 1312

inc_and_testH A D07-Aug-2023310 1312

inc_not_zeroH A D07-Aug-2023300 1312

inc_unless_negativeH A D07-Aug-2023304 1312

orH A D07-Aug-2023260 1413

readH A D07-Aug-2023251 1312

setH A D07-Aug-2023255 1413

subH A D07-Aug-2023270 1413

sub_and_testH A D27-Jun-2024342 1413

try_cmpxchgH A D07-Aug-2023440 1615

xchgH A D07-Aug-2023284 1413

xorH A D07-Aug-2023261 1413