Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 10 of 11 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. android/guava-tests/test/com/google/common/io/testdata/alice_in_wonderland.txt

    it's getting!'  She was close behind it when she turned the
    corner, but the Rabbit was no longer to be seen:  she found
    herself in a long, low hall, which was lit up by a row of lamps
    hanging from the roof.
    
      There were doors all round the hall, but they were all locked;
    and when Alice had been all the way down one side and up the
    other, trying every door, she walked sadly down the middle,
    Registered: Fri Dec 26 12:43:10 UTC 2025
    - Last Modified: Fri Apr 21 02:27:51 UTC 2017
    - 145.2K bytes
    - Viewed (0)
  7. 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)
  8. 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)
  9. 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)
  10. 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)
Back to top