Squashed rebased

.github/workflows/ci-interpreter.yml

@@ -21,16 +21,17 @@ jobs:
       - name: Setup OCaml
         uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: 4.14.x
-      - name: Setup OCaml tools
-        run: opam install --yes ocamlfind.1.9.5 js_of_ocaml.4.0.0 js_of_ocaml-ppx.4.0.0
-      - name: Setup Node.js
-        uses: actions/setup-node@v4
-        with:
-          node-version: 20.x
+          ocaml-compiler: 5.04.x
       - name: Build interpreter
-        run: cd interpreter && opam exec make
+        run: cd interpreter && opam exec make jsdeps wasm
+      # Neither V8 nor SpiderMonkey can currently handle all 3.0 tests, so we disable checking JS translation for now.
+      #- name: Setup Node.js
+      #  uses: actions/setup-node@v4
+      #  with:
+      #    node-version: 25-nightly
+      #- name: Setup SpiderMonkey
+      #  run: curl -O https://archive.mozilla.org/pub/firefox/nightly/latest-mozilla-central/jsshell-linux-x86_64.zip && unzip jsshell-linux-x86_64.zip
       - name: Run tests
-        # TODO: reactiate node once it supports all of Wasm 3.0
-        # run: cd interpreter && opam exec make JS=node ci
-        run: cd interpreter && opam exec make ci
+        run: cd interpreter && opam exec make ci           # don't test JS translation
+      # run: cd interpreter && opam exec make JS=node ci   # test with V8
+      # run: cd interpreter && opam exec make JS=../js ci  # test with SM

.github/workflows/ci-spec.yml

@@ -2,24 +2,39 @@ name: CI for specs
 
 on:
   push:
-    branches: [ main, wasm-3.0 ]
-    paths: [ .github/**, document/** ]
+    branches: [ main ]
+    paths: [ .github/**, document/**, spectec/src/**, specification/** ]
 
   pull_request:
-    branches: [ main, wasm-3.0 ]
-    paths: [ .github/**, document/** ]
+    branches: [ main ]
+    paths: [ .github/**, document/**, spectec/src/**, specification/** ]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
 jobs:
+  ensure-wasm-latest:
+    if: ${{ github.repository == 'WebAssembly/spec' }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v4
+      - name: Diff wasm-latest
+        run: cd specification && bash diff-wasm-latest.sh
+
   build-core-spec:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repo
         uses: actions/checkout@v4
         with:
           submodules: "recursive"
+      - name: Setup OCaml
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: 5.04.x
+      - name: Setup Dune
+        run: opam install --yes dune menhir mdx zarith && opam exec dune --version
       - name: Setup Node.js
         uses: actions/setup-node@v4
         with:
@@ -29,11 +44,13 @@ jobs:
       - name: Setup TexLive
         run: sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
       - name: Setup Sphinx
-        run: pip install six && pip install sphinx==5.1.0
+        run: pip install six && pip install sphinx==8.1.3
+      - name: Build SpecTec
+        run: cd spectec && opam exec make
       - name: Build main spec
-        run: cd document/core && make main
+        run: cd document/core && opam exec make main
       - name: Run Bikeshed
-        run: cd document/core && make bikeshed
+        run: cd document/core && opam exec make bikeshed
       - name: Upload artifact
         uses: actions/upload-artifact@v4
         with:
@@ -72,16 +89,15 @@ jobs:
 
   build-code-metadata-spec:
     runs-on: ubuntu-latest
-    needs: [build-core-spec]
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
           submodules: "recursive"
       - name: Setup TexLive
         run: sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
       - name: Setup Sphinx
-        run: pip install six && pip install sphinx==5.1.0
+        run: pip install six && pip install sphinx==8.1.3
       - name: Build main spec
         run: cd document/metadata/code && make main
       - name: Upload artifact
@@ -94,13 +110,13 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
           submodules: "recursive"
       - name: Setup TexLive
         run: sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
       - name: Setup Sphinx
-        run: pip install six && pip install sphinx==5.1.0
+        run: pip install six && pip install sphinx==8.1.3
       - name: Build main spec
         run: cd document/legacy/exceptions/core && make main
       - name: Upload artifact
@@ -113,7 +129,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: Setup Bikeshed
         run: pip install bikeshed && bikeshed update
       - name: Run Bikeshed
@@ -138,6 +154,7 @@ jobs:
   publish-spec:
     runs-on: ubuntu-latest
     needs:
+      - ensure-wasm-latest
       - build-core-spec
       - build-js-api-spec
       - build-web-api-spec

.github/workflows/ci-spectec.yml

@@ -0,0 +1,32 @@
+name: CI for spectec
+
+on:
+  push:
+    branches: [ main ]
+    paths: [ spectec/**, document/** ]
+
+  pull_request:
+    branches: [ main ]
+    paths: [ spectec/**, document/** ]
+
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+jobs:
+  spec-tec:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v4
+      - name: Setup OCaml
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: 5.04.x
+      - name: Setup Dune
+        run: opam install --yes dune menhir mdx zarith
+      - name: Setup Latex
+        run: sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
+      - name: Setup Sphinx
+        run: pip install six && pip install sphinx==8.1.3
+      - name: Build and test
+        run: cd spectec && opam exec make ci

.gitignore

@@ -3,3 +3,4 @@
 **/*.pyc
 **/_build
 **/_output
+*.swp

LICENSE

@@ -3,6 +3,8 @@ Please see the LICENSE file in each top-level directory for the terms applicable
 The relevant directories and licenses are:
 
 document/    - W3C Software and Document Notice and License
+spectec/     - Apache License 2.0
 interpreter/ - Apache License 2.0
 test/        - Apache License 2.0
-papers/      - Creative Commons Attribution 4.0 International License
+proposals/   - Creative Commons Universal 1.0 International License (CC0)
+papers/      - Creative Commons Attribution 4.0 International License (CC BY 4.0)

README.md

@@ -1,13 +1,27 @@
-[![CI for specs](https://github.com/WebAssembly/spec/actions/workflows/ci-spec.yml/badge.svg)](https://github.com/WebAssembly/spec/actions/workflows/ci-spec.yml)
-[![CI for interpreter & tests](https://github.com/WebAssembly/spec/actions/workflows/ci-interpreter.yml/badge.svg)](https://github.com/WebAssembly/spec/actions/workflows/ci-interpreter.yml)
+[![CI for specs](https://github.com/WebAssembly/stack-switching/actions/workflows/ci-spec.yml/badge.svg)](https://github.com/WebAssembly/stack-switching/actions/workflows/ci-spec.yml)
+[![CI for interpreter & tests](https://github.com/WebAssembly/stack-switching/actions/workflows/ci-interpreter.yml/badge.svg)](https://github.com/WebAssembly/stack-switching/actions/workflows/ci-interpreter.yml)
+
+# Stack-Switching Proposal for WebAssembly
+
+This repository is a clone of [`WebAssembly/spec`](https://github.com/WebAssembly/spec/). It is meant for discussion, prototype specification, and implementation of a proposal to add
+support for stack-switching.
+
+See the [explainer](proposals/stack-switching/Explainer.md) for a high-level summary of the proposal.
 
 # spec
 
-This repository holds the sources for the WebAssembly specification,
-a reference implementation, and the official test suite.
+This repository holds a prototypical reference implementation for WebAssembly,
+which is currently serving as the official specification. Eventually, we expect
+to produce a specification either written in human-readable prose or in a formal
+specification language.
+
+It also holds the WebAssembly testsuite, which tests numerous aspects of
+conformance to the spec.
+
+View the work-in-progress spec at [webassembly.github.io/spec](https://webassembly.github.io/spec/).
 
-A formatted version of the spec is available here:
-[webassembly.github.io/spec](https://webassembly.github.io/spec/),
+At this time, the contents of this repository are under development and known
+to be "incomplet and inkorrect".
 
 Participation is welcome. Discussions about new features, significant semantic
 changes, or any specification change likely to generate substantial discussion

document/README.md

@@ -42,7 +42,7 @@ pipenv shell
 Install Python dependencies:
 
 ```
-pipenv install Sphinx==4.0.0 six
+pipenv install Sphinx==8.1.3 six
 ```
 
 ### Checking out the repository

document/core/.gitignore

@@ -1,3 +1,4 @@
 _build
 _static
+_spectec
 document/*.pyc