Spaces:
Running
Running
Commit History
2 days ago
-
Add three Faultless completeness examples Running
52a9362
22 days ago
-
Preserve highlights when CodeMirror rewrites line classes
Edward J. Schwartzf09ab97 -
Highlight call sites and argument producers for call mismatches
Edward J. Schwartzf469440
23 days ago
-
Highlight return-value producers in C and assembly
Edward J. Schwartzc5d2f28 -
Highlight memory writers in both assembly panes
Edward J. Schwartz461a5d3 -
Resolve the editor module when Gradio loads its Code icon first
Edward J. Schwartza934ad6 -
Show memory writers and highlight corresponding candidate C lines
Edward J. Schwartzc5747c7 -
Describe and color example accordions by expected result
Edward J. Schwartzd60d50d -
Expose nine related-work examples in the verifier workbench
Edward J. Schwartz0684174 -
Show each execution input source in Gradio
Edward J. Schwartza0a2eb6 -
Expose concolic exploration with execution budgets and random-input probability
Edward J. Schwartzd76830d -
Default the frontend to comparison-guided execution
Edward J. Schwartzd59b954 -
Simplify run settings and show options for the selected mode
Edward J. Schwartz586c0fc -
Expose execution modes and fixed-input replay in the demo
Edward J. Schwartz826c2df -
Update run defaults and make verification workers cancellable
Edward J. Schwartz16f323d -
Group Gradio examples into expandable sections
Edward J. Schwartzb2b5f1c -
Pin core with escaped-frame comparison
Edward J. Schwartz5473335 -
Pin core with all six Faultless examples
Edward J. Schwartz95e7452
24 days ago
-
Prepare Gradio examples from the pinned core at startup
Edward J. Schwartz5423dad -
Add four Faultless paper examples to the Gradio catalog
Edward J. Schwartzfcfdbcb -
Use the Clang-exporter core and build its private helper at startup
Edward J. Schwartzf1b51ae -
Create public Gradio frontend with private core submodule
Edward J. Schwartzb727f11