Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 10 of 10 for proof (0.05 sec)

  1. android/guava/src/com/google/common/primitives/UnsignedLongs.java

         * guaranteed to be either exact or one less than the correct value. This follows from fact that
         * floor(floor(x)/i) == floor(x/i) for any real x and integer i != 0. The proof is not quite
         * trivial.
         */
        long quotient = ((dividend >>> 1) / divisor) << 1;
        long rem = dividend - quotient * divisor;
        return quotient + (compare(rem, divisor) >= 0 ? 1 : 0);
      }
    
    Registered: Fri Dec 26 12:43:10 UTC 2025
    - Last Modified: Mon Aug 11 19:31:30 UTC 2025
    - 17.8K bytes
    - Viewed (0)
  2. android/guava/src/com/google/common/hash/Hashing.java

       * MD5 (128 hash bits) hash function and the given secret key.
       *
       * <p>If you are designing a new system that needs HMAC, prefer {@link #hmacSha256} or other
       * future-proof algorithms <a
       * href="https://datatracker.ietf.org/doc/html/rfc6151#section-2.3">over {@code hmacMd5}</a>.
       *
       * @param key the secret key
    Registered: Fri Dec 26 12:43:10 UTC 2025
    - Last Modified: Thu Jul 17 15:26:41 UTC 2025
    - 29.8K bytes
    - Viewed (0)
  3. android/guava/src/com/google/common/base/Equivalence.java

            Wrapper<?> that = (Wrapper<?>) obj; // note: not necessarily a Wrapper<T>
    
            if (this.equivalence.equals(that.equivalence)) {
              /*
               * We'll accept that as sufficient "proof" that either equivalence should be able to
               * handle either reference, so it's safe to circumvent compile-time type checking.
               */
              @SuppressWarnings("unchecked")
    Registered: Fri Dec 26 12:43:10 UTC 2025
    - Last Modified: Thu Jul 10 01:47:55 UTC 2025
    - 14.5K bytes
    - Viewed (0)
  4. okhttp/src/androidMain/baseline-prof.txt

    Yuri Schimke <******@****.***> 1735601336 +0200
    Registered: Fri Dec 26 11:42:13 UTC 2025
    - Last Modified: Mon Dec 30 23:28:56 UTC 2024
    - 127.9K bytes
    - Viewed (1)
  5. src/main/webapp/css/admin/bootstrap.min.css.map

    1\n  font-family: $font-family-base;\n  @include font-size($font-size-base);\n  font-weight: $font-weight-base;\n  line-height: $line-height-base;\n  color: $body-color;\n  text-align: left; // 3\n  background-color: $body-bg; // 2\n}\n\n// Future-proof rule: in browsers that support :focus-visible, suppress the focus outline\n// on elements that programmatically receive focus but wouldn't normally show a visible\n// focus outline. In general, this would mean that the outline is only applied if the\n//...
    Registered: Sat Dec 20 09:19:18 UTC 2025
    - Last Modified: Sat Oct 26 01:49:09 UTC 2024
    - 639.3K bytes
    - Viewed (1)
  6. src/main/webapp/css/admin/adminlte.min.css.map

    1\n  font-family: $font-family-base;\n  @include font-size($font-size-base);\n  font-weight: $font-weight-base;\n  line-height: $line-height-base;\n  color: $body-color;\n  text-align: left; // 3\n  background-color: $body-bg; // 2\n}\n\n// Future-proof rule: in browsers that support :focus-visible, suppress the focus outline\n// on elements that programmatically receive focus but wouldn't normally show a visible\n// focus outline. In general, this would mean that the outline is only applied if the\n//...
    Registered: Sat Dec 20 09:19:18 UTC 2025
    - Last Modified: Sat Oct 26 01:49:09 UTC 2024
    - 3.7M bytes
    - Viewed (3)
  7. okhttp/src/jvmMain/resources/okhttp3/internal/publicsuffix/PublicSuffixDatabase.list

    pro.br
    pro.cy
    pro.ec
    pro.fj
    pro.ht
    pro.in
    pro.mv
    pro.om
    pro.pr
    pro.tt
    pro.typeform.com
    pro.vn
    prochowice.pl
    prod
    production.aero
    productions
    prof
    prof.pr
    profesional.bo
    progressive
    project.space
    promo
    properties
    property
    protection
    protonet.io
    pru
    prudential
    pruszkow.pl
    prvcy.page
    przeworsk.pl
    ps
    Registered: Fri Dec 26 11:42:13 UTC 2025
    - Last Modified: Tue May 27 22:00:49 UTC 2025
    - 129.6K bytes
    - Viewed (3)
  8. okhttp/src/jvmTest/resources/okhttp3/internal/publicsuffix/public_suffix_list.dat

    prod
    
    // productions : Binky Moon, LLC
    // https://www.iana.org/domains/root/db/productions.html
    productions
    
    // prof : Charleston Road Registry Inc.
    // https://www.iana.org/domains/root/db/prof.html
    prof
    
    // progressive : Progressive Casualty Insurance Company
    // https://www.iana.org/domains/root/db/progressive.html
    progressive
    
    Registered: Fri Dec 26 11:42:13 UTC 2025
    - Last Modified: Fri Dec 27 13:39:56 UTC 2024
    - 309.7K bytes
    - Viewed (1)
  9. okhttp/src/androidMain/assets/PublicSuffixDatabase.list

    pro.br
    pro.cy
    pro.ec
    pro.fj
    pro.ht
    pro.in
    pro.mv
    pro.om
    pro.pr
    pro.tt
    pro.typeform.com
    pro.vn
    prochowice.pl
    prod
    production.aero
    productions
    prof
    prof.pr
    profesional.bo
    progressive
    project.space
    promo
    properties
    property
    protection
    protonet.io
    pru
    prudential
    pruszkow.pl
    prvcy.page
    przeworsk.pl
    ps
    Registered: Fri Dec 26 11:42:13 UTC 2025
    - Last Modified: Tue Dec 31 14:50:53 UTC 2024
    - 129.6K bytes
    - Viewed (2)
  10. okhttp-idna-mapping-table/src/main/resources/okhttp3/internal/idna/IdnaMappingTable.txt

    2F26          ; mapped                 ; 5B50          # 3.0  KANGXI RADICAL CHILD
    2F27          ; mapped                 ; 5B80          # 3.0  KANGXI RADICAL ROOF
    2F28          ; mapped                 ; 5BF8          # 3.0  KANGXI RADICAL INCH
    2F29          ; mapped                 ; 5C0F          # 3.0  KANGXI RADICAL SMALL
    Registered: Fri Dec 26 11:42:13 UTC 2025
    - Last Modified: Sat Feb 10 11:25:47 UTC 2024
    - 854.1K bytes
    - Viewed (0)
Back to top