From b083f7789856ca7bfe7fb509f96d57363ac110f7 Mon Sep 17 00:00:00 2001
From: xermicus <bigcyrill@hotmail.com>
Date: Tue, 4 Nov 2025 18:22:06 +0100
Subject: [PATCH] Add resolc Solidity compiler v0.5.0 (#8245)

This PR adds the newest version `v0.5.0` of the `resolc` Solidity
compiler.

Infra PR: https://github.com/compiler-explorer/infra/pull/1882

---------

Signed-off-by: xermicus <cyrill@parity.io>
---
 etc/config/solidity.amazon.properties   |  6 +++++-
 etc/config/solidity.defaults.properties | 10 +++++-----
 etc/config/yul.amazon.properties        |  8 ++++++--
 etc/config/yul.defaults.properties      |  8 ++++++--
 4 files changed, 22 insertions(+), 10 deletions(-)

diff --git a/etc/config/solidity.amazon.properties b/etc/config/solidity.amazon.properties
index 98de9ca66..cfe605b30 100644
--- a/etc/config/solidity.amazon.properties
+++ b/etc/config/solidity.amazon.properties
@@ -62,7 +62,7 @@ compiler.solx012.name=solx 0.1.2
 # The Resolc compiler supports compiling both Solidity and Yul (Solidity IR), thus
 # the same compiler is used for both languages. The compiler config IDs will clash
 # if they are not unique, therefore the IDs contain either 'yul' or 'sol'.
-group.resolc.compilers=resolc040_sol
+group.resolc.compilers=resolc040_sol:resolc050_sol
 group.resolc.compilerType=resolc
 group.resolc.objdumper=/opt/compiler-explorer/clang-21.1.0/bin/llvm-objdump
 group.resolc.objdumperType=llvm
@@ -76,6 +76,10 @@ compiler.resolc040_sol.exe=/opt/compiler-explorer/resolc-0.4.0/resolc
 compiler.resolc040_sol.semver=0.4.0
 compiler.resolc040_sol.name=resolc 0.4.0
 compiler.resolc040_sol.instructionSet=riscv64
+compiler.resolc050_sol.exe=/opt/compiler-explorer/resolc-0.5.0/resolc
+compiler.resolc050_sol.semver=0.5.0
+compiler.resolc050_sol.name=resolc 0.5.0
+compiler.resolc050_sol.instructionSet=riscv64
 
 #################################
 #################################
diff --git a/etc/config/solidity.defaults.properties b/etc/config/solidity.defaults.properties
index 773d62b11..cd527422b 100644
--- a/etc/config/solidity.defaults.properties
+++ b/etc/config/solidity.defaults.properties
@@ -24,7 +24,7 @@ compiler.solx.compilerType=solx
 compiler.solx.instructionSet=evm
 compiler.solx.isSemVer=true
 
-group.resolc.compilers=resolc040_sol
+group.resolc.compilers=resolc050_sol
 group.resolc.compilerType=resolc
 group.resolc.objdumper=/usr/local/bin/llvm-objdump
 group.resolc.objdumperType=llvm
@@ -34,10 +34,10 @@ group.resolc.intelAsm=false
 group.resolc.supportsBinaryObject=true
 group.resolc.supportsBinary=false
 group.resolc.supportsExecute=false
-compiler.resolc040_sol.exe=/opt/compiler-explorer/resolc-0.4.0/resolc
-compiler.resolc040_sol.semver=0.4.0
-compiler.resolc040_sol.name=resolc 0.4.0
-compiler.resolc040_sol.instructionSet=riscv64
+compiler.resolc050_sol.exe=/opt/compiler-explorer/resolc-0.5.0/resolc
+compiler.resolc050_sol.semver=0.5.0
+compiler.resolc050_sol.name=resolc 0.5.0
+compiler.resolc050_sol.instructionSet=riscv64
 
 #################################
 #################################
diff --git a/etc/config/yul.amazon.properties b/etc/config/yul.amazon.properties
index 6c9986550..86b35ba49 100644
--- a/etc/config/yul.amazon.properties
+++ b/etc/config/yul.amazon.properties
@@ -1,11 +1,11 @@
 compilers=&resolc
-defaultCompiler=resolc040_yul
+defaultCompiler=resolc050_yul
 supportsLibraryCodeFilter=true
 
 # The Resolc compiler supports compiling both Solidity and Yul (Solidity IR), thus
 # the same compiler is used for both languages. The compiler config IDs will clash
 # if they are not unique, therefore the IDs contain either 'yul' or 'sol'.
-group.resolc.compilers=resolc040_yul
+group.resolc.compilers=resolc040_yul:resolc050_yul
 group.resolc.compilerType=resolc
 group.resolc.objdumper=/opt/compiler-explorer/clang-21.1.0/bin/llvm-objdump
 group.resolc.objdumperType=llvm
@@ -19,6 +19,10 @@ compiler.resolc040_yul.exe=/opt/compiler-explorer/resolc-0.4.0/resolc
 compiler.resolc040_yul.semver=0.4.0
 compiler.resolc040_yul.name=resolc 0.4.0
 compiler.resolc040_yul.instructionSet=riscv64
+compiler.resolc050_yul.exe=/opt/compiler-explorer/resolc-0.5.0/resolc
+compiler.resolc050_yul.semver=0.5.0
+compiler.resolc050_yul.name=resolc 0.5.0
+compiler.resolc050_yul.instructionSet=riscv64
 
 #################################
 #################################
diff --git a/etc/config/yul.defaults.properties b/etc/config/yul.defaults.properties
index 65564374c..e8161e780 100644
--- a/etc/config/yul.defaults.properties
+++ b/etc/config/yul.defaults.properties
@@ -1,9 +1,9 @@
 compilers=&resolc
 compilerType=resolc
-defaultCompiler=resolc040_yul
+defaultCompiler=resolc050_yul
 supportsLibraryCodeFilter=true
 
-group.resolc.compilers=resolc040_yul
+group.resolc.compilers=resolc040_yul:resolc050_yul
 group.resolc.compilerType=resolc
 group.resolc.objdumper=/usr/local/bin/llvm-objdump
 group.resolc.objdumperType=llvm
@@ -17,6 +17,10 @@ compiler.resolc040_yul.exe=/opt/compiler-explorer/resolc-0.4.0/resolc
 compiler.resolc040_yul.semver=0.4.0
 compiler.resolc040_yul.name=resolc 0.4.0
 compiler.resolc040_yul.instructionSet=riscv64
+compiler.resolc050_yul.exe=/opt/compiler-explorer/resolc-0.5.0/resolc
+compiler.resolc050_yul.semver=0.5.0
+compiler.resolc050_yul.name=resolc 0.5.0
+compiler.resolc050_yul.instructionSet=riscv64
 
 #################################
 #################################