Hugging Face's logo

Spaces:
ejschwartz
/
decompile-verify
Sleeping

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

Commit History

12 days ago

  1. Add three Faultless completeness examples

    ejschwartz
    52a9362

  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

  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