Home
last modified time | relevance | path

Searched refs:low (Results 1 – 24 of 24) sorted by relevance

/mbedtls-development/3rdparty/everest/library/kremlib/
A DFStar_UInt128_extracted.c38 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add()
46 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_underspec()
53 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_mod()
60 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub()
68 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_underspec()
76 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_mod_impl()
201 return a.low == b.low && a.high == b.high; in FStar_UInt128_eq()
206 return a.high > b.high || (a.high == b.high && a.low > b.low); in FStar_UInt128_gt()
230 b.low) in FStar_UInt128_eq_mask()
233 b.low) in FStar_UInt128_eq_mask()
[all …]
/mbedtls-development/include/mbedtls/
A Derror.h127 #define MBEDTLS_ERROR_ADD( high, low ) \ argument
128 mbedtls_error_add( high, low, __FILE__, __LINE__ )
156 static inline int mbedtls_error_add( int high, int low, in mbedtls_error_add() argument
161 ( *mbedtls_test_hook_error_add )( high, low, file, line ); in mbedtls_error_add()
166 return( high + low ); in mbedtls_error_add()
/mbedtls-development/tests/suites/
A Dtest_suite_error.data1 Single low error
16 Non existing low error
19 Non existing low and high error
A Dtest_suite_ecp.data61 ECP check pubkey Curve25519 low-order point #1
66 ECP check pubkey Curve25519 low-order point #2
81 ECP check pubkey Curve25519 low-order point #5 p-1
86 ECP check pubkey Curve25519 low-order point #6 p
91 ECP check pubkey Curve25519 low-order point #7 p+1
96 ECP check pubkey Curve25519 low-order point #8 p+u
144 ECP check pubkey Curve448 low-order point #1
148 ECP check pubkey Curve448 low-order point #2
152 ECP check pubkey Curve448 low-order point #3 p-1
156 ECP check pubkey Curve448 low-order point #4 p
[all …]
A Dtest_suite_base64.function21 unsigned char low = low_arg, high = high_arg;
27 unsigned char m = mbedtls_base64_mask_of_range( low, high, c );
30 if( low <= c && c <= high )
A Dtest_suite_random.function15 * output twice is infinitesimal, but low enough that random generators
A Dtest_suite_x509parse.data962 X509 CRT verification callback: two intermediates, low int trusted
/mbedtls-development/tests/src/
A Dhelpers.c233 void mbedtls_test_err_add_check( int high, int low, in mbedtls_test_err_add_check() argument
272 else if ( low < -0x007F ) in mbedtls_test_err_add_check()
280 else if ( low > 0 ) in mbedtls_test_err_add_check()
/mbedtls-development/scripts/data_files/
A Derror.fmt69 /* Extract the low-level part from the error code. */
113 // Early return in case of a fatal error - do not try to translate low
141 // Translate low level error code.
/mbedtls-development/library/
A Dbase64_invasive.h36 unsigned char mbedtls_base64_mask_of_range( unsigned char low,
A Dbase64.c46 unsigned char mbedtls_base64_mask_of_range( unsigned char low, in mbedtls_base64_mask_of_range() argument
51 unsigned low_mask = ( (unsigned) c - low ) >> 8; in mbedtls_base64_mask_of_range()
A Dsha512.c356 uint64_t high, low; in mbedtls_sha512_finish() local
389 low = ( ctx->total[0] << 3 ); in mbedtls_sha512_finish()
392 sha512_put_uint64_be( low, ctx->buffer, 120 ); in mbedtls_sha512_finish()
A Dmd5.c278 uint32_t high, low; in mbedtls_md5_finish() local
308 low = ( ctx->total[0] << 3 ); in mbedtls_md5_finish()
310 MBEDTLS_PUT_UINT32_LE( low, ctx->buffer, 56 ); in mbedtls_md5_finish()
A Dsha256.c323 uint32_t high, low; in mbedtls_sha256_finish() local
356 low = ( ctx->total[0] << 3 ); in mbedtls_sha256_finish()
359 MBEDTLS_PUT_UINT32_BE( low, ctx->buffer, 60 ); in mbedtls_sha256_finish()
A Dripemd160.c350 uint32_t high, low; in mbedtls_ripemd160_finish() local
355 low = ( ctx->total[0] << 3 ); in mbedtls_ripemd160_finish()
357 MBEDTLS_PUT_UINT32_LE( low, msglen, 0 ); in mbedtls_ripemd160_finish()
A Dsha1.c330 uint32_t high, low; in mbedtls_sha1_finish() local
363 low = ( ctx->total[0] << 3 ); in mbedtls_sha1_finish()
366 MBEDTLS_PUT_UINT32_BE( low, ctx->buffer, 60 ); in mbedtls_sha1_finish()
/mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/
A Dtypes.h54 uint64_t low; member
/mbedtls-development/tests/include/test/
A Dhelpers.h232 void mbedtls_test_err_add_check( int high, int low,
/mbedtls-development/programs/
A DREADME.md34 …blic/private key and uses it to encrypt/decrypt a short string through the low-level RSA interface.
/mbedtls-development/docs/architecture/
A Dalternative-implementations.md34 … Mbed TLS at compile time by a custom implementation. This is possible for low-level cryptography …
A Dtls13-experimental.md54 encompassing low-level details such as record parsing, handshake reassembly, and
/mbedtls-development/docs/
A D3.0-migration-guide.md373 Please also refer to the section [Low-level crypto](#low-level-crypto) for
418 This affects users of the PK API as well as users of the low-level API in the RSA module. Users of …
/mbedtls-development/
A DChangeLog832 * Fix a memory leak in mbedtls_md_setup() when using HMAC under low memory
871 high- and low-level error codes, complementing mbedtls_strerror()
1040 operation. The overread only happens with cryptographically low
1245 * Fix multiple X.509 functions previously returning ASN.1 low-level error
3320 * Add example config.h for PSK with CCM, optimized for low RAM usage.
3456 * Potential buffer overwrite in pem_write_buffer() because of low length
/mbedtls-development/docs/proposed/
A Dpsa-driver-interface.md395 …ropy source is degraded due to environmental conditions (e.g. undervolting, low temperature, etc.).
397 …should be large enough to allow a driver to pass unconditioned data with a low density of entropy;…

Completed in 39 milliseconds