Searched refs:fiat (Results 1 – 23 of 23) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | README.md | 4 [Fiat](https://github.com/mit-plv/fiat-crypto) and thus these files are
9 To generate the field arithmetic procedures in `curve25519.c` from a fiat-crypto
26 To generate the field arithmetic procedures in `p256.c` from a fiat-crypto
35 <https://github.com/JasonGross/fiat-crypto/tree/3e6851ddecaac70d0feb484a75360d57f6e41244/src/Specif…
42 The fiat-crypto readme <https://github.com/mit-plv/fiat-crypto#arithmetic-core>
47 something much more principled <https://github.com/mit-plv/fiat-crypto/projects/4>.
|
| D | README.chromium | 2 Short Name: fiat-crypto
3 URL: https://github.com/mit-plv/fiat-crypto
|
| D | METADATA | 1 name: "fiat"
7 value: "https://github.com/mit-plv/fiat-crypto"
|
| D | LICENSE | 3 Copyright (c) 2015-2016 the fiat-crypto authors (see
4 https://github.com/mit-plv/fiat-crypto/blob/master/AUTHORS).
|
| /external/boringssl/ |
| D | NOTICE | 9 license, for third_party/fiat, which, unlike other third_party directories, is
160 The code in third_party/fiat carries the MIT license:
162 Copyright (c) 2015-2016 the fiat-crypto authors (see
163 https://github.com/mit-plv/fiat-crypto/blob/master/AUTHORS).
|
| D | sources.mk | 240 src/third_party/fiat/curve25519.c\
|
| D | eureka.mk | 240 src/third_party/fiat/curve25519.c\
|
| D | sources.bp | 242 "src/third_party/fiat/curve25519.c",
|
| /external/boringssl/src/ |
| D | LICENSE | 9 license, for third_party/fiat, which, unlike other third_party directories, is
160 The code in third_party/fiat carries the MIT license:
162 Copyright (c) 2015-2016 the fiat-crypto authors (see
163 https://github.com/mit-plv/fiat-crypto/blob/master/AUTHORS).
|
| /external/guice/extensions/assistedinject/test/com/google/inject/assistedinject/ |
| D | FactoryProviderTest.java | 581 Fiat fiat = (Fiat) coloredCarFactory.create(Color.GREEN); in testFactoryWithImplicitBindings() local
582 assertEquals(Color.GREEN, fiat.color); in testFactoryWithImplicitBindings()
583 assertNotNull(fiat.steeringWheel); in testFactoryWithImplicitBindings()
|
| D | FactoryProvider2Test.java | 523 Fiat fiat = (Fiat) coloredCarFactory.create(Color.GREEN); in testFactoryWithImplicitBindings() local
524 assertEquals(Color.GREEN, fiat.color); in testFactoryWithImplicitBindings()
525 assertNotNull(fiat.steeringWheel); in testFactoryWithImplicitBindings()
|
| /external/boringssl/src/crypto/ |
| D | CMakeLists.txt | 406 ../third_party/fiat/curve25519.c
|
| /external/grpc-grpc/ |
| D | config.m4 | 658 third_party/boringssl/third_party/fiat/curve25519.c \
768 PHP_ADD_BUILD_DIR($ext_builddir/third_party/boringssl/third_party/fiat)
|
| D | config.w32 | 633 "third_party\\boringssl\\third_party\\fiat\\curve25519.c " +
792 FSO.CreateFolder(base_dir+"\\ext\\grpc\\third_party\\boringssl\\third_party\\fiat");
|
| D | grpc.gemspec | 941 s.files += %w( third_party/boringssl/third_party/fiat/curve25519_tables.h )
942 s.files += %w( third_party/boringssl/third_party/fiat/internal.h )
943 s.files += %w( third_party/boringssl/third_party/fiat/p256.c )
1200 s.files += %w( third_party/boringssl/third_party/fiat/curve25519.c )
|
| D | grpc.gyp | 2022 'third_party/boringssl/third_party/fiat/curve25519.c',
|
| /external/grpc-grpc/templates/src/objective-c/ |
| D | BoringSSL-GRPC.podspec.template | 136 'third_party/fiat/*.{h,c}'
|
| /external/grpc-grpc/src/objective-c/ |
| D | BoringSSL-GRPC.podspec | 131 'third_party/fiat/*.{h,c}'
|
| /external/cldr/tools/java/org/unicode/cldr/util/data/transforms/ |
| D | internal_overrides.txt | 1425 fiat → fˈiɑt
|
| D | en-IPA.txt | 25195 $x{fiat → fiɑt ; # fɑɪæt
|
| D | internal_raw_IPA-old.txt | 70292 fiat %25901 -æt, -ɑt, -ət, fˈaɪæt, fˈaɪət, fˈiət, fˈạæt
70293 fiat's fˈiæts
|
| D | internal_raw_IPA.txt | 59335 fiat %35368 fˈaɪæt, fˈaɪət, fˈiət, fˈɑɪæt
59336 fiat's %30540 fˈiæts
|
| /external/jline/src/src/test/resources/jline/example/ |
| D | english.gz | |