Upgrade Solidity to 0.8.25 (#943)

See commit description for each change.

We should probably release a patch version and use it in the extension,
as there are quite a few "unsupported version" errors reported by the
users.

.changeset/witty-adults-sleep.md

@@ -0,0 +1,5 @@
+---
+"@nomicfoundation/slang": patch
+---
+
+Support Solidity 0.8.25

crates/solidity/inputs/language/src/definition.rs

@@ -28,7 +28,7 @@ codegen_language_macros::compile!(Language(
  "0.6.12", "0.7.0", "0.7.1", "0.7.2", "0.7.3", "0.7.4", "0.7.5", "0.7.6", "0.8.0", "0.8.1",
  "0.8.2", "0.8.3", "0.8.4", "0.8.5", "0.8.6", "0.8.7", "0.8.8", "0.8.9", "0.8.10", "0.8.11",
  "0.8.12", "0.8.13", "0.8.14", "0.8.15", "0.8.16", "0.8.17", "0.8.18", "0.8.19", "0.8.20",
- "0.8.21", "0.8.22"
+ "0.8.21", "0.8.22", "0.8.23", "0.8.24", "0.8.25"
  ],
  sections = [
  Section(
@@ -4479,7 +4479,19 @@ codegen_language_macros::compile!(Language(
  EnumVariant(
  reference = YulPrevRandaoKeyword,
  enabled = From("0.8.18")
- )
+ ),
+ // 'Cancun' hard-fork updates:
+ EnumVariant(
+ reference = YulBlobBaseFeeKeyword,
+ enabled = From("0.8.24")
+ ),
+ EnumVariant(
+ reference = YulBlobHashKeyword,
+ enabled = From("0.8.24")
+ ),
+ EnumVariant(reference = YulTLoadKeyword, enabled = From("0.8.24")),
+ EnumVariant(reference = YulTStoreKeyword, enabled = From("0.8.24")),
+ EnumVariant(reference = YulMCopyKeyword, enabled = From("0.8.24"))
  ]
  ),
  Enum(
@@ -4633,6 +4645,24 @@ codegen_language_macros::compile!(Language(
  value = Atom("basefee")
  )]
  ),
+ Keyword(
+ name = YulBlobBaseFeeKeyword,
+ identifier = YulIdentifier,
+ definitions = [KeywordDefinition(
+ enabled = From("0.8.24"),
+ reserved = From("0.8.24"),
+ value = Atom("blobbasefee")
+ )]
+ ),
+ Keyword(
+ name = YulBlobHashKeyword,
+ identifier = YulIdentifier,
+ definitions = [KeywordDefinition(
+ enabled = From("0.8.24"),
+ reserved = From("0.8.24"),
+ value = Atom("blobhash")
+ )]
+ ),
  Keyword(
  name = YulBlockHashKeyword,
  identifier = YulIdentifier,
@@ -5593,6 +5623,15 @@ codegen_language_macros::compile!(Language(
  value = Atom("minutes")
  )]
  ),
+ Keyword(
+ name = YulMCopyKeyword,
+ identifier = YulIdentifier,
+ definitions = [KeywordDefinition(
+ enabled = From("0.8.24"),
+ reserved = From("0.8.24"),
+ value = Atom("mcopy")
+ )]
+ ),
  Keyword(
  name = YulMLoadKeyword,
  identifier = YulIdentifier,
@@ -6054,11 +6093,29 @@ codegen_language_macros::compile!(Language(
  value = Atom("throw")
  )]
  ),
+ Keyword(
+ name = YulTLoadKeyword,
+ identifier = YulIdentifier,
+ definitions = [KeywordDefinition(
+ enabled = From("0.8.24"),
+ reserved = From("0.8.24"),
+ value = Atom("tload")
+ )]
+ ),
  Keyword(
  name = YulTrueKeyword,
  identifier = YulIdentifier,
  definitions = [KeywordDefinition(value = Atom("true"))]
  ),
+ Keyword(
+ name = YulTStoreKeyword,
+ identifier = YulIdentifier,
+ definitions = [KeywordDefinition(
+ enabled = From("0.8.24"),
+ reserved = From("0.8.24"),
+ value = Atom("tstore")
+ )]
+ ),
  Keyword(
  name = YulTryKeyword,
  identifier = YulIdentifier,