Spaces:

ejschwartz
/

decompile-verify

Sleeping

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 13 days ago

cases
Add three Faultless completeness examples 13 days ago
__init__.py

63 Bytes
Create public Gradio frontend with private core submodule about 1 month ago
app.py

29.3 kB
Show memory writers and highlight corresponding candidate C lines about 1 month ago
examples.py

4.42 kB
Add three Faultless completeness examples 13 days ago
execution.py

2.67 kB
Expose execution modes and fixed-input replay in the demo about 1 month ago
faultless.py

2.64 kB
Add three Faultless completeness examples 13 days ago
presentation.py

10.3 kB
Highlight call sites and argument producers for call mismatches about 1 month ago
session.py

3.61 kB
Update run defaults and make verification workers cancellable about 1 month ago
workbench.css

5.6 kB
Highlight memory writers in both assembly panes about 1 month ago
workbench.js

5.72 kB
Preserve highlights when CodeMirror rewrites line classes about 1 month ago