From 5d7642569d0f20d93bded5cd0ac113a31af55404 Mon Sep 17 00:00:00 2001 From: Thomas Goodfellow Date: Fri, 29 Nov 2024 11:43:04 +0100 Subject: [PATCH] Fix #127 (experimental extension intrinsics) Fix was removing the gratuitous concept --- examples/cfg/openasip/OpenASIP_base.yml | 3 +-- seal5/backends/riscv_intrinsics/writer.py | 2 -- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/examples/cfg/openasip/OpenASIP_base.yml b/examples/cfg/openasip/OpenASIP_base.yml index d33281ab..0361b4d2 100644 --- a/examples/cfg/openasip/OpenASIP_base.yml +++ b/examples/cfg/openasip/OpenASIP_base.yml @@ -2,8 +2,7 @@ extensions: OpenASIP_base: version: "1.0" - # experimental: true - experimental: false + experimental: true vendor: true passes: per_model: diff --git a/seal5/backends/riscv_intrinsics/writer.py b/seal5/backends/riscv_intrinsics/writer.py index fc93a651..eea4fe60 100644 --- a/seal5/backends/riscv_intrinsics/writer.py +++ b/seal5/backends/riscv_intrinsics/writer.py @@ -297,8 +297,6 @@ def main(): with open(patch_path, "w") as f: f.write(contents) key = frag.tag - if ext_settings.experimental: - key += "_experimental" patch = NamedPatch(frag.patchee, key=key, src_path=patch_path, content=contents) artifacts[None].append(patch) if args.metrics: