1 line
437 KiB
JSON
1 line
437 KiB
JSON
|
{"doc_urls":["index.html#libre-chip","first_arch/index.html#proposal-for-libre-chips-first-cpu-architecture","first_arch/index.html#stages","first_arch/index.html#register-renaming--internal-registers","first_arch/index.html#architecture-diagram","first_arch/register_renaming.html#register-renaming","first_arch/register_renaming.html#l2-register-file","first_arch/register_renaming.html#distributed-registers-may-or-may-not-be-a-good-idea","grants/index.html#grants","grants/nlnet-first.html#first-nlnet-grant-proposal----first-cpu-architecture-and-formal-proof-of-no-spectre-bugs----2024-12-324","grants/nlnet-first.html#abstract","grants/nlnet-first.html#relevant-previous-involvement","grants/nlnet-first.html#requested-support","grants/nlnet-first.html#cost-explanation","grants/nlnet-first.html#general-project-management","grants/nlnet-first.html#hardware-costs","grants/nlnet-first.html#improvements-to-fayalite","grants/nlnet-first.html#building-enough-of-the-cpu-to-execute-multiple-instructions","grants/nlnet-first.html#implementing-memory-subsystem","grants/nlnet-first.html#work-towards-the-formal-proof-of-no-spectre-bugs","grants/nlnet-first.html#compare-with-existinghistorical-efforts","grants/nlnet-first.html#upec-as-described-in-an-exhaustive-approach-to-detecting-transient-execution-side-channels-in-rtl-designs-of-processors","grants/nlnet-first.html#rtl-verification-for-secure-speculation-using-contract-shadow-logic","grants/nlnet-first.html#technical-challenges-we-expect-to-solve-during-the-project","grants/nlnet-first.html#ecosystem","Conduct.html","LICENSE.html","gpl-3.0.html#gnu-general-public-license","gpl-3.0.html#preamble","gpl-3.0.html#terms-and-conditions","gpl-3.0.html#0-definitions","gpl-3.0.html#1-source-code","gpl-3.0.html#2-basic-permissions","gpl-3.0.html#3-protecting-users-legal-rights-from-anti-circumvention-law","gpl-3.0.html#4-conveying-verbatim-copies","gpl-3.0.html#5-conveying-modified-source-versions","gpl-3.0.html#6-conveying-non-source-forms","gpl-3.0.html#7-additional-terms","gpl-3.0.html#8-termination","gpl-3.0.html#9-acceptance-not-required-for-having-copies","gpl-3.0.html#10-automatic-licensing-of-downstream-recipients","gpl-3.0.html#11-patents","gpl-3.0.html#12-no-surrender-of-others-freedom","gpl-3.0.html#13-use-with-the-gnu-affero-general-public-license","gpl-3.0.html#14-revised-versions-of-this-license","gpl-3.0.html#15-disclaimer-of-warranty","gpl-3.0.html#16-limitation-of-liability","gpl-3.0.html#17-interpretation-of-sections-15-and-16","gpl-3.0.html#how-to-apply-these-terms-to-your-new-programs","lgpl-3.0.html#gnu-lesser-general-public-license","lgpl-3.0.html#0-additional-definitions","lgpl-3.0.html#1-exception-to-section-3-of-the-gnu-gpl","lgpl-3.0.html#2-conveying-modified-versions","lgpl-3.0.html#3-object-code-incorporating-material-from-library-header-files","lgpl-3.0.html#4-combined-works","lgpl-3.0.html#5-combined-libraries","lgpl-3.0.html#6-revised-versions-of-the-gnu-lesser-general-public-license","lgpl-2.1.html#gnu-lesser-general-public-license","lgpl-2.1.html#preamble","lgpl-2.1.html#terms-and-conditions-for-copying-distribution-and-modification","lgpl-2.1.html#how-to-apply-these-terms-to-your-new-libraries"],"index":{"documentStore":{"docInfo":{"0":{"body":51,"breadcrumbs":4,"title":2},"1":{"body":0,"breadcrumbs":14,"title":6},"10":{"body":103,"breadcrumbs":11,"title":1},"11":{"body":64,"breadcrumbs":13,"title":3},"12":{"body":3,"breadcrumbs":12,"title":2},"13":{"body":50,"breadcrumbs":12,"title":2},"14":{"body":6,"breadcrumbs":13,"title":3},"15":{"body":11,"breadcrumbs":12,"title":2},"16":{"body":14,"breadcrumbs":12,"title":2},"17":{"body":26,"breadcrumbs":16,"title":6},"18":{"body":13,"breadcrumbs":13,"title":3},"19":{"body":11,"breadcrumbs":16,"title":6},"2":{"body":129,"breadcrumbs":9,"title":1},"20":{"body":0,"breadcrumbs":13,"title":3},"21":{"body":37,"breadcrumbs":22,"title":12},"22":{"body":31,"breadcrumbs":18,"title":8},"23":{"body":293,"breadcrumbs":16,"title":6},"24":{"body":74,"breadcrumbs":11,"title":1},"25":{"body":9,"breadcrumbs":1,"title":1},"26":{"body":
|