Merge pull request #57 from opencompl/nazavode/fdiv-rtl

Add fdiv/fsqrt capability to rtl
opencompl · Nov 3, 2023 · 153d8bd · 153d8bd
2 parents 133080b + 55271ff
commit 153d8bd
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/ci-experiments.yml b/.github/workflows/ci-experiments.yml
@@ -9,7 +9,7 @@ on:
 jobs:
   run-experiments:
     runs-on: ubuntu-latest
-    container: ghcr.io/nazavode/snitch-toolchain:2.3
+    container: ghcr.io/nazavode/snitch-toolchain:2.4
     steps:
       - uses: actions/checkout@v3
         with:

diff --git a/.github/workflows/ci-kernels.yml b/.github/workflows/ci-kernels.yml
@@ -9,7 +9,7 @@ on:
 jobs:
   build-and-run-kernels:
     runs-on: ubuntu-latest
-    container: ghcr.io/nazavode/snitch-toolchain:2.3
+    container: ghcr.io/nazavode/snitch-toolchain:2.4
     steps:
       - uses: actions/checkout@v3
         with:

diff --git a/snitch/docker/Dockerfile b/snitch/docker/Dockerfile
@@ -1,11 +1,11 @@
 FROM ghcr.io/pulp-platform/snitch_cluster@sha256:9978f9d0e3e6b7ad1b2c1f0eb628a113226e8443bc42ae8b4ddd3f34d9528e96 as builder
 
-RUN git clone --recursive https://github.com/pulp-platform/snitch_cluster.git /src \
+RUN git clone --recursive https://github.com/nazavode/snitch_cluster.git /src \
  && cd /src \
- && git reset --hard 772b86ae84ec0d5a6f1e755cb524ba0aae2cefc3 \
+ && git checkout nazavode/xdsl-ci \
  # verilator model
  && cd /src/target/snitch_cluster \
- && make bin/snitch_cluster.vlt \
+ && make CFG_OVERRIDE=cfg/fdiv.hjson bin/snitch_cluster.vlt \
  # spike-dasm
  && cd /src/target/snitch_cluster/work-vlt/riscv-isa-sim \
  && ./configure --prefix=/opt/snitch-spike \