Search Options

Display Count
Sort
Preferred Language
Advanced Search

Results 11 - 20 of 22 for proof (2.13 seconds)

  1. 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: Tue Mar 31 13:07:34 GMT 2026
    - Last Modified: Sat Oct 26 01:49:09 GMT 2024
    - 639.3K bytes
    - Click Count (1)
  2. lib/fips140/v1.26.0.zip

    extended binary GCD algorithm described in the Handbook of // Applied Cryptography, Algorithm 14.61, adapted by BoringSSL to bound // coefficients and avoid negative numbers. For more details and proof of // correctness, see https://github.com/mit-plv/fiat-crypto/pull/333/files. // // Following the proof linked in the PR above, the changes are: // // 1. Negate [B] and [C] so they are positive. The invariant now involves a // subtraction. // 2. If step 2 (both [x] and [y] are even) runs, abort immediately....
    Created: Tue Apr 07 11:13:11 GMT 2026
    - Last Modified: Thu Jan 08 17:58:32 GMT 2026
    - 660.3K bytes
    - Click Count (0)
  3. 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 Apr 05 19:28:12 GMT 2026
    - Last Modified: Sun Sep 28 20:59:21 GMT 2025
    - 99.7K bytes
    - Click Count (0)
  4. lib/fips140/v1.0.0-c2097c7c.zip

    extended binary GCD algorithm described in the Handbook of // Applied Cryptography, Algorithm 14.61, adapted by BoringSSL to bound // coefficients and avoid negative numbers. For more details and proof of // correctness, see https://github.com/mit-plv/fiat-crypto/pull/333/files. // // Following the proof linked in the PR above, the changes are: // // 1. Negate [B] and [C] so they are positive. The invariant now involves a // subtraction. // 2. If step 2 (both [x] and [y] are even) runs, abort immediately....
    Created: Tue Apr 07 11:13:11 GMT 2026
    - Last Modified: Thu Sep 25 19:53:19 GMT 2025
    - 642.7K bytes
    - Click Count (0)
  5. cmd/peer-rest-server.go

    			if p == k {
    				v.Stop()
    				delete(globalProfiler, k)
    			}
    		}
    	}
    
    	for _, profiler := range profiles {
    		prof, err := startProfiler(profiler)
    		if err != nil {
    			s.writeErrorResponse(w, err)
    			return
    		}
    		globalProfiler[profiler] = prof
    	}
    }
    
    // DownloadProfilingDataHandler - returns profiled data.
    Created: Sun Apr 05 19:28:12 GMT 2026
    - Last Modified: Sun Sep 28 20:59:21 GMT 2025
    - 53.6K bytes
    - Click Count (0)
  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,
    Created: Fri Apr 03 12:43:13 GMT 2026
    - Last Modified: Fri Apr 21 02:27:51 GMT 2017
    - 145.2K bytes
    - Click Count (0)
  7. 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 Apr 03 12:43:13 GMT 2026
    - Last Modified: Mon Oct 29 21:35:03 GMT 2012
    - 145.2K bytes
    - Click Count (0)
  8. 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: Tue Mar 31 13:07:34 GMT 2026
    - Last Modified: Sat Oct 26 01:49:09 GMT 2024
    - 3.7M bytes
    - Click Count (3)
  9. 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
    Created: Fri Apr 03 11:42:14 GMT 2026
    - Last Modified: Tue May 27 22:00:49 GMT 2025
    - 129.6K bytes
    - Click Count (3)
  10. 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
    
    Created: Fri Apr 03 11:42:14 GMT 2026
    - Last Modified: Fri Dec 27 13:39:56 GMT 2024
    - 309.7K bytes
    - Click Count (1)
Back to Top