Hugging Face's logo

Spaces:
ejschwartz
/
decompile-verify
Running

App Files Community
decompile-verify

Commit History

Yesterday

  1. Add three Faultless completeness examples Running

    ejschwartz
    52a9362

21 days ago

  1. Preserve highlights when CodeMirror rewrites line classes

    Edward J. Schwartz
    f09ab97

  2. Highlight call sites and argument producers for call mismatches

    Edward J. Schwartz
    f469440

  3. Pin the Clang source mapping compatibility fix

    Edward J. Schwartz
    8f5346c

22 days ago

  1. Highlight return-value producers in C and assembly

    Edward J. Schwartz
    c5d2f28

  2. Highlight memory writers in both assembly panes

    Edward J. Schwartz
    461a5d3

  3. Resolve the editor module when Gradio loads its Code icon first

    Edward J. Schwartz
    a934ad6

  4. Show memory writers and highlight corresponding candidate C lines

    Edward J. Schwartz
    c5747c7

  5. Pin trimmed DiscScope reference source comments

    Edward J. Schwartz
    43f0398

  6. Describe and color example accordions by expected result

    Edward J. Schwartz
    d60d50d

  7. Expose nine related-work examples in the verifier workbench

    Edward J. Schwartz
    0684174

  8. Pin core guidance provenance performance fix

    Edward J. Schwartz
    3e44256

  9. Show each execution input source in Gradio

    Edward J. Schwartz
    a0a2eb6

  10. Expose concolic exploration with execution budgets and random-input probability

    Edward J. Schwartz
    d76830d

  11. Default the frontend to comparison-guided execution

    Edward J. Schwartz
    d59b954

  12. Simplify run settings and show options for the selected mode

    Edward J. Schwartz
    586c0fc

  13. Expose execution modes and fixed-input replay in the demo

    Edward J. Schwartz
    826c2df

  14. Update run defaults and make verification workers cancellable

    Edward J. Schwartz
    16f323d

  15. Group Gradio examples into expandable sections

    Edward J. Schwartz
    b2b5f1c

  16. Pin core with escaped-frame comparison

    Edward J. Schwartz
    5473335

  17. Pin core with all six Faultless examples

    Edward J. Schwartz
    95e7452

23 days ago

  1. Pin frontend to reorganized core examples

    Edward J. Schwartz
    aba0fa0

  2. Prepare Gradio examples from the pinned core at startup

    Edward J. Schwartz
    5423dad

  3. Add four Faultless paper examples to the Gradio catalog

    Edward J. Schwartz
    fcfdbcb

  4. Use the Clang-exporter core and build its private helper at startup

    Edward J. Schwartz
    f1b51ae

  5. Simplify quick start and collapse detailed verifier guidance

    Edward J. Schwartz
    55fed03

  6. Explain verifier inputs and examples in the Gradio introduction

    Edward J. Schwartz
    b0bdd92

  7. Skip automatic private submodule checkout on hosting builders

    Edward J. Schwartz
    9287d92

  8. Create public Gradio frontend with private core submodule

    Edward J. Schwartz
    b727f11