Searched refs:Correct (Results 1 – 25 of 174) sorted by relevance
1234567
30 Result = P (0 - Correct)63 Result = P (0 - Correct)74 Result = P (0 - Correct)96 Result = P (0 - Correct)107 Result = P (0 - Correct)118 Result = P (0 - Correct)140 Result = P (0 - Correct)162 Result = P (0 - Correct)195 Result = P (0 - Correct)206 Result = P (0 - Correct)[all …]
30 Result = P (0 - Correct)52 Result = P (0 - Correct)63 Result = P (0 - Correct)85 Result = P (0 - Correct)96 Result = P (0 - Correct)129 Result = P (0 - Correct)151 Result = P (0 - Correct)162 Result = P (0 - Correct)184 Result = P (0 - Correct)195 Result = P (0 - Correct)[all …]
15 Result = P (0 - Correct)31 Result = P (0 - Correct)47 Result = P (0 - Correct)
42 Result = P (0 - Correct)55 Result = P (0 - Correct)94 Result = P (0 - Correct)120 Result = P (0 - Correct)133 Result = P (0 - Correct)172 Result = P (0 - Correct)198 Result = P (0 - Correct)211 Result = P (0 - Correct)237 Result = P (0 - Correct)250 Result = P (0 - Correct)[all …]
42 Result = P (0 - Correct)68 Result = P (0 - Correct)94 Result = P (0 - Correct)120 Result = P (0 - Correct)133 Result = P (0 - Correct)185 Result = P (0 - Correct)198 Result = P (0 - Correct)224 Result = P (0 - Correct)263 Result = P (0 - Correct)289 Result = P (0 - Correct)[all …]
100 Result = P (0 - Correct)154 Result = P (0 - Correct)172 Result = P (0 - Correct)370 Result = P (0 - Correct)424 Result = P (0 - Correct)442 Result = P (0 - Correct)606 Result = P (0 - Correct)732 Result = P (0 - Correct)750 Result = P (0 - Correct)876 Result = P (0 - Correct)[all …]
100 Result = P (0 - Correct)154 Result = P (0 - Correct)316 Result = P (0 - Correct)388 Result = P (0 - Correct)532 Result = P (0 - Correct)586 Result = P (0 - Correct)606 Result = P (0 - Correct)660 Result = P (0 - Correct)732 Result = P (0 - Correct)1074 Result = P (0 - Correct)[all …]
27 // Correct `block` display not defined for any HTML5 element in IE 8/9.28 // Correct `block` display not defined for `details` or `summary` in IE 10/1130 // Correct `block` display not defined for `main` in IE 11.50 // 1. Correct `inline-block` display not defined in IE 8/9.189 // Correct overflow not hidden in IE 9/10/11.246 // 1. Correct color not being inherited.248 // 2. Correct font properties not being inherited.273 // Correct `button` style inheritance in Firefox, IE 8/9/10/11, and Opera.274 // Correct `select` style inheritance in Firefox.285 // 2. Correct inability to style clickable `input` types in iOS.[all …]
7 Correct ref [TA](-a/index.md)8 Correct ref [TB](-b/index.md)
7 Correct ref [Foo.Companion](-companion.md)15 | [<init>](-init-.md) | `Foo()`<br>Correct ref [Foo.Companion](-companion.md) |
7 Correct link: [Foo.ext](ext.md)
7 Correct ref to [T](tt.md#T)
24 * Fix: Correct journal rebuilds on Windows.31 * Fix: Correct logic around detecting whether a journal rebuild is required.
76 - Revert "mesa: Correct backwards NULL check."112 - mesa: Correct backwards NULL check.115 - mesa: Correct backwards NULL check.
1 webbrowser: Correct the arguments passed to Opera Browser when opening a new URL
40 enum class Hint { Begin, Third, Correct, End }; enumerator281 typename std::enable_if<hint == ::Hint::Correct>::type312 typename std::enable_if<hint != ::Hint::Correct>::type400 typename std::enable_if<hint == ::Hint::Correct>::type431 typename std::enable_if<hint != ::Hint::Correct>::type520 typename std::enable_if<hint == ::Hint::Correct>::type551 typename std::enable_if<hint != ::Hint::Correct>::type640 typename std::enable_if<hint == ::Hint::Correct>::type671 typename std::enable_if<hint != ::Hint::Correct>::type
1 Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
2 description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
22 // Correct include!
3 // Correct declaration (used in some test functions)
14 ; Correct:
11 // Correct: implementation inside the correct namespace.
119 StringRef Correct = HasFinal ? "'%1'" : "'%0'"; in check() local122 " redundant since the function is already declared " + Correct) in check()
18 ; Correct command line
20 // Correct path so that it will point to the file with this code