diff --git a/site/com/Main.WebHome.xwiki b/site/com/Main.WebHome.xwiki index 61e27523..c202de3f 100644 --- a/site/com/Main.WebHome.xwiki +++ b/site/com/Main.WebHome.xwiki @@ -104,7 +104,7 @@ html, body, #xwikimaincontainer, #xwikimaincontainerinner, #contentcontainer, #c
A conservation invariant that holds regardless of instruction set. Validated across 38,400+ runs in 128 configurations under QEMU on amd64, aarch64 and riscv64, and published on SSRN.
diff --git a/site/com/build.py b/site/com/build.py index 85c8d122..e7a8f80b 100755 --- a/site/com/build.py +++ b/site/com/build.py @@ -13,7 +13,6 @@ one {{html}} block (which needs a page author with script rights). What changes - Try it: the drawn console becomes the real one, an iframe of try.starshipos-f18.com; - the inquiry form posts to the .org's PublicInquiry, which files it under Inquiries there (admin-only, site/org/inquiries); the announcements form, which has no server, sends by e-mail; - - a link the canvas left as a placeholder ([SSRN PAPER URL]) points at the .org until it is given. install.sh puts the pages and the images on the wiki. """ @@ -52,7 +51,6 @@ def body(src): html = html.replace('href="https://starshipos.org"', 'href="%s"' % ORG) html = html.replace(">starshipos.org", ">starshipos-f18.org") html = html.replace("on starshipos.org.", "on starshipos-f18.org.") - html = html.replace('href="[SSRN PAPER URL]"', 'href="%s"' % ORG) for blob, name in IMAGES.items(): html = html.replace('src="%s"' % blob, 'src="/bin/download/Main/WebHome/%s"' % name) html = html.replace("min-height: 100vh", "min-height: 0") # inside the wiki's page, not a screen diff --git a/site/com/canvas/Main.dc.html b/site/com/canvas/Main.dc.html index a8538304..63283bb2 100644 --- a/site/com/canvas/Main.dc.html +++ b/site/com/canvas/Main.dc.html @@ -94,7 +94,7 @@ a{color:#F5891F}a:hover{color:#FFB061}A conservation invariant that holds regardless of instruction set. Validated across 38,400+ runs in 128 configurations under QEMU on amd64, aarch64 and riscv64, and published on SSRN.