Hugging Face's logo

Spaces:
ejschwartz
/
decompile-verify
Sleeping

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

Commit History

13 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

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

    Edward J. Schwartz
    f1b51ae

  2. Create public Gradio frontend with private core submodule

    Edward J. Schwartz
    b727f11