Spaces:

nickh007
/

hw-verify

Running

App Files Files Community

106 kB

Ctrl+K

Ctrl+K

1 contributor

History: 11 commits

nickh007's picture

Repair reviewed browser demo behavior and evidence scope

0de028c verified 19 days ago

.gitattributes

1.52 kB
initial commit 3 months ago
.gitignore

83 Bytes
Refuse rather than guess: UNKNOWN verdicts for unreadable designs 3 months ago
CONTRIBUTING.md

1.71 kB
fix licensing (CC-BY-4.0 notice, no ISC overclaim, Pyodide attribution) and polish the page 3 months ago
LICENSE

11.4 kB
hw-verify: real constant-time analyzer running in-browser via Pyodide 3 months ago
LICENSE-FIXTURES

1.82 kB
fix licensing (CC-BY-4.0 notice, no ISC overclaim, Pyodide attribution) and polish the page 3 months ago
README.md

7.43 kB
Complete the card: quickstart, citation, contribution pointer 3 months ago
cone.py

23.6 kB
Re-vendor analyzer: netlist frontend split and faster construct scanner 3 months ago
fixtures.json

44.1 kB
hw-verify: real constant-time analyzer running in-browser via Pyodide 3 months ago
index.html

14.6 kB
Repair reviewed browser demo behavior and evidence scope 19 days ago