Hugging Face's logo

Spaces:
ejschwartz
/
decompile-verify
Running

App Files Community
decompile-verify / tests /test_examples.py

Commit History

2 days ago

  1. Add three Faultless completeness examples Running

    ejschwartz
    52a9362

23 days ago

  1. Describe and color example accordions by expected result

    Edward J. Schwartz
    d60d50d

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

    Edward J. Schwartz
    0684174

  3. Group Gradio examples into expandable sections

    Edward J. Schwartz
    b2b5f1c

  4. Pin core with all six Faultless examples

    Edward J. Schwartz
    95e7452

24 days ago

  1. Prepare Gradio examples from the pinned core at startup

    Edward J. Schwartz
    5423dad

  2. Add four Faultless paper examples to the Gradio catalog

    Edward J. Schwartz
    fcfdbcb

  3. Create public Gradio frontend with private core submodule

    Edward J. Schwartz
    b727f11