• Ralf Jung's avatar
    Make CAS slightly more realistic · 53216eb5
    Ralf Jung authored
    This restricts CAS to only be able to compare literals with literals, NONEV with NONEV and NONEV with SOMEV for a literal.
    53216eb5
atomic_heap.v 3.92 KB