Spaces:

ejschwartz
/

decompile-verify

Running

App Files Files Community

decompile-verify / demo

71 kB

Ctrl+K

Ctrl+K

2 contributors

History: 22 commits

ejschwartz's picture

Add three Faultless completeness examples

52a9362 1 day ago

cases
Add three Faultless completeness examples 1 day ago
__init__.py

63 Bytes
Create public Gradio frontend with private core submodule 23 days ago
app.py

29.3 kB
Show memory writers and highlight corresponding candidate C lines 22 days ago
examples.py

4.42 kB
Add three Faultless completeness examples 1 day ago
execution.py

2.67 kB
Expose execution modes and fixed-input replay in the demo 22 days ago
faultless.py

2.64 kB
Add three Faultless completeness examples 1 day ago
presentation.py

10.3 kB
Highlight call sites and argument producers for call mismatches 21 days ago
session.py

3.61 kB
Update run defaults and make verification workers cancellable 22 days ago
workbench.css

5.6 kB
Highlight memory writers in both assembly panes 22 days ago
workbench.js

5.72 kB
Preserve highlights when CodeMirror rewrites line classes 21 days ago