merge dev

2026-04-22 17:23:00 +02:00 · 2021-10-26 23:11:47 -04:00
parent d4ba39995f e49dda0b35
commit 080b5a4a1f
82 changed files with 1280 additions and 793 deletions
@@ -32,7 +32,7 @@ export function SourceFileMinus1(): React.ReactElement {
            <Typography style={{ whiteSpace: "pre-wrap" }}>
              Source-File -1: Exploits in the BitNodes
              <br />
-              Level {exploits.length} / ?
+              Level {exploits.length} / {Object.keys(Exploit).length}
            </Typography>
          }
        />