| CARVIEW |
Select Language
HTTP/2 302
server: nginx
date: Thu, 21 Aug 2025 11:49:02 GMT
content-type: text/plain; charset=utf-8
content-length: 0
x-archive-redirect-reason: found capture at 20180611010953
location: https://web.archive.org/web/20180611010953/https://github.com/orbekk/mjollnir
server-timing: captures_list;dur=0.619291, exclusion.robots;dur=0.025885, exclusion.robots.policy;dur=0.015065, esindex;dur=0.010146, cdx.remote;dur=87.874752, LoadShardBlock;dur=436.570666, PetaboxLoader3.datanode;dur=233.169281, PetaboxLoader3.resolve;dur=61.101439
x-app-server: wwwb-app200
x-ts: 302
x-tr: 584
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1
set-cookie: wb-p-SERVER=wwwb-app200; path=/
x-location: All
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
HTTP/2 200
server: nginx
date: Thu, 21 Aug 2025 11:49:03 GMT
content-type: text/html; charset=utf-8
x-archive-orig-server: GitHub.com
x-archive-orig-date: Mon, 11 Jun 2018 01:09:53 GMT
x-archive-orig-transfer-encoding: chunked
x-archive-orig-status: 200 OK
x-archive-orig-cache-control: no-cache
x-archive-orig-vary: X-PJAX
x-archive-orig-set-cookie: logged_in=no; domain=.github.com; path=/; expires=Fri, 11 Jun 2038 01:09:53 -0000; secure; HttpOnly
x-archive-orig-set-cookie: _gh_sess=MzhzUnFGYUU1c3EyM2RobHMzVXRLY2FNK3Y1dldQYis5WW56RWpjSFVta1d1a05GM0NkWlovUWkzMkxjRGMvUkI4TUdZM29yeWRsVWJTQTNXMC9hTVNsUkY2eHJxQmwrY091UzVpWU14TnhST2NHOUVyMjg4VjhjN25jdFFzbHRRL1d4WDQ4cURKVDNLRi82Zmt2THN2M3l6OHlvVlFYNVFyRTVCY1ovOHhPK1hDUHg4UzllK2NJOFRqSkc4aU1wc28xM3Z5cXNoVFhBT0VQY1lNU2poejBxRndsNFptRk5YYytPd3BSY0NReWVIVStwWngxaU05ODRLQ253YnBFMzFSS2hNN05uQzhQb3NrTnZBOVpSdzJIY0swTG5JWXBlNUlqU1ZuV01lODhkaHl4MU9pdCsxT0h4MGljUU1tb2ZKVHVWRm9kWnd6RXRFZjFPOVFLS2VCeVJtRS8xcmdCL3hLRWFVUlNmM0doRmg2R0FjeHY3RlRrKzY0Um5vQ29HRktFbkMwamx2RWUxNVIzR1EyZ1I0Z044clZqaGl1V3lWTlVNM2FJOS9nVT0tLVFhdEpNQXpXKy9FcmpMcSt0N1ZNOVE9PQ%3D%3D--65f9dd6b3f7b4ef5ad7afcc1508ebd4f5082cbae; path=/; secure; HttpOnly
x-archive-orig-x-request-id: c978ce26-a7ba-4661-9bb9-1ae6b5646b8d
x-archive-orig-x-runtime: 0.241966
x-archive-orig-strict-transport-security: max-age=31536000; includeSubdomains; preload
x-archive-orig-x-frame-options: deny
x-archive-orig-x-content-type-options: nosniff
x-archive-orig-x-xss-protection: 1; mode=block
x-archive-orig-expect-ct: max-age=2592000, report-uri="https://api.github.com/_private/browser/errors"
x-archive-orig-content-security-policy: default-src 'none'; base-uri 'self'; block-all-mixed-content; connect-src 'self' uploads.github.com status.github.com collector.githubapp.com api.github.com www.google-analytics.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com wss://live.github.com; font-src assets-cdn.github.com; form-action 'self' github.com gist.github.com; frame-ancestors 'none'; frame-src render.githubusercontent.com; img-src 'self' data: assets-cdn.github.com identicons.github.com collector.githubapp.com github-cloud.s3.amazonaws.com *.githubusercontent.com; manifest-src 'self'; media-src 'none'; script-src assets-cdn.github.com; style-src 'unsafe-inline' assets-cdn.github.com
x-archive-orig-x-runtime-rack: 0.251937
x-archive-orig-x-github-request-id: 83DC:2130:42EE6BC:7BE9C0A:5B1DCBE1
x-archive-guessed-content-type: text/html
x-archive-guessed-charset: utf-8
memento-datetime: Mon, 11 Jun 2018 01:09:53 GMT
link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate", ; rel="first memento"; datetime="Mon, 11 Jun 2018 01:09:53 GMT", ; rel="memento"; datetime="Mon, 11 Jun 2018 01:09:53 GMT", ; rel="next memento"; datetime="Mon, 19 Oct 2020 16:44:49 GMT", ; rel="last memento"; datetime="Mon, 19 Oct 2020 16:44:49 GMT"
content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org
x-archive-src: archiveteam_github_20180703145256/archiveteam_github_20180703145256.megawarc.warc.gz
server-timing: captures_list;dur=0.589515, exclusion.robots;dur=0.027255, exclusion.robots.policy;dur=0.016155, esindex;dur=0.011896, cdx.remote;dur=9.827667, LoadShardBlock;dur=283.422638, PetaboxLoader3.datanode;dur=106.888478, PetaboxLoader3.resolve;dur=507.687753, load_resource;dur=344.856090
x-app-server: wwwb-app200
x-ts: 200
x-tr: 718
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1
x-location: All
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
content-encoding: gzip
GitHub - orbekk/mjollnir: Thor's Hammer
Fetching latest commit…
Permalink
Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Thor's Hammer
Verilog
Clone or download
Launching GitHub Desktop...
If nothing happens, download GitHub Desktop and try again.
Launching GitHub Desktop...
If nothing happens, download GitHub Desktop and try again.
Launching Xcode...
If nothing happens, download Xcode and try again.
Launching Visual Studio...
If nothing happens, download the GitHub extension for Visual Studio and try again.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
| Failed to load latest commit information. | |||
|
contrib | ||
|
|
.gitignore | ||
|
|
Makefile | ||
|
|
Mjollnir.v | ||
|
|
README | ||
README
Goal: Remove the SMT solver from PEC's trusted computing base.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.