Searched full:provably (Results 1 – 21 of 21) sorted by relevance
17 | result is provably monotonic in double precision.
16 | result is provably monotonic in double precision.
19 | to double precision. The result is provably monotonic
21 | result is provably monotonic in double precision.
22 | to double precision. The result is provably monotonic in double
5 * XChaCha extends ChaCha's nonce to 192 bits, while provably retaining ChaCha's
345 * checksum so the resulting value is provably invalid (neither 0 nor 0xFFFF).
403 # Getting to provably safe in-place decompression is hard. Worst case
4915 # rounded to double precision. The result is provably monotonic #5620 # rounded to double precision. The result is provably monotonic #6050 # rounded to double precision. The result is provably monotonic #6500 # rounded to double precision. The result is provably monotonic #6601 # rounded to double precision. The result is provably monotonic #6697 # rounded to double precision. The result is provably monotonic #7578 # rounded to double precision. The result is provably monotonic #7692 # rounded to double precision. The result is provably monotonic #7810 # rounded to double precision. The result is provably monotonic #7976 # rounded to double precision. The result is provably monotonic #[all …]
5021 # rounded to double precision. The result is provably monotonic #5726 # rounded to double precision. The result is provably monotonic #6156 # rounded to double precision. The result is provably monotonic #6606 # rounded to double precision. The result is provably monotonic #6707 # rounded to double precision. The result is provably monotonic #6803 # rounded to double precision. The result is provably monotonic #7684 # rounded to double precision. The result is provably monotonic #7798 # rounded to double precision. The result is provably monotonic #7916 # rounded to double precision. The result is provably monotonic #8082 # rounded to double precision. The result is provably monotonic #[all …]
1261 * stores provably follow this requirement. This flag turns that
9109 * maximum number of instructions if loop is not provably convergent, or there