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,