Spaces:

nickh007
/

hw-verify

Running

App Files Files Community

106 kB

Ctrl+K

Ctrl+K

1 contributor

History: 10 commits

nickh007's picture

Complete the card: quickstart, citation, contribution pointer

f51e8bd verified 3 days ago

.gitattributes

1.52 kB
initial commit 4 days ago
.gitignore

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

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

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

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

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

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

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

14.5 kB
Refuse rather than guess: UNKNOWN verdicts for unreadable designs 4 days ago