• Ralf Jung's avatar
    rename CompareExchange to CmpXchg · 12bec4d5
    Ralf Jung authored
    This is the name used by x86 (CMPXCHG) and LLVM.  Also reorder the result (value
    first, boolean second) for consistency with LLVM, because why not.
    12bec4d5
Name
Last commit
Last update
..
algebra.ref Loading commit data...
algebra.v Loading commit data...
atomic.8.8.ref Loading commit data...
atomic.ref Loading commit data...
atomic.v Loading commit data...
heap_lang.ref Loading commit data...
heap_lang.v Loading commit data...
heap_lang2.ref Loading commit data...
heap_lang2.v Loading commit data...
heap_lang_proph.ref Loading commit data...
heap_lang_proph.v Loading commit data...
ipm_paper.ref Loading commit data...
ipm_paper.v Loading commit data...
list_reverse.8.10.ref Loading commit data...
list_reverse.ref Loading commit data...
list_reverse.v Loading commit data...
mosel_paper.ref Loading commit data...
mosel_paper.v Loading commit data...
one_shot.ref Loading commit data...
one_shot.v Loading commit data...
proofmode.ref Loading commit data...
proofmode.v Loading commit data...
proofmode_iris.ref Loading commit data...
proofmode_iris.v Loading commit data...
proofmode_monpred.ref Loading commit data...
proofmode_monpred.v Loading commit data...
telescopes.ref Loading commit data...
telescopes.v Loading commit data...
tree_sum.ref Loading commit data...
tree_sum.v Loading commit data...