• Dan Frumin's avatar
    Update the counter example · 299978e2
    Dan Frumin authored
    Thunk the FG/CG_increment functions at the point of initialization.
    This allows us to avoid the use of lamsubst.
    299978e2
ticket_lock.v 18.3 KB