Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 10 of 16 for proof (0.04 sec)

  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: |
    Registered: Tue Nov 05 11:13:11 UTC 2024
    - Last Modified: Thu Jan 04 23:31:17 UTC 2024
    - 1.9K bytes
    - Viewed (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);
      }
    
    Registered: Fri Nov 01 12:43:10 UTC 2024
    - Last Modified: Mon Aug 12 21:04:48 UTC 2024
    - 17.6K bytes
    - Viewed (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
    Registered: Fri Nov 01 12:43:10 UTC 2024
    - Last Modified: Fri Jul 19 16:02:36 UTC 2024
    - 29.3K bytes
    - Viewed (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")
    Registered: Fri Nov 01 12:43:10 UTC 2024
    - Last Modified: Thu May 16 14:34:47 UTC 2024
    - 13.8K bytes
    - Viewed (0)
  5. doc/go_mem.html

    meaning it has no program executions with read-write or write-write data races,
    can only have outcomes explained by some sequentially consistent interleaving
    of the goroutine executions.
    (The proof is the same as Section 7 of Boehm and Adve's paper cited above.)
    This property is called DRF-SC.
    </p>
    
    <p>
    The intent of the formal definition is to match
    the DRF-SC guarantee provided to race-free programs
    Registered: Tue Nov 05 11:13:11 UTC 2024
    - Last Modified: Mon Mar 04 15:54:42 UTC 2024
    - 26.6K bytes
    - Viewed (0)
  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);
    Registered: Sun Nov 03 03:35:11 UTC 2024
    - Last Modified: Fri Oct 25 12:31:46 UTC 2024
    - 8.6K bytes
    - Viewed (0)
  7. okhttp-android/src/main/baseline-prof.txt

    Yuri Schimke <******@****.***> 1647861720 +0000
    Registered: Fri Nov 01 11:42:11 UTC 2024
    - Last Modified: Mon Mar 21 11:22:00 UTC 2022
    - 127.9K bytes
    - Viewed (0)
  8. cmd/utils.go

    		}
    	case madmin.ProfilerThreads:
    		prof.record("threadcreate", 0, "before")
    		prof.stopFn = func() ([]byte, error) {
    			var buf bytes.Buffer
    			err := pprof.Lookup("threadcreate").WriteTo(&buf, 0)
    			return buf.Bytes(), err
    		}
    	case madmin.ProfilerGoroutines:
    		prof.ext = "txt"
    		prof.record("goroutine", 1, "before")
    		prof.record("goroutine", 2, "before,debug=2")
    		prof.stopFn = func() ([]byte, error) {
    Registered: Sun Nov 03 19:28:11 UTC 2024
    - Last Modified: Tue Aug 13 22:22:04 UTC 2024
    - 31.9K bytes
    - Viewed (0)
  9. .gitignore

    security/cmd/node_agent/na/cert_file
    security/cmd/node_agent/na/pkey
    # istioctl bash completion file
    tools/istioctl.bash
    vendor
    # Contains the built artifacts
    out/
    etc/
    var/
    # Go compiled tests
    *.test
    # Profiles
    *.prof
    # MacOS extended attributes
    ._*
    # MacOS Desktop Services Store
    .DS_Store
    /manifests/charts/**/charts/
    Registered: Wed Nov 06 22:53:10 UTC 2024
    - Last Modified: Tue May 21 21:20:01 UTC 2024
    - 1.1K bytes
    - Viewed (0)
  10. 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: Thu Oct 31 13:40:30 UTC 2024
    - Last Modified: Sat Oct 26 01:49:09 UTC 2024
    - 639.3K bytes
    - Viewed (0)
Back to top