Search Options

Display Count
Sort
Preferred Language
Advanced Search

Results 1 - 10 of 14 for proof (0.05 seconds)

The search processing time has exceeded the limit. The displayed results may be partial.

  1. .github/ISSUE_TEMPLATE/02-pkgsite-removal.yml

          description: |
            Only the package owners can request to have their packages removed from pkg.go.dev.
            If the package path doesn't include your github username, please provide some other form of proof of ownership.
        validations:
          required: true
      - type: textarea
        id: retraction-reason
        attributes:
          label: "What is the reason that you could not retract this package instead?"
          description: |
    Created: Tue Dec 30 11:13:12 GMT 2025
    - Last Modified: Thu Jan 04 23:31:17 GMT 2024
    - 1.9K bytes
    - Click Count (0)
  2. 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);
      }
    
    Created: Fri Dec 26 12:43:10 GMT 2025
    - Last Modified: Mon Aug 11 19:31:30 GMT 2025
    - 17.8K bytes
    - Click Count (0)
  3. 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
    Created: Fri Dec 26 12:43:10 GMT 2025
    - Last Modified: Thu Jul 17 15:26:41 GMT 2025
    - 29.8K bytes
    - Click Count (0)
  4. 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")
    Created: Fri Dec 26 12:43:10 GMT 2025
    - Last Modified: Thu Jul 10 01:47:55 GMT 2025
    - 14.5K bytes
    - Click Count (0)
  5. okhttp/src/androidMain/baseline-prof.txt

    Yuri Schimke <******@****.***> 1735601336 +0200
    Created: Fri Dec 26 11:42:13 GMT 2025
    - Last Modified: Mon Dec 30 23:28:56 GMT 2024
    - 127.9K bytes
    - Click Count (1)
  6. compat/maven-settings-builder/src/test/java/org/apache/maven/settings/validation/DefaultSettingsValidatorTest.java

            Profile prof = new Profile();
            prof.setId("xxx");
            model.addProfile(prof);
            SimpleProblemCollector problems = new SimpleProblemCollector();
            validator.validate(model, problems);
            assertEquals(0, problems.messages.size());
    
            Repository repo = new Repository(org.apache.maven.api.settings.Repository.newInstance(false));
            prof.addRepository(repo);
    Created: Sun Dec 28 03:35:09 GMT 2025
    - Last Modified: Fri Jun 06 14:28:57 GMT 2025
    - 8.5K bytes
    - Click Count (0)
  7. 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//...
    Created: Sat Dec 20 09:19:18 GMT 2025
    - Last Modified: Sat Oct 26 01:49:09 GMT 2024
    - 639.3K bytes
    - Click Count (1)
  8. cmd/admin-handlers.go

    		// Start profiling locally as well.
    		prof, err := startProfiler(profiler)
    		if err != nil {
    			hostErrs = append(hostErrs, NotificationPeerErr{
    				Host: *thisAddr,
    				Err:  err,
    			})
    		} else {
    			globalProfiler[profiler] = prof
    			hostErrs = append(hostErrs, NotificationPeerErr{
    				Host: *thisAddr,
    			})
    		}
    	}
    
    Created: Sun Dec 28 19:28:13 GMT 2025
    - Last Modified: Sun Sep 28 20:59:21 GMT 2025
    - 99.7K bytes
    - Click Count (0)
  9. 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,
    Created: Fri Dec 26 12:43:10 GMT 2025
    - Last Modified: Fri Apr 21 02:27:51 GMT 2017
    - 145.2K bytes
    - Click Count (0)
  10. 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//...
    Created: Sat Dec 20 09:19:18 GMT 2025
    - Last Modified: Sat Oct 26 01:49:09 GMT 2024
    - 3.7M bytes
    - Click Count (3)
Back to Top