Spaces:

ejschwartz
/

decompile-verify

Running

App Files Files Community

decompile-verify / tests /test_ui.py

Commit History

Oct 27 Yesterday

14:29
Add three Faultless completeness examples Running

ejschwartz

52a9362

Oct 6 22 days ago

18:49
Describe and color example accordions by expected result

Edward J. Schwartz

d60d50d
18:32
Expose nine related-work examples in the verifier workbench

Edward J. Schwartz

0684174
02:05
Group Gradio examples into expandable sections

Edward J. Schwartz

b2b5f1c

Oct 5 23 days ago

20:59
Use the Clang-exporter core and build its private helper at startup

Edward J. Schwartz

f1b51ae
15:01
Create public Gradio frontend with private core submodule

Edward J. Schwartz

b727f11