Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 10 of 581 for unsat (0.04 sec)

  1. src/cmd/compile/internal/ssa/fuse_branchredirect.go

    				ft.checkpoint()
    				// Try to update relationship b->child, and check if the contradiction occurs.
    				addBranchRestrictions(ft, parent, bbranch)
    				unsat := ft.unsat
    				ft.restore()
    				if !unsat {
    					continue
    				}
    				// This branch is impossible,so redirect p directly to another branch.
    				out := 1 ^ j
    				child := parent.Succs[out].b
    				if child == b {
    					continue
    				}
    Registered: Wed Jun 12 16:32:35 UTC 2024
    - Last Modified: Tue May 16 21:40:11 UTC 2023
    - 3.2K bytes
    - Viewed (0)
  2. src/cmd/compile/internal/ssa/prove.go

    // efficient.
    type factsTable struct {
    	// unsat is true if facts contains a contradiction.
    	//
    	// Note that the factsTable logic is incomplete, so if unsat
    	// is false, the assertions in factsTable could be satisfiable
    	// *or* unsatisfiable.
    	unsat      bool // true if facts contains a contradiction
    	unsatDepth int  // number of unsat checkpoints
    
    	facts map[pair]relation // current known set of relation
    Registered: Wed Jun 12 16:32:35 UTC 2024
    - Last Modified: Mon Mar 04 17:30:21 UTC 2024
    - 48.9K bytes
    - Viewed (0)
  3. pilot/pkg/serviceregistry/kube/controller/ambient/testdata/peer-authn-unset-port-mtls-strict-in.yaml

    apiVersion: security.istio.io/v1beta1
    kind: PeerAuthentication
    metadata:
      name: strict-mtls
    spec:
      selector:
        matchLabels:
          app: a
      mtls:
        mode: UNSET
      portLevelMtls:
        8080: 
    Registered: Fri Jun 14 15:00:06 UTC 2024
    - Last Modified: Thu Feb 29 18:40:34 UTC 2024
    - 212 bytes
    - Viewed (0)
  4. pilot/pkg/serviceregistry/kube/controller/ambient/testdata/peer-authn-unset-port-mtls-permissive-in.yaml

    apiVersion: security.istio.io/v1beta1
    kind: PeerAuthentication
    metadata:
      name: strict-mtls
    spec:
      selector:
        matchLabels:
          app: a
      mtls:
        mode: UNSET
      portLevelMtls:
        9090:
    Registered: Fri Jun 14 15:00:06 UTC 2024
    - Last Modified: Thu Feb 29 18:40:34 UTC 2024
    - 215 bytes
    - Viewed (0)
  5. pilot/pkg/serviceregistry/kube/controller/ambient/testdata/peer-authn-unset-port-mtls-permissive.yaml

    John Howard <******@****.***> 1709232034 -0800
    Registered: Fri Jun 14 15:00:06 UTC 2024
    - Last Modified: Thu Feb 29 18:40:34 UTC 2024
    - 156 bytes
    - Viewed (0)
  6. cluster/images/etcd/migrate/options.go

    			"If unset default to 18629 or 18631 depending on <data-dir>.")
    	flags.Uint64Var(&opts.peerPort, "peer-port", 0,
    		"etcd peer port to use during migration operations. If unset defaults to 2380 or 2381 depending on <data-dir>.")
    	flags.StringVar(&opts.peerListenUrls, "listen-peer-urls", "",
    		"etcd --listen-peer-urls flag. If unset, fallbacks to LISTEN_PEER_URLS env and if unset defaults to http://localhost:<peer-port>.")
    Registered: Sat Jun 15 01:39:40 UTC 2024
    - Last Modified: Fri May 31 09:59:52 UTC 2024
    - 9.5K bytes
    - Viewed (0)
  7. tests/test_serialize_response_model.py

            "k3": Item(aliased_name="baz", price=2.0, owner_ids=[1, 2, 3]),
        }
    
    
    @app.get(
        "/items/valid-exclude-unset", response_model=Item, response_model_exclude_unset=True
    )
    def get_valid_exclude_unset():
        return Item(aliased_name="valid", price=1.0)
    
    
    @app.get(
        "/items/coerce-exclude-unset",
        response_model=Item,
        response_model_exclude_unset=True,
    )
    def get_coerce_exclude_unset():
    Registered: Mon Jun 17 08:32:26 UTC 2024
    - Last Modified: Fri May 13 23:38:22 UTC 2022
    - 4.2K bytes
    - Viewed (0)
  8. android/guava/src/com/google/common/collect/ObjectCountHashMap.java

        int tableIndex = hash & hashTableMask();
        int next = table[tableIndex];
        if (next == UNSET) { // empty bucket
          return 0;
        }
        int last = UNSET;
        do {
          if (getHash(entries[next]) == hash) {
            if (Objects.equal(key, keys[next])) {
              int oldValue = values[next];
    
              if (last == UNSET) {
                // we need to update the root link from table[]
    Registered: Wed Jun 12 16:38:11 UTC 2024
    - Last Modified: Tue Jun 01 22:07:10 UTC 2021
    - 15K bytes
    - Viewed (0)
  9. docs/bucket/versioning/versioning-tests.sh

    export MINIO_KMS_AUTO_ENCRYPTION=off
    export MINIO_PROMETHEUS_AUTH_TYPE=public
    export MINIO_KMS_SECRET_KEY=my-minio-key:OSMM+vkKUTCvQs9YL/CVMIMt43HFhkUpqJxTmGl6rYw=
    unset MINIO_KMS_KES_CERT_FILE
    unset MINIO_KMS_KES_KEY_FILE
    unset MINIO_KMS_KES_ENDPOINT
    unset MINIO_KMS_KES_KEY_NAME
    
    if [ ! -f ./mc ]; then
    	wget -O mc https://dl.minio.io/client/mc/release/linux-amd64/mc &&
    		chmod +x mc
    fi
    
    Registered: Sun Jun 16 00:44:34 UTC 2024
    - Last Modified: Sat May 18 18:19:01 UTC 2024
    - 2.4K bytes
    - Viewed (0)
  10. pilot/pkg/serviceregistry/kube/controller/ambient/testdata/peer-authn-unset-port-mtls-strict.yaml

    John Howard <******@****.***> 1709232034 -0800
    Registered: Fri Jun 14 15:00:06 UTC 2024
    - Last Modified: Thu Feb 29 18:40:34 UTC 2024
    - 195 bytes
    - Viewed (0)
Back to top