Update dependency: deps/k_release (#3736)

<!-- This is an auto-generated comment: release notes by coderabbit.ai
-->

## Summary by CodeRabbit

- **New Features**
- Updated the application to version `6.3.24` for enhanced stability and
performance.
- **Refactor**
- Improved syntax handling for better pattern matching and construction
in various modules.
- Enhanced list handling through syntax modifications, affecting
expressions, values, and statements for clearer and more efficient code
execution.

<!-- end of auto-generated comment: release notes by coderabbit.ai -->

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>

deps/k_release

@@ -1 +1 @@
-6.3.21
+6.3.24

test/overloads/domain-values/domain-values.k

@@ -6,11 +6,11 @@ module DOMAIN-VALUES
   syntax B ::= "b"
   syntax AB ::= A | B
 
-  syntax Sub ::= "ctor" A [klabel(ctor)]
+  syntax Sub ::= "ctor" A [overload(ctor)]
   syntax Sub ::= Int
 
   syntax Sup ::= Sub
-  syntax Sup ::= "ctor" AB [klabel(ctor)]
+  syntax Sup ::= "ctor" AB [overload(ctor)]
 
   syntax Pgm ::= Sup
   syntax Pgm ::= "end"

test/overloads/simple-exps/simple-exps.k

@@ -5,8 +5,8 @@ module SIMPLE-EXPS
   syntax Exp ::= Exp "+" Exp             [strict]
   syntax Exp ::= "[" Exps "]"
   syntax Exp ::= length(Exps)
-  syntax Exps ::= List{Exp,","}          [klabel(_,_)]  // automatically hybrid now
-  syntax Vals ::= List{Val,","}          [klabel(_,_)]
+  syntax Exps ::= List{Exp,","}          [overload(_,_)]
+  syntax Vals ::= List{Val,","}          [overload(_,_)]
   syntax Exps ::= Vals
 
   rule [Vs:Vals] => length(Vs)

test/overloads/simple-lists/simple-lists.k

@@ -8,10 +8,10 @@ module SIMPLE-LISTS
     syntax Stmt  ::= Instr | Defn
  // -----------------------------
 
-    syntax EmptyStmts ::= List{EmptyStmt , ""} [klabel(listStmt)]
-    syntax Instrs     ::= List{Instr     , ""} [klabel(listStmt)]
-    syntax Defns      ::= List{Defn      , ""} [klabel(listStmt)]
-    syntax Stmts      ::= List{Stmt      , ""} [klabel(listStmt)]
+    syntax EmptyStmts ::= List{EmptyStmt , ""} [overload(listStmt)]
+    syntax Instrs     ::= List{Instr     , ""} [overload(listStmt)]
+    syntax Defns      ::= List{Defn      , ""} [overload(listStmt)]
+    syntax Stmts      ::= List{Stmt      , ""} [overload(listStmt)]
  // -------------------------------------------------------------
 
     syntax Instrs ::= EmptyStmts

test/overloads/strict-lists/simple-exps.k

@@ -3,14 +3,14 @@ module SIMPLE-EXPS
   syntax Exp ::= Val
   syntax Exp ::= Exp "+" Exp             [strict]
   syntax Exp ::= "[" Exps "]"            [strict]
-  syntax Exps ::= List{Exp,","}          [klabel(_,_), strict]  // automatically hybrid now
+  syntax Exps ::= List{Exp,","}          [overload(_,_), strict]
   syntax Exp ::= length(Exp)             [strict]
 
   syntax KResult ::= Val | Vals
 
   syntax Val ::= Int
   syntax Val ::= vals(Vals)
-  syntax Vals ::= List{Val,","}          [klabel(_,_), strict]
+  syntax Vals ::= List{Val,","}          [overload(_,_), strict]
   syntax Exps ::= Vals
 
   configuration <k> $PGM:Exp </k>

test/overloads/wasm-val-type/test.k

@@ -6,9 +6,9 @@ module TEST
     syntax FValType ::= "f32" | "f64"
     syntax AValType ::= IValType | FValType
     syntax Number ::= Int | Float
-    syntax IVal ::= "<" IValType ">" Int    [klabel(<_>_)]
-    syntax FVal ::= "<" FValType ">" Float  [klabel(<_>_)]
-    syntax  Val ::= "<" AValType ">" Number [klabel(<_>_)]
+    syntax IVal ::= "<" IValType ">" Int    [overload(<_>_)]
+    syntax FVal ::= "<" FValType ">" Float  [overload(<_>_)]
+    syntax  Val ::= "<" AValType ">" Number [overload(<_>_)]
                   | IVal | FVal
     syntax Instr ::= Instr Instr