Skip to content
Snippets Groups Projects

rc.v timing diff

  • Clone with SSH
  • Clone with HTTPS
  • Embed
  • Share
    The snippet can be accessed without any authentication.
    Authored by Ralf Jung

    make TIMING=1 for typing/lib/rc/rc.v in LambdaRust.

    • "before" is 375ccb49303bc59cb19ef1a7fe1ca485516e841f (master at the time) patched to make the code charatcer-identical to "after".
    • "after" is 23ff2efe7d9397562d08f6b75a4e480edd916882 (ci/gen_proofmode at the time).
    Edited
    snippetfile1.txt 155.98 KiB
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment