Documentation

EvmYul.EVM.GasConstants

source
def GasConstants.Gzero :
ℕ
Equations
Instances For
    source
    def GasConstants.Gjumpdest :
    ℕ
    Equations
    Instances For
      source
      def GasConstants.Gbase :
      ℕ
      Equations
      Instances For
        source
        def GasConstants.Gverylow :
        ℕ
        Equations
        Instances For
          source
          def GasConstants.Glow :
          ℕ
          Equations
          Instances For
            source
            def GasConstants.Gmid :
            ℕ
            Equations
            Instances For
              source
              def GasConstants.Ghigh :
              ℕ
              Equations
              Instances For
                source
                def GasConstants.Gwarmaccess :
                ℕ
                Equations
                Instances For
                  source
                  def GasConstants.Gaccesslistaddress :
                  ℕ
                  Equations
                  Instances For
                    source
                    def GasConstants.Gaccessliststorage :
                    ℕ
                    Equations
                    Instances For
                      source
                      def GasConstants.Gcoldaccountaccess :
                      ℕ
                      Equations
                      Instances For
                        source
                        def GasConstants.Gcoldsload :
                        ℕ
                        Equations
                        Instances For
                          source
                          def GasConstants.Gsset :
                          ℕ
                          Equations
                          Instances For
                            source
                            def GasConstants.Gsreset :
                            ℕ
                            Equations
                            Instances For
                              source
                              def GasConstants.Rsclear :
                              ℕ
                              Equations
                              Instances For
                                source
                                def GasConstants.Gselfdestruct :
                                ℕ
                                Equations
                                Instances For
                                  source
                                  def GasConstants.Gcreate :
                                  ℕ
                                  Equations
                                  Instances For
                                    source
                                    def GasConstants.Gcodedeposit :
                                    ℕ
                                    Equations
                                    Instances For
                                      source
                                      def GasConstants.Ginitcodeword :
                                      ℕ
                                      Equations
                                      Instances For
                                        source
                                        def GasConstants.Gcallvalue :
                                        ℕ
                                        Equations
                                        Instances For
                                          source
                                          def GasConstants.Gcallstipend :
                                          ℕ
                                          Equations
                                          Instances For
                                            source
                                            def GasConstants.Gnewaccount :
                                            ℕ
                                            Equations
                                            Instances For
                                              source
                                              def GasConstants.Gexp :
                                              ℕ
                                              Equations
                                              Instances For
                                                source
                                                def GasConstants.Gexpbyte :
                                                ℕ
                                                Equations
                                                Instances For
                                                  source
                                                  def GasConstants.Gmemory :
                                                  ℕ
                                                  Equations
                                                  Instances For
                                                    source
                                                    def GasConstants.Gtxcreate :
                                                    ℕ
                                                    Equations
                                                    Instances For
                                                      source
                                                      def GasConstants.Gtxdatazero :
                                                      ℕ
                                                      Equations
                                                      Instances For
                                                        source
                                                        def GasConstants.Gtxdatanonzero :
                                                        ℕ
                                                        Equations
                                                        Instances For
                                                          source
                                                          def GasConstants.Gtransaction :
                                                          ℕ
                                                          Equations
                                                          Instances For
                                                            source
                                                            def GasConstants.Glog :
                                                            ℕ
                                                            Equations
                                                            Instances For
                                                              source
                                                              def GasConstants.Glogdata :
                                                              ℕ
                                                              Equations
                                                              Instances For
                                                                source
                                                                def GasConstants.Glogtopic :
                                                                ℕ
                                                                Equations
                                                                Instances For
                                                                  source
                                                                  def GasConstants.Gkeccak256 :
                                                                  ℕ
                                                                  Equations
                                                                  Instances For
                                                                    source
                                                                    def GasConstants.Gkeccak256word :
                                                                    ℕ
                                                                    Equations
                                                                    Instances For
                                                                      source
                                                                      def GasConstants.Gcopy :
                                                                      ℕ
                                                                      Equations
                                                                      Instances For
                                                                        source
                                                                        def GasConstants.Gblockhash :
                                                                        ℕ
                                                                        Equations
                                                                        Instances For
                                                                          source
                                                                          def GasConstants.HASH_OPCODE_GAS :
                                                                          ℕ
                                                                          Equations
                                                                          Instances For