An overview of contributor trends.
Committed in past 6 months (a rookie = the first commit in past year)
Past 30 days (5):
Past 31 to 90 days (5):
Past 91 to 180 days (2):
Last contributors more than 6 months ago
| Commits (3m) |
Commit Days |
1
|
5
|
7
|
4
|
6
|
8
|
10
|
10
|
5
|
5
|
6
|
3
|
5
|
7
|
3
|
3
|
6
|
3
|
4
|
4
|
2
|
2
|
6
|
7
|
8
|
|
| 107044381+ajewellamz@users.noreply.github.com | 14 | 78 |
|
|
|
-
|
|
|
|
|
|
|
|
-
|
|
|
-
|
|
-
|
|
|
-
|
-
|
-
|
|
|
|
| karanjitrishav4@gmail.com | 3 | 13 |
-
|
|
|
-
|
|
|
-
|
-
|
-
|
-
|
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| 5892063+texastony@users.noreply.github.com | 6 | 65 |
-
|
|
|
|
|
|
|
|
|
-
|
|
|
|
|
|
|
|
|
|
-
|
-
|
|
|
|
|
| 39110935+imabhichow@users.noreply.github.com | 4 | 4 |
-
|
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
| 39066999+josecorella@users.noreply.github.com | 2 | 94 |
-
|
|
-
|
|
|
-
|
|
|
|
-
|
|
|
|
|
|
|
|
|
-
|
|
|
|
|
|
|
| ryanemer@amazon.com | 4 | 46 |
-
|
-
|
|
-
|
-
|
-
|
|
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
|
|
|
-
|
|
|
|
| lucasmcdonald3@gmail.com | 3 | 34 |
-
|
-
|
|
-
|
|
|
|
|
|
|
|
-
|
-
|
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| anotherosscontributor@gmail.com | 8 | 26 |
-
|
-
|
|
-
|
|
|
|
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| 61410899+ritvikkapila@users.noreply.github.com | 2 | 12 |
-
|
-
|
-
|
|
-
|
|
|
|
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| salkeldr@amazon.com | 1 | 22 |
-
|
-
|
-
|
|
-
|
-
|
-
|
|
-
|
|
-
|
-
|
|
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
|
| scchatur@amazon.com | - | 19 |
-
|
-
|
-
|
-
|
-
|
|
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| 76071473+kessplas@users.noreply.github.com | - | 2 |
-
|
-
|
-
|
-
|
-
|
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| kessplas@amazon.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| alex-chew@users.noreply.github.com | - | 5 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| aarotomb@amazon.com | - | 4 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| fabio@madge.me | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| joseeduardocorella@gmail.com | - | 2 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
| 76071473+justplaz@users.noreply.github.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
| justplaz@amazon.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
-
|
| ajewell@amazon.com | - | 16 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
|
|
| 49660121+lavaleri@users.noreply.github.com | - | 37 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
|
| lavaleri@amazon.com | - | 3 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
| 47006790+farleyb-amazon@users.noreply.github.com | - | 16 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| swezey@amazon.com | - | 3 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| mmtj@amazon.com | - | 4 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| leino@amazon.com | - | 11 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| 4691979+acioc@users.noreply.github.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| matthewjones@bennington.edu | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| gancher@amazon.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| schlaipf@amazon.com | - | 2 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| Commits (3m) |
Commit Days |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
5 contributors (15 commits):
| # | Contributor |
First Commit |
Latest Commit |
Commits Count |
File Updates (per extension) |
|---|---|---|---|---|---|
| 1. | 39066999+josecorella@users.noreply.github.com | 2022-11-16 | 2025-04-11 | 1 (6%) | dfy (2) |
| 2. | 107044381+ajewellamz@users.noreply.github.com | 2022-12-02 | 2025-05-02 | 8 (53%) | dfy (44), go (24), rs (16), toml (6), yaml (5) |
| 3. | 5892063+texastony@users.noreply.github.com | 2022-01-24 | 2025-04-22 | 2 (13%) | yaml (1), dfy (1) |
| 4. | karanjitrishav4@gmail.com | 2024-04-16 | 2025-04-25 | 2 (13%) | go (1), rs (1) |
| 5. | 39110935+imabhichow@users.noreply.github.com | 2023-11-13 | 2025-04-19 | 2 (13%) | yaml (3) |
A contributor dependency is detected if two contributors have changed the same files in the past 30 days.
The number on lines shows the number of same files that both persons changed in past 30 days.
| Contributor 1 | Contributor 2 | # shared files | |
|---|---|---|---|
| 1. | 107044381+ajewellamz@users.noreply.github.com | 5892063+texastony@users.noreply.github.com |
1 shared file
AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/Fixtures.dfy |
| 2. | karanjitrishav4@gmail.com | 107044381+ajewellamz@users.noreply.github.com |
1 shared file
AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs |
| 3. | 39110935+imabhichow@users.noreply.github.com | 5892063+texastony@users.noreply.github.com |
1 shared file
cfn/ESDK-Hierarchy-CI.yaml |
| Contributor | # connections | # commits | |
|---|---|---|---|
| 1. | 107044381+ajewellamz@users.noreply.github.com | 2 | 8 |
| 2. | 5892063+texastony@users.noreply.github.com | 2 | 2 |
| 3. | karanjitrishav4@gmail.com | 1 | 2 |
| 4. | 39110935+imabhichow@users.noreply.github.com | 1 | 2 |
| 5. | 39066999+josecorella@users.noreply.github.com | 0 | 1 |
C-median: 1.5
A half of the contributors has more than 1.5 connections, and a half has less than this number.
C-mean: 1.5
An average number of connections a contributor has with other contributors.
C-index: 1.0
There are 1.0 contributors with 1.0 or more connections.
10 contributors (47 commits):
| # | Contributor |
First Commit |
Latest Commit |
Commits Count |
File Updates (per extension) |
|---|---|---|---|---|---|
| 1. | 39066999+josecorella@users.noreply.github.com | 2022-11-16 | 2025-04-11 | 2 (4%) | dfy (2), (1), cjs (1) |
| 2. | 107044381+ajewellamz@users.noreply.github.com | 2022-12-02 | 2025-05-02 | 14 (29%) | dfy (49), go (38), rs (16), toml (6), java (6) |
| 3. | 5892063+texastony@users.noreply.github.com | 2022-01-24 | 2025-04-22 | 6 (12%) | go (2), md (2), java (2), yaml (1), dfy (1) |
| 4. | ryanemer@amazon.com | 2019-11-13 | 2025-03-27 | 4 (8%) | yaml (10), toml (9), cs (5), csproj (5), properties (2) |
| 5. | anotherosscontributor@gmail.com | 2023-03-07 | 2025-03-19 | 8 (17%) | go (72), mod (18), md (10), sum (8), dfy (6) |
| 6. | lucasmcdonald3@gmail.com | 2023-02-08 | 2025-03-25 | 3 (6%) | toml (10), dtr (7), cs (5), csproj (5), properties (2) |
| 7. | salkeldr@amazon.com | 2019-10-21 | 2025-02-03 | 1 (2%) | yaml (11) |
| 8. | karanjitrishav4@gmail.com | 2024-04-16 | 2025-04-25 | 3 (6%) | yaml (7), dfy (1), go (1), rs (1) |
| 9. | 61410899+ritvikkapila@users.noreply.github.com | 2024-06-27 | 2025-02-04 | 2 (4%) | toml (9), dtr (7), cs (5), csproj (5), properties (2) |
| 10. | 39110935+imabhichow@users.noreply.github.com | 2023-11-13 | 2025-04-19 | 4 (8%) | yaml (11) |
A contributor dependency is detected if two contributors have changed the same files in the past 90 days.
The number on lines shows the number of same files that both persons changed in past 90 days.
| Contributor 1 | Contributor 2 | # shared files | |
|---|---|---|---|
| 1. | 107044381+ajewellamz@users.noreply.github.com | anotherosscontributor@gmail.com |
30 shared files
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go .github/workflows/library_rust_tests.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go smithy-dafny AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go |
| 2. | lucasmcdonald3@gmail.com | 61410899+ritvikkapila@users.noreply.github.com |
24 shared files
StandardLibrary/runtimes/net/STD.csproj StandardLibrary/runtimes/net/AssemblyInfo.cs ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr AwsCryptographyPrimitives/runtimes/net/Crypto.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr CHANGELOG.md AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr ComAmazonawsKms/runtimes/net/AWS-KMS.csproj |
| 3. | ryanemer@amazon.com | lucasmcdonald3@gmail.com |
17 shared files
StandardLibrary/runtimes/net/STD.csproj StandardLibrary/runtimes/net/AssemblyInfo.cs ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj CHANGELOG.md ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs StandardLibrary/runtimes/python/pyproject.toml ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj |
| 4. | ryanemer@amazon.com | 61410899+ritvikkapila@users.noreply.github.com |
17 shared files
StandardLibrary/runtimes/net/STD.csproj StandardLibrary/runtimes/net/AssemblyInfo.cs ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj CHANGELOG.md ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs StandardLibrary/runtimes/python/pyproject.toml ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj |
| 5. | 39110935+imabhichow@users.noreply.github.com | ryanemer@amazon.com |
7 shared files
.github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 6. | 39110935+imabhichow@users.noreply.github.com | karanjitrishav4@gmail.com |
7 shared files
.github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 7. | ryanemer@amazon.com | karanjitrishav4@gmail.com |
7 shared files
.github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 8. | ryanemer@amazon.com | salkeldr@amazon.com |
7 shared files
.github/workflows/library_dafny_verification.yml .github/workflows/library_format.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml |
| 9. | 39110935+imabhichow@users.noreply.github.com | salkeldr@amazon.com |
5 shared files
.github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_go_tests.yml |
| 10. | karanjitrishav4@gmail.com | salkeldr@amazon.com |
5 shared files
.github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_go_tests.yml |
| 11. | karanjitrishav4@gmail.com | 107044381+ajewellamz@users.noreply.github.com |
3 shared files
AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml |
| 12. | 39110935+imabhichow@users.noreply.github.com | anotherosscontributor@gmail.com |
3 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml |
| 13. | ryanemer@amazon.com | anotherosscontributor@gmail.com |
3 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml |
| 14. | anotherosscontributor@gmail.com | karanjitrishav4@gmail.com |
3 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml |
| 15. | lucasmcdonald3@gmail.com | anotherosscontributor@gmail.com |
2 shared files
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr |
| 16. | anotherosscontributor@gmail.com | 61410899+ritvikkapila@users.noreply.github.com |
2 shared files
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr |
| 17. | 39066999+josecorella@users.noreply.github.com | anotherosscontributor@gmail.com |
2 shared files
TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/EncryptionContextUtils.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawAES.dfy |
| 18. | 107044381+ajewellamz@users.noreply.github.com | 39110935+imabhichow@users.noreply.github.com |
2 shared files
.github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml |
| 19. | 107044381+ajewellamz@users.noreply.github.com | ryanemer@amazon.com |
2 shared files
.github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml |
| 20. | 107044381+ajewellamz@users.noreply.github.com | 5892063+texastony@users.noreply.github.com |
1 shared file
AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/Fixtures.dfy |
| 21. | 39110935+imabhichow@users.noreply.github.com | 5892063+texastony@users.noreply.github.com |
1 shared file
cfn/ESDK-Hierarchy-CI.yaml |
| 22. | 107044381+ajewellamz@users.noreply.github.com | salkeldr@amazon.com |
1 shared file
.github/workflows/nightly_dafny.yml |
| 23. | anotherosscontributor@gmail.com | salkeldr@amazon.com |
1 shared file
.github/workflows/library_net_tests.yml |
| Contributor | # connections | # commits | |
|---|---|---|---|
| 1. | anotherosscontributor@gmail.com | 8 | 8 |
| 2. | ryanemer@amazon.com | 7 | 4 |
| 3. | 107044381+ajewellamz@users.noreply.github.com | 6 | 14 |
| 4. | 39110935+imabhichow@users.noreply.github.com | 6 | 4 |
| 5. | karanjitrishav4@gmail.com | 5 | 3 |
| 6. | salkeldr@amazon.com | 5 | 1 |
| 7. | lucasmcdonald3@gmail.com | 3 | 3 |
| 8. | 61410899+ritvikkapila@users.noreply.github.com | 3 | 2 |
| 9. | 5892063+texastony@users.noreply.github.com | 2 | 6 |
| 10. | 39066999+josecorella@users.noreply.github.com | 1 | 2 |
C-median: 5.0
A half of the contributors has more than 5.0 connections, and a half has less than this number.
C-mean: 4.6
An average number of connections a contributor has with other contributors.
C-index: 5.0
There are 5.0 contributors with 5.0 or more connections.
12 contributors (165 commits):
| # | Contributor |
First Commit |
Latest Commit |
Commits Count |
|---|---|---|---|---|
| 1. | 39066999+josecorella@users.noreply.github.com | 2022-11-16 | 2025-04-11 | 5 (3%) |
| 2. | 107044381+ajewellamz@users.noreply.github.com | 2022-12-02 | 2025-05-02 | 38 (23%) |
| 3. | 5892063+texastony@users.noreply.github.com | 2022-01-24 | 2025-04-22 | 12 (7%) |
| 4. | ryanemer@amazon.com | 2019-11-13 | 2025-03-27 | 7 (4%) |
| 5. | anotherosscontributor@gmail.com | 2023-03-07 | 2025-03-19 | 37 (22%) |
| 6. | lucasmcdonald3@gmail.com | 2023-02-08 | 2025-03-25 | 15 (9%) |
| 7. | scchatur@amazon.com | 2024-10-15 | 2024-12-16 | 26 (15%) |
| 8. | salkeldr@amazon.com | 2019-10-21 | 2025-02-03 | 1 (<1%) |
| 9. | karanjitrishav4@gmail.com | 2024-04-16 | 2025-04-25 | 10 (6%) |
| 10. | 61410899+ritvikkapila@users.noreply.github.com | 2024-06-27 | 2025-02-04 | 9 (5%) |
| 11. | 39110935+imabhichow@users.noreply.github.com | 2023-11-13 | 2025-04-19 | 4 (2%) |
| 12. | 76071473+kessplas@users.noreply.github.com | 2024-11-01 | 2024-12-06 | 1 (<1%) |
A contributor dependency is detected if two contributors have changed the same files in the past 180 days.
The number on lines shows the number of same files that both persons changed in past 180 days.
| Contributor 1 | Contributor 2 | # shared files | |
|---|---|---|---|
| 1. | 107044381+ajewellamz@users.noreply.github.com | anotherosscontributor@gmail.com |
82 shared files
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/ddb.rs .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/StormTrackingCMC.py StandardLibrary/runtimes/rust/Cargo.toml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go StandardLibrary/runtimes/net/Extern/Time.cs TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go .github/workflows/daily_ci.yml ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/rust/Cargo.toml StandardLibrary/runtimes/go/ImplementationFromDafny-go/OsLang/externs.go TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRequiredEncryptionContextCmm.dfy StandardLibrary/test/GetOpt.dfy StandardLibrary/runtimes/java/src/main/java/Time/__default.java ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/storm_tracker.rs smithy-dafny ComAmazonawsKms/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllDefaultCmm.dfy StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/Makefile ComAmazonawsDynamodb/Makefile AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go StandardLibrary/test/TestComputeSetToOrderedSequenceUInt8Less.dfy StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs ComAmazonawsDynamodb/runtimes/rust/src/ddb.rs StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go ComAmazonawsDynamodb/Model/dynamodb/model.json TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs AwsCryptographicMaterialProviders/runtimes/rust/src/kms.rs StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml .github/workflows/library_interop_tests.yml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawAES.dfy StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries .github/workflows/manual.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go StandardLibrary/runtimes/net/Extern/FileIO.cs StandardLibrary/test/TestString.dfy AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go StandardLibrary/runtimes/rust/copy_externs.sh .github/workflows/library_go_tests.yml StandardLibrary/runtimes/rust/src/dafny_libraries.rs AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py ComAmazonawsKms/runtimes/rust/src/kms.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/Makefile StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/FileIO.java ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs AwsCryptographicMaterialProviders/runtimes/rust/src/time.rs .github/workflows/pull.yml StandardLibrary/src/Time.dfy |
| 2. | scchatur@amazon.com | anotherosscontributor@gmail.com |
73 shared files
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/types.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/HMAC/externs.go .github/workflows/nightly_dafny.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/externs.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.mod AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.mod AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/types.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/SortedSets/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AesKdfCtr/externs.go .github/workflows/daily_ci.yml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.sum ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/unmodelled_errors.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.sum ComAmazonawsDynamodb/Makefile ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/externs.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/unmodelled_errors.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.mod StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go .github/workflows/push.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/enums.go AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.mod AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/errors.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries .github/workflows/manual.yml AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/MutableMap.java StandardLibrary/runtimes/go/TestsFromDafny-go/go.sum StandardLibrary/runtimes/go/ImplementationFromDafny-go/ConcurrentCall/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AESEncryption/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternRandom/externs.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/errors.go .github/workflows/library_go_tests.yml ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.mod AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/enums.go ComAmazonawsKms/Makefile AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternDigest/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/RSAEncryption/externs.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go .github/workflows/pull.yml StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod |
| 3. | 107044381+ajewellamz@users.noreply.github.com | 39066999+josecorella@users.noreply.github.com |
64 shared files
ComAmazonawsDynamodb/runtimes/rust/.gitignore AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs AwsCryptographicMaterialProviders/runtimes/rust/src/ddb.rs AwsCryptographicMaterialProviders/runtimes/rust/src/concurrent_call.rs .github/workflows/nightly_dafny.yml AwsCryptographyPrimitives/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore AwsCryptographicMaterialProviders/runtimes/rust/src/local_cmc.rs AwsCryptographyPrimitives/runtimes/rust/copy_externs.sh .prettierignore AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs StandardLibrary/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/test_vec_dir.rs TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/.gitignore .github/workflows/daily_ci.yml ComAmazonawsDynamodb/runtimes/rust/copy_externs.sh AwsCryptographyPrimitives/runtimes/rust/Cargo.toml StandardLibrary/runtimes/rust/src/standard_library_externs.rs ComAmazonawsKms/runtimes/rust/.gitignore AwsCryptographyPrimitives/runtimes/rust/.gitignore AwsCryptographicMaterialProviders/runtimes/rust/src/storm_tracker.rs ComAmazonawsKms/runtimes/rust/Cargo.toml StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/Makefile AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs AwsCryptographicMaterialProviders/runtimes/rust/src/software_externs.rs ComAmazonawsDynamodb/Makefile StandardLibrary/runtimes/rust/.gitignore .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs ComAmazonawsKms/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs ComAmazonawsDynamodb/runtimes/rust/src/ddb.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs ComAmazonawsDynamodb/runtimes/rust/Cargo.toml .github/workflows/library_java_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/kms.rs ComAmazonawsDynamodb/runtimes/rust/src/lib.rs .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawAES.dfy StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile .github/workflows/manual.yml AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs AwsCryptographicMaterialProviders/runtimes/rust/.gitignore StandardLibrary/runtimes/rust/copy_externs.sh ComAmazonawsKms/runtimes/rust/copy_externs.sh AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs ComAmazonawsKms/runtimes/rust/src/kms.rs TestVectorsAwsCryptographicMaterialProviders/Makefile ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs AwsCryptographicMaterialProviders/runtimes/rust/src/time.rs AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs .github/workflows/pull.yml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllAlgorithmSuites.dfy AwsCryptographicMaterialProviders/runtimes/rust/src/aes_gcm.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/copy_externs.sh |
| 4. | anotherosscontributor@gmail.com | karanjitrishav4@gmail.com |
47 shared files
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedMaterialProviders/extern.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.sum smithy-dafny AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.sum TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go TestVectorsAwsCryptographicMaterialProviders/Makefile AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go |
| 5. | 107044381+ajewellamz@users.noreply.github.com | karanjitrishav4@gmail.com |
35 shared files
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go .github/workflows/library_python_tests.yml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go smithy-dafny AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs .github/workflows/library_dafny_verification.yml AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go .github/workflows/library_java_tests.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_interop_tests.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 6. | 39066999+josecorella@users.noreply.github.com | anotherosscontributor@gmail.com |
33 shared files
AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/runtimes/rust/src/ddb.rs .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/EncryptionContextUtils.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore StandardLibrary/runtimes/rust/Cargo.toml .github/workflows/daily_ci.yml AwsCryptographyPrimitives/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/rust/src/storm_tracker.rs ComAmazonawsKms/runtimes/rust/Cargo.toml StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/Makefile ComAmazonawsDynamodb/Makefile .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs ComAmazonawsDynamodb/runtimes/rust/src/ddb.rs ComAmazonawsDynamodb/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/rust/src/kms.rs .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawAES.dfy StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile .github/workflows/manual.yml StandardLibrary/runtimes/rust/copy_externs.sh ComAmazonawsKms/runtimes/rust/src/kms.rs TestVectorsAwsCryptographicMaterialProviders/Makefile ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs AwsCryptographicMaterialProviders/runtimes/rust/src/time.rs .github/workflows/pull.yml |
| 7. | lucasmcdonald3@gmail.com | ryanemer@amazon.com |
30 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts StandardLibrary/runtimes/net/AssemblyInfo.cs .github/workflows/library_format.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_to_smithy.py AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj .github/workflows/library_python_tests.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/smithy_to_dafny.py ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj StandardLibrary/runtimes/net/STD.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml CHANGELOG.md .github/workflows/library_codegen.yml .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml |
| 8. | lucasmcdonald3@gmail.com | 61410899+ritvikkapila@users.noreply.github.com |
29 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj StandardLibrary/runtimes/net/STD.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr .github/workflows/library_rust_tests.yml CHANGELOG.md .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr |
| 9. | 107044381+ajewellamz@users.noreply.github.com | scchatur@amazon.com |
28 shared files
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go .github/workflows/daily_ci.yml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go smithy-dafny ComAmazonawsDynamodb/Makefile AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/KeyStore.smithy StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries .github/workflows/manual.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/structures.smithy ComAmazonawsKms/Makefile .github/workflows/pull.yml |
| 10. | 61410899+ritvikkapila@users.noreply.github.com | anotherosscontributor@gmail.com |
23 shared files
AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore project.properties StandardLibrary/runtimes/python/pyproject.toml smithy-dafny AwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/python/pyproject.toml StandardLibrary/runtimes/rust/src/lib.rs StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/project.properties TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml .github/workflows/library_interop_tests.yml .gitignore TestVectorsAwsCryptographicMaterialProviders/Makefile AwsCryptographyPrimitives/project.properties ComAmazonawsKms/project.properties |
| 11. | ryanemer@amazon.com | 61410899+ritvikkapila@users.noreply.github.com |
22 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj StandardLibrary/runtimes/net/STD.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj .github/workflows/library_rust_tests.yml CHANGELOG.md .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml |
| 12. | ryanemer@amazon.com | 107044381+ajewellamz@users.noreply.github.com |
22 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts .github/workflows/library_format.yml AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java .github/workflows/library_python_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/LocalCMC.dfy AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs StandardLibrary/runtimes/net/STD.csproj AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/CMCs/StormTracker.dfy .github/workflows/library_go_tests.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py |
| 13. | 61410899+ritvikkapila@users.noreply.github.com | 107044381+ajewellamz@users.noreply.github.com |
21 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographyPrimitives/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs StandardLibrary/runtimes/rust/src/standard_library_externs.rs AwsCryptographyPrimitives/runtimes/rust/.gitignore smithy-dafny StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs AwsCryptographicMaterialProviders/runtimes/rust/.gitignore TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 14. | anotherosscontributor@gmail.com | lucasmcdonald3@gmail.com |
19 shared files
AwsCryptographicMaterialProviders/codebuild/release-python/test-release.yml .github/workflows/check_dafny_runtime_versions.yml AwsCryptographicMaterialProviders/codebuild/release-python/validate.yml .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/StormTrackingCMC.py project.properties StandardLibrary/runtimes/python/pyproject.toml smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml StandardLibrary/runtimes/net/STD.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr .github/workflows/library_net_tests.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/codebuild/release-python/prod-release.yml ComAmazonawsDynamodb/codebuild/release-python/prod-release.yml .github/workflows/library_go_tests.yml .github/workflows/pull.yml |
| 15. | 39066999+josecorella@users.noreply.github.com | 61410899+ritvikkapila@users.noreply.github.com |
16 shared files
AwsCryptographyPrimitives/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs .releaserc.cjs StandardLibrary/runtimes/rust/src/standard_library_externs.rs AwsCryptographyPrimitives/runtimes/rust/.gitignore StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs ComAmazonawsDynamodb/runtimes/rust/Cargo.toml .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs AwsCryptographicMaterialProviders/runtimes/rust/.gitignore TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 16. | lucasmcdonald3@gmail.com | 107044381+ajewellamz@users.noreply.github.com |
14 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts .github/workflows/library_format.yml .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/StormTrackingCMC.py .github/workflows/library_python_tests.yml smithy-dafny StandardLibrary/runtimes/net/STD.csproj .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml .github/workflows/pull.yml |
| 17. | karanjitrishav4@gmail.com | scchatur@amazon.com |
12 shared files
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go smithy-dafny AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs .github/actions/polymorph_codegen/action.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go |
| 18. | scchatur@amazon.com | 39066999+josecorella@users.noreply.github.com |
11 shared files
.github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml .github/workflows/daily_ci.yml ComAmazonawsDynamodb/Makefile .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile .github/workflows/manual.yml ComAmazonawsKms/Makefile .github/workflows/pull.yml |
| 19. | salkeldr@amazon.com | 107044381+ajewellamz@users.noreply.github.com |
9 shared files
.github/workflows/library_format.yml .github/workflows/nightly_dafny.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_codegen.yml .github/workflows/manual.yml .github/workflows/library_go_tests.yml |
| 20. | anotherosscontributor@gmail.com | ryanemer@amazon.com |
9 shared files
AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java project.properties StandardLibrary/runtimes/python/pyproject.toml ComAmazonawsDynamodb/runtimes/python/pyproject.toml StandardLibrary/runtimes/net/STD.csproj .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 21. | ryanemer@amazon.com | karanjitrishav4@gmail.com |
8 shared files
.github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 22. | karanjitrishav4@gmail.com | lucasmcdonald3@gmail.com |
8 shared files
.github/workflows/library_python_tests.yml smithy-dafny .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 23. | ryanemer@amazon.com | salkeldr@amazon.com |
7 shared files
.github/workflows/library_format.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml |
| 24. | salkeldr@amazon.com | lucasmcdonald3@gmail.com |
7 shared files
.github/workflows/library_format.yml .github/workflows/nightly_dafny.yml .github/workflows/library_python_tests.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml |
| 25. | 5892063+texastony@users.noreply.github.com | 107044381+ajewellamz@users.noreply.github.com |
7 shared files
.prettierignore smithy-dafny AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/Fixtures.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py StandardLibrary/src/UInt.dfy StandardLibrary/src/Sequence.dfy StandardLibrary/test/TestString.dfy |
| 26. | 39110935+imabhichow@users.noreply.github.com | ryanemer@amazon.com |
7 shared files
.github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 27. | 39110935+imabhichow@users.noreply.github.com | karanjitrishav4@gmail.com |
7 shared files
.github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 28. | 39110935+imabhichow@users.noreply.github.com | 107044381+ajewellamz@users.noreply.github.com |
7 shared files
.github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 29. | karanjitrishav4@gmail.com | salkeldr@amazon.com |
7 shared files
.github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_codegen.yml .github/actions/polymorph_codegen/action.yml .github/workflows/library_go_tests.yml |
| 30. | lucasmcdonald3@gmail.com | scchatur@amazon.com |
6 shared files
.github/workflows/nightly_dafny.yml smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/Signature.py .github/workflows/library_go_tests.yml .github/workflows/pull.yml |
| 31. | 39066999+josecorella@users.noreply.github.com | 76071473+kessplas@users.noreply.github.com |
6 shared files
AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs StandardLibrary/runtimes/rust/src/standard_library_externs.rs StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs |
| 32. | 107044381+ajewellamz@users.noreply.github.com | 76071473+kessplas@users.noreply.github.com |
6 shared files
AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs StandardLibrary/runtimes/rust/src/standard_library_externs.rs StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs |
| 33. | 39110935+imabhichow@users.noreply.github.com | lucasmcdonald3@gmail.com |
6 shared files
.github/workflows/library_python_tests.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 34. | scchatur@amazon.com | 61410899+ritvikkapila@users.noreply.github.com |
5 shared files
AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs |
| 35. | 76071473+kessplas@users.noreply.github.com | 61410899+ritvikkapila@users.noreply.github.com |
5 shared files
AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs StandardLibrary/runtimes/rust/src/standard_library_externs.rs StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs |
| 36. | 39110935+imabhichow@users.noreply.github.com | salkeldr@amazon.com |
5 shared files
.github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_net_tests.yml .github/workflows/library_go_tests.yml |
| 37. | anotherosscontributor@gmail.com | 5892063+texastony@users.noreply.github.com |
5 shared files
.github/workflows/smithy-diff.yml smithy-dafny AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go StandardLibrary/test/TestString.dfy |
| 38. | karanjitrishav4@gmail.com | 61410899+ritvikkapila@users.noreply.github.com |
5 shared files
smithy-dafny AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 39. | salkeldr@amazon.com | anotherosscontributor@gmail.com |
4 shared files
.github/workflows/nightly_dafny.yml .github/workflows/library_net_tests.yml .github/workflows/manual.yml .github/workflows/library_go_tests.yml |
| 40. | salkeldr@amazon.com | scchatur@amazon.com |
4 shared files
.github/workflows/nightly_dafny.yml .github/workflows/manual.yml .github/actions/polymorph_codegen/action.yml .github/workflows/library_go_tests.yml |
| 41. | lucasmcdonald3@gmail.com | 39066999+josecorella@users.noreply.github.com |
4 shared files
.github/workflows/nightly_dafny.yml .github/workflows/library_java_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/pull.yml |
| 42. | 39110935+imabhichow@users.noreply.github.com | anotherosscontributor@gmail.com |
4 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 43. | ryanemer@amazon.com | 5892063+texastony@users.noreply.github.com |
3 shared files
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InFlightTTLExceeded.java AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/cryptographic-materials-cache.smithy |
| 44. | salkeldr@amazon.com | 39066999+josecorella@users.noreply.github.com |
3 shared files
.github/workflows/nightly_dafny.yml .github/workflows/library_java_tests.yml .github/workflows/manual.yml |
| 45. | 76071473+kessplas@users.noreply.github.com | anotherosscontributor@gmail.com |
3 shared files
StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs |
| 46. | karanjitrishav4@gmail.com | 39066999+josecorella@users.noreply.github.com |
3 shared files
.github/workflows/library_java_tests.yml .github/workflows/library_rust_tests.yml TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 47. | 5892063+texastony@users.noreply.github.com | lucasmcdonald3@gmail.com |
2 shared files
smithy-dafny .github/workflows/check-files.yml |
| 48. | ryanemer@amazon.com | scchatur@amazon.com |
2 shared files
ComAmazonawsDynamodb/runtimes/python/pyproject.toml .github/workflows/library_go_tests.yml |
| 49. | 5892063+texastony@users.noreply.github.com | 76071473+kessplas@users.noreply.github.com |
2 shared files
cfn/ESDK-Hierarchy-CI.yaml .github/workflows/check-files.yml |
| 50. | 39110935+imabhichow@users.noreply.github.com | 39066999+josecorella@users.noreply.github.com |
2 shared files
.github/workflows/library_java_tests.yml .github/workflows/library_rust_tests.yml |
| 51. | ryanemer@amazon.com | 39066999+josecorella@users.noreply.github.com |
2 shared files
.github/workflows/library_java_tests.yml .github/workflows/library_rust_tests.yml |
| 52. | 39110935+imabhichow@users.noreply.github.com | 61410899+ritvikkapila@users.noreply.github.com |
2 shared files
.github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml |
| 53. | 5892063+texastony@users.noreply.github.com | 39066999+josecorella@users.noreply.github.com |
1 shared file
.prettierignore |
| 54. | 5892063+texastony@users.noreply.github.com | karanjitrishav4@gmail.com |
1 shared file
smithy-dafny |
| 55. | 5892063+texastony@users.noreply.github.com | 61410899+ritvikkapila@users.noreply.github.com |
1 shared file
smithy-dafny |
| 56. | 5892063+texastony@users.noreply.github.com | scchatur@amazon.com |
1 shared file
smithy-dafny |
| 57. | 5892063+texastony@users.noreply.github.com | 39110935+imabhichow@users.noreply.github.com |
1 shared file
cfn/ESDK-Hierarchy-CI.yaml |
| 58. | 76071473+kessplas@users.noreply.github.com | 39110935+imabhichow@users.noreply.github.com |
1 shared file
cfn/ESDK-Hierarchy-CI.yaml |
| 59. | 39110935+imabhichow@users.noreply.github.com | scchatur@amazon.com |
1 shared file
.github/workflows/library_go_tests.yml |
| 60. | lucasmcdonald3@gmail.com | 76071473+kessplas@users.noreply.github.com |
1 shared file
.github/workflows/check-files.yml |
| Contributor | # connections | # commits | |
|---|---|---|---|
| 1. | 107044381+ajewellamz@users.noreply.github.com | 11 | 38 |
| 2. | anotherosscontributor@gmail.com | 11 | 37 |
| 3. | lucasmcdonald3@gmail.com | 11 | 15 |
| 4. | 39066999+josecorella@users.noreply.github.com | 11 | 5 |
| 5. | 39110935+imabhichow@users.noreply.github.com | 11 | 4 |
| 6. | scchatur@amazon.com | 10 | 26 |
| 7. | 5892063+texastony@users.noreply.github.com | 10 | 12 |
| 8. | karanjitrishav4@gmail.com | 10 | 10 |
| 9. | 61410899+ritvikkapila@users.noreply.github.com | 10 | 9 |
| 10. | ryanemer@amazon.com | 10 | 7 |
| 11. | salkeldr@amazon.com | 8 | 1 |
| 12. | 76071473+kessplas@users.noreply.github.com | 7 | 1 |
C-median: 10.0
A half of the contributors has more than 10.0 connections, and a half has less than this number.
C-mean: 10.0
An average number of connections a contributor has with other contributors.
C-index: 9.0
There are 9.0 contributors with 9.0 or more connections.
16 contributors (279 commits):
| # | Contributor |
First Commit |
Latest Commit |
Commits Count |
|---|---|---|---|---|
| 1. | 39066999+josecorella@users.noreply.github.com | 2022-11-16 | 2025-04-11 | 22 (7%) |
| 2. | 107044381+ajewellamz@users.noreply.github.com | 2022-12-02 | 2025-05-02 | 54 (19%) |
| 3. | 5892063+texastony@users.noreply.github.com | 2022-01-24 | 2025-04-22 | 27 (9%) |
| 4. | ryanemer@amazon.com | 2019-11-13 | 2025-03-27 | 10 (3%) |
| 5. | anotherosscontributor@gmail.com | 2023-03-07 | 2025-03-19 | 44 (15%) |
| 6. | lucasmcdonald3@gmail.com | 2023-02-08 | 2025-03-25 | 38 (13%) |
| 7. | scchatur@amazon.com | 2024-10-15 | 2024-12-16 | 41 (14%) |
| 8. | salkeldr@amazon.com | 2019-10-21 | 2025-02-03 | 5 (1%) |
| 9. | karanjitrishav4@gmail.com | 2024-04-16 | 2025-04-25 | 12 (4%) |
| 10. | 61410899+ritvikkapila@users.noreply.github.com | 2024-06-27 | 2025-02-04 | 13 (4%) |
| 11. | 39110935+imabhichow@users.noreply.github.com | 2023-11-13 | 2025-04-19 | 4 (1%) |
| 12. | alex-chew@users.noreply.github.com | 2021-12-16 | 2024-10-21 | 1 (<1%) |
| 13. | aarotomb@amazon.com | 2024-04-29 | 2024-08-26 | 3 (1%) |
| 14. | 76071473+kessplas@users.noreply.github.com | 2024-11-01 | 2024-12-06 | 3 (1%) |
| 15. | kessplas@amazon.com | 2024-11-01 | 2024-11-01 | 1 (<1%) |
| 16. | fabio@madge.me | 2024-05-23 | 2024-05-23 | 1 (<1%) |
A contributor dependency is detected if two contributors have changed the same files in the past 365 days.
The number on lines shows the number of same files that both persons changed in past 365 days.
| Contributor 1 | Contributor 2 | # shared files | |
|---|---|---|---|
| 1. | 39066999+josecorella@users.noreply.github.com | 107044381+ajewellamz@users.noreply.github.com |
113 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawECDHKeyring.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TypeConversion.cs ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/AwsCryptographyMaterialProvidersTestVectorKeysTypes.dfy AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java AwsCryptographyPrimitives/runtimes/rust/copy_externs.sh ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs StandardLibrary/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/test_vec_dir.rs ComAmazonawsDynamodb/runtimes/rust/copy_externs.sh AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/LocalCMC.dfy project.properties StandardLibrary/runtimes/rust/src/standard_library_externs.rs ComAmazonawsKms/runtimes/rust/.gitignore AwsCryptographyPrimitives/runtimes/rust/.gitignore smithy-dafny TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToNative.java StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/rust/src/software_externs.rs ComAmazonawsDynamodb/Makefile StandardLibrary/runtimes/rust/.gitignore .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToDafny.java AwsCryptographyPrimitives/src/ECDH.dfy .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries ComAmazonawsKms/Model/ComAmazonawsKmsTypes.dfy AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs AwsCryptographyPrimitives/test/TestECDH.dfy ComAmazonawsKms/test/TestComAmazonawsKms.dfy aws-encryption-sdk-specification StandardLibrary/runtimes/rust/copy_externs.sh ComAmazonawsKms/runtimes/rust/copy_externs.sh ComAmazonawsKms/codegen-patches/java/dafny-4.8.0.patch AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToNative.java ComAmazonawsKms/runtimes/rust/src/kms.rs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/rust/src/time.rs .github/workflows/pull.yml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllAlgorithmSuites.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/copy_externs.sh ComAmazonawsDynamodb/runtimes/rust/.gitignore TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyringFromKeyDescription.dfy AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs AwsCryptographicMaterialProviders/runtimes/rust/src/ddb.rs AwsCryptographicMaterialProviders/runtimes/rust/src/concurrent_call.rs ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java AwsCryptographyPrimitives/runtimes/rust/src/lib.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore AwsCryptographicMaterialProviders/runtimes/rust/src/local_cmc.rs .prettierignore AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/.gitignore .github/workflows/daily_ci.yml AwsCryptographyPrimitives/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsUtils.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRequiredEncryptionContextCmm.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/CompleteVectors.dfy AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java ComAmazonawsDynamodb/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/rust/src/storm_tracker.rs ComAmazonawsKms/runtimes/rust/Cargo.toml AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs AwsCryptographicMaterialProviders/Makefile ComAmazonawsKms/runtimes/net/Generated/TypeConversion.cs AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EcdhEdkWrapping.dfy AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java AwsCryptographyPrimitives/Model/AwsCryptographyPrimitivesTypes.dfy ComAmazonawsKms/runtimes/rust/src/lib.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs ComAmazonawsDynamodb/runtimes/rust/src/ddb.rs StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/RunMain.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/Constants.dfy .github/workflows/library_java_tests.yml ... |
| 2. | scchatur@amazon.com | anotherosscontributor@gmail.com |
101 shared files
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/types.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.sum ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr .github/workflows/nightly_dafny.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.mod ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.mod ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/models.py AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/types.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/SortedSets/externs.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.sum ComAmazonawsDynamodb/Makefile ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/externs.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.sum TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj ComAmazonawsDynamodb/Model/dynamodb/model.json TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go StandardLibrary/runtimes/go/TestsFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/errors.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/enums.go ComAmazonawsKms/Makefile AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternDigest/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/RSAEncryption/externs.go AwsCryptographyPrimitives/project.properties ComAmazonawsDynamodb/codegen-patches/dotnet/dafny-4.8.0.patch .github/workflows/pull.yml ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod ComAmazonawsKms/project.properties ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/HMAC/externs.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/externs.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AesKdfCtr/externs.go .github/workflows/daily_ci.yml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.sum ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/project.properties AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/unmodelled_errors.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/unmodelled_errors.go AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/CreateKeyStoreOutput.java ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.mod ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/enums.go ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/aws_sdk_to_dafny.py AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.mod AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go ComAmazonawsDynamodb/project.properties AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DDBKeystoreOperations.dfy AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/errors.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py .github/workflows/manual.yml StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/MutableMap.java ComAmazonawsDynamodb/Model/ComAmazonawsDynamodbTypes.dfy StandardLibrary/runtimes/go/ImplementationFromDafny-go/ConcurrentCall/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AESEncryption/externs.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternRandom/externs.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.sum .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.mod AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go ... |
| 3. | anotherosscontributor@gmail.com | 107044381+ajewellamz@users.noreply.github.com |
94 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java StandardLibrary/runtimes/rust/Cargo.toml StandardLibrary/runtimes/net/Extern/Time.cs AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go StandardLibrary/runtimes/go/ImplementationFromDafny-go/OsLang/externs.go project.properties StandardLibrary/test/GetOpt.dfy StandardLibrary/runtimes/java/src/main/java/Time/__default.java smithy-dafny TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllDefaultCmm.dfy StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go ComAmazonawsDynamodb/Makefile StandardLibrary/test/TestComputeSetToOrderedSequenceUInt8Less.dfy StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go ComAmazonawsDynamodb/Model/dynamodb/model.json .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml .github/workflows/library_interop_tests.yml StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go StandardLibrary/runtimes/net/Extern/FileIO.cs StandardLibrary/runtimes/rust/copy_externs.sh StandardLibrary/runtimes/rust/src/dafny_libraries.rs ComAmazonawsKms/runtimes/rust/src/kms.rs StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/FileIO.java ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/rust/src/time.rs .github/workflows/pull.yml ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/ddb.rs AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/StormTrackingCMC.py AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go .github/workflows/daily_ci.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRequiredEncryptionContextCmm.dfy ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/rust/src/storm_tracker.rs ComAmazonawsKms/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/Makefile AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/aws_sdk_to_dafny.py ComAmazonawsDynamodb/runtimes/rust/src/ddb.rs StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs AwsCryptographicMaterialProviders/runtimes/rust/src/kms.rs StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawAES.dfy ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py .github/workflows/manual.yml StandardLibrary/test/TestString.dfy ComAmazonawsDynamodb/Model/ComAmazonawsDynamodbTypes.dfy AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/Makefile AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs .github/workflows/semantic_release.yml StandardLibrary/src/Time.dfy |
| 4. | lucasmcdonald3@gmail.com | scchatur@amazon.com |
86 shared files
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/config.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/models.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/config.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_to_smithy.py ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/dafny_to_smithy.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/client.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/models.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/__init__.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/smithy_to_dafny.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/__init__.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/dafnyImplInterface.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/plugin.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/serialize.py ComAmazonawsDynamodb/Makefile .github/workflows/push.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_to_smithy.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/config.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_protocol.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafnyImplInterface.py StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/Signature.py libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/deserialize.py .github/actions/polymorph_codegen/action.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/errors.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/__init__.py ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/shim.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/dafny_protocol.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/dafnyImplInterface.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/dafny_protocol.py ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_protocol.py .github/workflows/pull.yml ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/serialize.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/smithy_to_dafny.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/AESEncryption.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/serialize.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/errors.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/__init__.py .github/workflows/daily_ci.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/serialize.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/__init__.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/deserialize.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/dafny_to_smithy.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/config.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/deserialize.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/models.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/aws_sdk_to_dafny.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/errors.py ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/__init__.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/AesKdfCtr.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/client.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/dafny_to_aws_sdk.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/plugin.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafnyImplInterface.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviders/__init__.py .github/workflows/manual.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviders/shim.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/plugin.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/client.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/smithy_to_dafny.py .github/workflows/library_go_tests.yml ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/aws_sdk_to_dafny.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/client.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/smithy_to_dafny.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/plugin.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/references.py |
| 5. | 107044381+ajewellamz@users.noreply.github.com | scchatur@amazon.com |
77 shared files
AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/AwsCryptographyKeyStoreTypes.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TypeConversion.cs ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java .github/workflows/nightly_dafny.yml AwsCryptographyPrimitives/runtimes/net/Extern/AESEncryption.cs AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/AwsCryptographyMaterialProvidersTestVectorKeysTypes.dfy AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java smithy-dafny AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs ComAmazonawsDynamodb/Makefile AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/KeyStore.smithy StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToDafny.java ComAmazonawsDynamodb/Model/dynamodb/model.json StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries ComAmazonawsKms/Model/ComAmazonawsKmsTypes.dfy AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/deserialize.py ComAmazonawsKms/test/TestComAmazonawsKms.dfy AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/errors.py ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/shim.py ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py .github/workflows/pull.yml ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/AESEncryption.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/errors.py ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java AwsCryptographyPrimitives/runtimes/net/Extern/AesKdfCtr.cs AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs .github/workflows/daily_ci.yml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/net/Extern/Signature.cs TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/OpaqueError.java TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/deserialize.py ComAmazonawsDynamodb/runtimes/net/Generated/TypeConversion.cs AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs ComAmazonawsKms/runtimes/net/Generated/TypeConversion.cs AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/deserialize.py AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java AwsCryptographyPrimitives/Model/AwsCryptographyPrimitivesTypes.dfy ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/aws_sdk_to_dafny.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/errors.py TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs AwsCryptographyPrimitives/runtimes/net/Extern/Random.cs AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/AesKdfCtr.py StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py .github/workflows/manual.yml AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/OpaqueError.java ComAmazonawsDynamodb/Model/ComAmazonawsDynamodbTypes.dfy AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/OpaqueError.java AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/structures.smithy AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/OpaqueError.java |
| 6. | lucasmcdonald3@gmail.com | 107044381+ajewellamz@users.noreply.github.com |
68 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawECDHKeyring.dfy .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EdkWrapping.dfy project.properties smithy-dafny ComAmazonawsDynamodb/Makefile .github/workflows/push.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/TestMultiKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_materialproviders/smithygenerated/aws_cryptography_keystore/errors.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/MaterialWrapping.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_materialproviders/smithygenerated/aws_cryptography_materialproviders/deserialize.py .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_materialproviders/smithygenerated/aws_cryptography_materialproviders/errors.py AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/deserialize.py .github/workflows/dafny_verify_version.yaml TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/errors.py ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/shim.py AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/IntermediateKeyWrapping.dfy ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py .github/workflows/pull.yml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/AESEncryption.py TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyringFromKeyDescription.dfy .github/workflows/library_format.yml AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/errors.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_materialproviders/smithygenerated/aws_cryptography_keystore/deserialize.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/StormTrackingCMC.py .github/workflows/library_python_tests.yml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/TestManifests.dfy .github/workflows/daily_ci.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/deserialize.py AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy AwsCryptographicMaterialProviders/Makefile AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMMs/DefaultCMM.dfy AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/deserialize.py AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EcdhEdkWrapping.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawAESKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/AwsKmsHierarchicalKeyring/TestAwsKmsHierarchicalKeyring.dfy ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/aws_sdk_to_dafny.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/errors.py StandardLibrary/runtimes/net/STD.csproj TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/RunMain.dfy AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/AesKdfCtr.py .github/workflows/library_java_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsRsaKeyring.dfy .github/workflows/library_codegen.yml Makefile ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsEcdhKeyring.dfy .github/workflows/manual.yml AwsCryptographyPrimitives/test/TestKDF_TestVectors.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawRSAKeyring.dfy .github/workflows/library_go_tests.yml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py TestVectorsAwsCryptographicMaterialProviders/Makefile StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/__init__.py |
| 7. | 39066999+josecorella@users.noreply.github.com | anotherosscontributor@gmail.com |
66 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java .github/workflows/nightly_dafny.yml ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java StandardLibrary/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs .github/workflows/smithy-diff.yml project.properties smithy-dafny StandardLibrary/runtimes/rust/src/lib.rs ComAmazonawsDynamodb/Makefile ComAmazonawsKms/runtimes/net/AssemblyInfo.cs .github/workflows/push.yml ComAmazonawsKms/runtimes/net/AWS-KMS.csproj AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs CHANGELOG.md TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs StandardLibrary/runtimes/rust/copy_externs.sh ComAmazonawsKms/runtimes/rust/src/kms.rs ComAmazonawsKms/Makefile AwsCryptographyPrimitives/project.properties ComAmazonawsDynamodb/codegen-patches/dotnet/dafny-4.8.0.patch AwsCryptographicMaterialProviders/runtimes/rust/src/time.rs .github/workflows/pull.yml ComAmazonawsKms/project.properties StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/rust/src/ddb.rs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/keys.json AwsCryptographyPrimitives/runtimes/net/Crypto.csproj TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/EncryptionContextUtils.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore .releaserc.cjs .github/workflows/daily_ci.yml AwsCryptographyPrimitives/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRequiredEncryptionContextCmm.dfy ComAmazonawsDynamodb/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/rust/src/storm_tracker.rs AwsCryptographicMaterialProviders/project.properties ComAmazonawsKms/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/Makefile ComAmazonawsDynamodb/runtimes/rust/src/ddb.rs StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/project.properties AwsCryptographicMaterialProviders/runtimes/rust/src/kms.rs TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawAES.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyDescription.dfy .github/workflows/manual.yml TestVectorsAwsCryptographicMaterialProviders/Makefile AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs |
| 8. | anotherosscontributor@gmail.com | lucasmcdonald3@gmail.com |
59 shared files
AwsCryptographicMaterialProviders/codebuild/release-python/test-release.yml AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/codebuild/release-python/validate.yml .github/workflows/nightly_dafny.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/models.py ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsDynamodb/Makefile ComAmazonawsKms/runtimes/net/AssemblyInfo.cs .github/workflows/push.yml ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml CHANGELOG.md .github/workflows/library_interop_tests.yml .gitignore StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/codebuild/release-python/prod-release.yml ComAmazonawsDynamodb/codebuild/release-python/prod-release.yml AwsCryptographyPrimitives/runtimes/python/pyproject.toml ComAmazonawsKms/Makefile AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml .github/workflows/pull.yml ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py StandardLibrary/runtimes/net/AssemblyInfo.cs .github/workflows/check_dafny_runtime_versions.yml AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/StormTrackingCMC.py .releaserc.cjs AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr .github/workflows/daily_ci.yml AwsCryptographicMaterialProviders/Makefile ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/aws_sdk_to_dafny.py StandardLibrary/runtimes/net/STD.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/__init__.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py .github/workflows/manual.yml .github/workflows/library_go_tests.yml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py TestVectorsAwsCryptographicMaterialProviders/Makefile .github/workflows/check-files.yml |
| 9. | 39066999+josecorella@users.noreply.github.com | lucasmcdonald3@gmail.com |
51 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawECDHKeyring.dfy .github/workflows/nightly_dafny.yml AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/ECCUtils.java ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties smithy-dafny ComAmazonawsDynamodb/Makefile ComAmazonawsKms/runtimes/net/AssemblyInfo.cs .github/workflows/push.yml ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml CHANGELOG.md AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/DeriveSharedSecret.java .github/workflows/check_only_keyword.yml StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/TestAwsKmsEcdhKeyring.dfy ComAmazonawsKms/Makefile .github/workflows/pull.yml StandardLibrary/runtimes/net/AssemblyInfo.cs TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyringFromKeyDescription.dfy AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/TesRawECDHKeyring.dfy .releaserc.cjs .github/workflows/daily_ci.yml AwsCryptographicMaterialProviders/Makefile ComAmazonawsDynamodb/codegen-patches/java/dafny-4.2.0.patch AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EcdhEdkWrapping.dfy StandardLibrary/runtimes/net/STD.csproj TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/RunMain.dfy .github/workflows/library_java_tests.yml Makefile AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsEcdhKeyring.dfy .github/workflows/manual.yml ComAmazonawsKms/codegen-patches/java/dafny-4.2.0.patch AwsCryptographyPrimitives/test/TestKDF_TestVectors.dfy AwsCryptographyPrimitives/test/TestKDF.dfy TestVectorsAwsCryptographicMaterialProviders/Makefile AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Utils.dfy SharedMakefileV2.mk AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestEcdhCalculation.dfy |
| 10. | 5892063+texastony@users.noreply.github.com | 39066999+josecorella@users.noreply.github.com |
50 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java ComAmazonawsKms/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/GetKeys.dfy .github/workflows/smithy-diff.yml TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/key-vectors.smithy smithy-dafny AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs ComAmazonawsKms/runtimes/net/AssemblyInfo.cs .github/workflows/push.yml ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/net/TestVectors.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj CHANGELOG.md AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/material-provider.smithy ComAmazonawsKms/test/TestComAmazonawsKms.dfy AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs aws-encryption-sdk-specification AwsCryptographyPrimitives/project.properties .github/workflows/pull.yml ComAmazonawsDynamodb/runtimes/java/build.gradle.kts ComAmazonawsKms/project.properties StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/Shim.java .prettierignore .releaserc.cjs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/keyrings.smithy ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java .github/workflows/daily_ci.yml AwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/codegen-patches/java/dafny-4.2.0.patch AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java ComAmazonawsKms/runtimes/java/src/test/java/UnwrapGenericKmsTests.java StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/project.properties .github/workflows/library_java_tests.yml AwsCryptographyPrimitives/Model/primitives.smithy .github/workflows/manual.yml ComAmazonawsKms/codegen-patches/java/dafny-4.2.0.patch TestVectorsAwsCryptographicMaterialProviders/Makefile SharedMakefileV2.mk |
| 11. | anotherosscontributor@gmail.com | karanjitrishav4@gmail.com |
48 shared files
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedMaterialProviders/extern.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go .github/workflows/smithy-diff.yml TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.sum smithy-dafny AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.sum TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go TestVectorsAwsCryptographicMaterialProviders/Makefile TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go |
| 12. | 39066999+josecorella@users.noreply.github.com | 61410899+ritvikkapila@users.noreply.github.com |
44 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/rust/src/standard_library_externs.rs AwsCryptographyPrimitives/runtimes/rust/.gitignore smithy-dafny StandardLibrary/runtimes/rust/src/lib.rs ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs CHANGELOG.md TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/project.properties ComAmazonawsKms/project.properties StandardLibrary/runtimes/net/AssemblyInfo.cs TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyringFromKeyDescription.dfy AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/rust/src/lib.rs AwsCryptographyPrimitives/runtimes/net/Crypto.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore .releaserc.cjs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/keyrings.smithy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java AwsCryptographicMaterialProviders/project.properties TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/project.properties AwsCryptographicMaterialProviders/runtimes/rust/.gitignore TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 13. | anotherosscontributor@gmail.com | 61410899+ritvikkapila@users.noreply.github.com |
43 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml StandardLibrary/runtimes/rust/src/lib.rs ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs CHANGELOG.md TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml .github/workflows/library_interop_tests.yml .gitignore AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml AwsCryptographyPrimitives/project.properties ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr ComAmazonawsKms/project.properties StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore .releaserc.cjs AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/project.properties StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml ComAmazonawsDynamodb/project.properties TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 14. | lucasmcdonald3@gmail.com | ryanemer@amazon.com |
43 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_to_smithy.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/smithy_to_dafny.py ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj AwsCryptographyPrimitives/test/TestRSA.dfy .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml CHANGELOG.md .github/workflows/library_interop_tests.yml libraries AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/TestAwsKmsEcdhKeyring.dfy AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py StandardLibrary/runtimes/net/AssemblyInfo.cs .github/workflows/library_format.yml AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj .github/workflows/library_python_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EcdhEdkWrapping.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py StandardLibrary/runtimes/net/STD.csproj .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Utils.dfy SharedMakefileV2.mk AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestEcdhCalculation.dfy |
| 15. | 39066999+josecorella@users.noreply.github.com | scchatur@amazon.com |
43 shared files
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TypeConversion.cs ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java .github/workflows/nightly_dafny.yml ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/AwsCryptographyMaterialProvidersTestVectorKeysTypes.dfy AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java smithy-dafny AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs ComAmazonawsDynamodb/Makefile .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToDafny.java TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj StandardLibrary/Makefile AwsCryptographyPrimitives/Makefile libraries ComAmazonawsKms/Model/ComAmazonawsKmsTypes.dfy AwsCryptographyPrimitives/test/TestECDH.dfy ComAmazonawsKms/test/TestComAmazonawsKms.dfy ComAmazonawsKms/Makefile AwsCryptographyPrimitives/project.properties ComAmazonawsDynamodb/codegen-patches/dotnet/dafny-4.8.0.patch .github/workflows/pull.yml ComAmazonawsKms/project.properties TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs .github/workflows/daily_ci.yml ComAmazonawsDynamodb/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/project.properties AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs ComAmazonawsKms/runtimes/net/Generated/TypeConversion.cs AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java AwsCryptographyPrimitives/Model/AwsCryptographyPrimitivesTypes.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs ComAmazonawsDynamodb/project.properties .github/workflows/manual.yml |
| 16. | 5892063+texastony@users.noreply.github.com | anotherosscontributor@gmail.com |
40 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs .github/workflows/smithy-diff.yml smithy-dafny TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllDefaultCmm.dfy ComAmazonawsKms/runtimes/net/AssemblyInfo.cs .github/workflows/push.yml ComAmazonawsKms/runtimes/net/AWS-KMS.csproj AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj ComAmazonawsDynamodb/Model/dynamodb/model.json CHANGELOG.md .github/workflows/library_interop_tests.yml .gitignore AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/project.properties .github/workflows/pull.yml ComAmazonawsKms/project.properties StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj .releaserc.cjs .github/workflows/daily_ci.yml .github/workflows/todo-release.yml AwsCryptographicMaterialProviders/project.properties StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/project.properties AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DDBKeystoreOperations.dfy .github/workflows/manual.yml AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go StandardLibrary/test/TestString.dfy ComAmazonawsDynamodb/Model/ComAmazonawsDynamodbTypes.dfy TestVectorsAwsCryptographicMaterialProviders/Makefile .github/workflows/check-files.yml |
| 17. | 107044381+ajewellamz@users.noreply.github.com | 5892063+texastony@users.noreply.github.com |
38 shared files
AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/suites.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/AwsCryptographyKeyStoreTypes.dfy AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java smithy-dafny TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllDefaultCmm.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/KeyStore.smithy .github/workflows/push.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/Fixtures.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py ComAmazonawsDynamodb/Model/dynamodb/model.json StandardLibrary/src/UInt.dfy StandardLibrary/src/Sequence.dfy .github/workflows/library_interop_tests.yml ComAmazonawsKms/test/TestComAmazonawsKms.dfy aws-encryption-sdk-specification .github/workflows/pull.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestVersionKey.dfy ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java .prettierignore ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java .github/workflows/daily_ci.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/cmms.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToNative.java AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestConfig.dfy StandardLibrary/runtimes/net/STD.csproj .github/workflows/library_java_tests.yml .github/workflows/manual.yml StandardLibrary/test/TestString.dfy ComAmazonawsDynamodb/Model/ComAmazonawsDynamodbTypes.dfy TestVectorsAwsCryptographicMaterialProviders/Makefile TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/Index.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/structures.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestGetKeys.dfy |
| 18. | ryanemer@amazon.com | 107044381+ajewellamz@users.noreply.github.com |
37 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/AwsCryptographyMaterialProvidersTestVectorKeysTypes.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/LocalCMC.dfy project.properties StandardLibrary/runtimes/java/src/main/java/Time/__default.java smithy-dafny AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestErrorMessages.dfy StandardLibrary/test/Time.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/StormTracker.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/CMCs/StormTracker.dfy libraries AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs .github/workflows/library_format.yml AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java .github/workflows/library_python_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsUtils.dfy AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EcdhEdkWrapping.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs StandardLibrary/runtimes/net/STD.csproj .github/workflows/library_dafny_verification.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/Constants.dfy .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml StandardLibrary/src/Time.dfy |
| 19. | 61410899+ritvikkapila@users.noreply.github.com | lucasmcdonald3@gmail.com |
36 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr .github/workflows/library_rust_tests.yml CHANGELOG.md .github/workflows/library_interop_tests.yml .gitignore AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr StandardLibrary/runtimes/net/AssemblyInfo.cs TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyringFromKeyDescription.dfy AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj .releaserc.cjs AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/AwsKmsHierarchicalKeyring/TestAwsKmsHierarchicalKeyring.dfy StandardLibrary/runtimes/net/STD.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 20. | 39066999+josecorella@users.noreply.github.com | ryanemer@amazon.com |
35 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/AwsCryptographyMaterialProvidersTestVectorKeysTypes.dfy ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/LocalCMC.dfy project.properties smithy-dafny ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml CHANGELOG.md libraries AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/TestAwsKmsEcdhKeyring.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsUtils.dfy AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EcdhEdkWrapping.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs StandardLibrary/runtimes/net/STD.csproj AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/Constants.dfy .github/workflows/library_java_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Utils.dfy SharedMakefileV2.mk AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestEcdhCalculation.dfy |
| 21. | karanjitrishav4@gmail.com | 107044381+ajewellamz@users.noreply.github.com |
35 shared files
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go smithy-dafny AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go .github/workflows/library_python_tests.yml ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs .github/workflows/library_dafny_verification.yml AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 22. | 61410899+ritvikkapila@users.noreply.github.com | ryanemer@amazon.com |
32 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj .github/workflows/library_rust_tests.yml CHANGELOG.md .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/CacheConstants.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs StandardLibrary/runtimes/net/STD.csproj AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/cryptographic-materials-cache.smithy |
| 23. | 5892063+texastony@users.noreply.github.com | lucasmcdonald3@gmail.com |
31 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs smithy-dafny ComAmazonawsKms/runtimes/net/AssemblyInfo.cs .github/workflows/push.yml ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj CHANGELOG.md .github/workflows/library_interop_tests.yml .gitignore AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs .github/workflows/pull.yml StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj .releaserc.cjs .github/workflows/daily_ci.yml codebuild/release/release-prod.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy ComAmazonawsDynamodb/codegen-patches/java/dafny-4.2.0.patch StandardLibrary/runtimes/net/STD.csproj .github/workflows/library_java_tests.yml .github/workflows/manual.yml ComAmazonawsKms/codegen-patches/java/dafny-4.2.0.patch AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/Index.dfy TestVectorsAwsCryptographicMaterialProviders/Makefile .github/workflows/check-files.yml SharedMakefileV2.mk |
| 24. | 61410899+ritvikkapila@users.noreply.github.com | 107044381+ajewellamz@users.noreply.github.com |
31 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs project.properties StandardLibrary/runtimes/rust/src/standard_library_externs.rs AwsCryptographyPrimitives/runtimes/rust/.gitignore smithy-dafny StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy .github/workflows/library_rust_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyringFromKeyDescription.dfy AwsCryptographyPrimitives/runtimes/rust/src/lib.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/AwsKmsHierarchicalKeyring/TestAwsKmsHierarchicalKeyring.dfy TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs AwsCryptographicMaterialProviders/runtimes/rust/.gitignore TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 25. | anotherosscontributor@gmail.com | ryanemer@amazon.com |
29 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs project.properties StandardLibrary/runtimes/java/src/main/java/Time/__default.java StandardLibrary/runtimes/python/pyproject.toml StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml CHANGELOG.md .github/workflows/library_interop_tests.yml libraries AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java AwsCryptographyPrimitives/runtimes/net/Crypto.csproj StandardLibrary/runtimes/net/STD.csproj .github/workflows/library_go_tests.yml StandardLibrary/src/Time.dfy |
| 26. | 5892063+texastony@users.noreply.github.com | 61410899+ritvikkapila@users.noreply.github.com |
26 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs smithy-dafny ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj CHANGELOG.md .github/workflows/library_interop_tests.yml .gitignore AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/project.properties ComAmazonawsKms/project.properties StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj .releaserc.cjs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/keyrings.smithy AwsCryptographicMaterialProviders/project.properties AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy StandardLibrary/runtimes/net/STD.csproj ComAmazonawsDynamodb/project.properties AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/cryptographic-materials-cache.smithy TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 27. | scchatur@amazon.com | 5892063+texastony@users.noreply.github.com |
25 shared files
AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/AwsCryptographyKeyStoreTypes.dfy ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java smithy-dafny AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/KeyStore.smithy .github/workflows/push.yml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj ComAmazonawsDynamodb/Model/dynamodb/model.json ComAmazonawsKms/test/TestComAmazonawsKms.dfy AwsCryptographyPrimitives/project.properties .github/workflows/pull.yml ComAmazonawsKms/project.properties ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java .github/workflows/daily_ci.yml AwsCryptographicMaterialProviders/project.properties AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java ComAmazonawsDynamodb/project.properties AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DDBKeystoreOperations.dfy .github/workflows/manual.yml ComAmazonawsDynamodb/Model/ComAmazonawsDynamodbTypes.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/structures.smithy |
| 28. | 5892063+texastony@users.noreply.github.com | ryanemer@amazon.com |
22 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs smithy-dafny ComAmazonawsKms/runtimes/net/AssemblyInfo.cs ComAmazonawsKms/runtimes/net/AWS-KMS.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj CHANGELOG.md .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs StandardLibrary/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InFlightTTLExceeded.java AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj AwsCryptographyPrimitives/runtimes/net/Crypto.csproj AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy StandardLibrary/runtimes/net/STD.csproj .github/workflows/library_java_tests.yml AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/AwsCryptographyKeyStoreOperations.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/cryptographic-materials-cache.smithy SharedMakefileV2.mk |
| 29. | 61410899+ritvikkapila@users.noreply.github.com | scchatur@amazon.com |
22 shared files
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml TestVectorsAwsCryptographicMaterialProviders/project.properties ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr AwsCryptographyPrimitives/project.properties ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr ComAmazonawsKms/project.properties AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/project.properties TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs ComAmazonawsDynamodb/project.properties TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr |
| 30. | scchatur@amazon.com | ryanemer@amazon.com |
17 shared files
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_to_smithy.py AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/AwsCryptographyMaterialProvidersTestVectorKeysTypes.dfy AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/smithy_to_dafny.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr smithy-dafny ComAmazonawsDynamodb/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj libraries AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs .github/workflows/library_go_tests.yml |
| 31. | anotherosscontributor@gmail.com | 76071473+kessplas@users.noreply.github.com |
13 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts project.properties ComAmazonawsDynamodb/runtimes/python/pyproject.toml StandardLibrary/runtimes/rust/src/lib.rs ComAmazonawsKms/runtimes/python/pyproject.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml .github/workflows/todo-release.yml .github/workflows/check-files.yml AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs .github/workflows/semantic_release.yml |
| 32. | 61410899+ritvikkapila@users.noreply.github.com | 76071473+kessplas@users.noreply.github.com |
12 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs project.properties StandardLibrary/runtimes/rust/src/standard_library_externs.rs ComAmazonawsDynamodb/runtimes/python/pyproject.toml StandardLibrary/runtimes/rust/src/lib.rs ComAmazonawsKms/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml |
| 33. | karanjitrishav4@gmail.com | scchatur@amazon.com |
12 shared files
smithy-dafny .github/actions/polymorph_codegen/action.yml AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go .github/workflows/library_go_tests.yml AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go |
| 34. | salkeldr@amazon.com | lucasmcdonald3@gmail.com |
11 shared files
.github/workflows/nightly_dafny.yml .github/workflows/library_net_tests.yml .github/actions/polymorph_codegen/action.yml .github/workflows/library_format.yml .github/workflows/library_python_tests.yml .github/actions/install_smithy_dafny_codegen_dependencies/action.yml .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/HMAC.py .github/workflows/manual.yml .github/workflows/library_go_tests.yml |
| 35. | 107044381+ajewellamz@users.noreply.github.com | salkeldr@amazon.com |
10 shared files
.github/workflows/nightly_dafny.yml .github/workflows/library_net_tests.yml ComAmazonawsKms/test/TestComAmazonawsKms.dfy .github/workflows/library_format.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml .github/workflows/manual.yml .github/workflows/library_go_tests.yml |
| 36. | karanjitrishav4@gmail.com | lucasmcdonald3@gmail.com |
10 shared files
smithy-dafny .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/actions/polymorph_codegen/action.yml .github/workflows/library_python_tests.yml .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 37. | 39066999+josecorella@users.noreply.github.com | 76071473+kessplas@users.noreply.github.com |
9 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs project.properties StandardLibrary/runtimes/rust/src/standard_library_externs.rs StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs |
| 38. | 76071473+kessplas@users.noreply.github.com | 107044381+ajewellamz@users.noreply.github.com |
9 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs project.properties StandardLibrary/runtimes/rust/src/standard_library_externs.rs StandardLibrary/runtimes/rust/src/lib.rs AwsCryptographicMaterialProviders/runtimes/rust/src/impl_add.rs AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs .github/workflows/semantic_release.yml |
| 39. | karanjitrishav4@gmail.com | ryanemer@amazon.com |
9 shared files
smithy-dafny .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml |
| 40. | lucasmcdonald3@gmail.com | 76071473+kessplas@users.noreply.github.com |
8 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts project.properties ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml .github/workflows/check-files.yml |
| 41. | 107044381+ajewellamz@users.noreply.github.com | aarotomb@amazon.com |
8 shared files
AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawECDHKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMMs/RequiredEncryptionContextCMM.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMMs/DefaultCMM.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsEcdhKeyring.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/Index.dfy |
| 42. | 76071473+kessplas@users.noreply.github.com | ryanemer@amazon.com |
7 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts project.properties ComAmazonawsDynamodb/runtimes/python/pyproject.toml ComAmazonawsKms/runtimes/python/pyproject.toml TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts AwsCryptographyPrimitives/runtimes/python/pyproject.toml AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml |
| 43. | lucasmcdonald3@gmail.com | aarotomb@amazon.com |
7 shared files
AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawECDHKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy AwsCryptographyPrimitives/test/TestRSA.dfy libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMMs/DefaultCMM.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsEcdhKeyring.dfy |
| 44. | salkeldr@amazon.com | 39066999+josecorella@users.noreply.github.com |
7 shared files
.github/workflows/nightly_dafny.yml AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/PublicKeyUtils.java .github/workflows/library_net_tests.yml ComAmazonawsKms/test/TestComAmazonawsKms.dfy ComAmazonawsKms/runtimes/java/src/test/java/UnwrapGenericKmsTests.java .github/workflows/library_java_tests.yml .github/workflows/manual.yml |
| 45. | 39110935+imabhichow@users.noreply.github.com | ryanemer@amazon.com |
7 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_go_tests.yml |
| 46. | 39110935+imabhichow@users.noreply.github.com | karanjitrishav4@gmail.com |
7 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_go_tests.yml |
| 47. | 39110935+imabhichow@users.noreply.github.com | 107044381+ajewellamz@users.noreply.github.com |
7 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_go_tests.yml |
| 48. | ryanemer@amazon.com | salkeldr@amazon.com |
7 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_format.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml |
| 49. | karanjitrishav4@gmail.com | salkeldr@amazon.com |
7 shared files
.github/workflows/library_net_tests.yml .github/actions/polymorph_codegen/action.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_codegen.yml .github/workflows/library_go_tests.yml |
| 50. | 39066999+josecorella@users.noreply.github.com | karanjitrishav4@gmail.com |
6 shared files
.github/workflows/smithy-diff.yml smithy-dafny .github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_java_tests.yml TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 51. | 39110935+imabhichow@users.noreply.github.com | lucasmcdonald3@gmail.com |
6 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_java_tests.yml .github/workflows/library_go_tests.yml |
| 52. | 5892063+texastony@users.noreply.github.com | 76071473+kessplas@users.noreply.github.com |
5 shared files
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts .github/workflows/todo-release.yml cfn/ESDK-Hierarchy-CI.yaml .github/workflows/check-files.yml |
| 53. | aarotomb@amazon.com | 39066999+josecorella@users.noreply.github.com |
5 shared files
AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawECDHKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy libraries AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsEcdhKeyring.dfy |
| 54. | salkeldr@amazon.com | scchatur@amazon.com |
5 shared files
.github/workflows/nightly_dafny.yml ComAmazonawsKms/test/TestComAmazonawsKms.dfy .github/actions/polymorph_codegen/action.yml .github/workflows/manual.yml .github/workflows/library_go_tests.yml |
| 55. | 5892063+texastony@users.noreply.github.com | karanjitrishav4@gmail.com |
5 shared files
.github/workflows/smithy-diff.yml smithy-dafny .github/workflows/library_interop_tests.yml .github/workflows/library_java_tests.yml TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 56. | karanjitrishav4@gmail.com | 61410899+ritvikkapila@users.noreply.github.com |
5 shared files
smithy-dafny .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml AwsCryptographicMaterialProviders/runtimes/rust/tests/local_cmc_tests.rs TestVectorsAwsCryptographicMaterialProviders/Makefile |
| 57. | 39110935+imabhichow@users.noreply.github.com | salkeldr@amazon.com |
5 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_python_tests.yml .github/workflows/library_dafny_verification.yml .github/workflows/library_java_tests.yml .github/workflows/library_go_tests.yml |
| 58. | salkeldr@amazon.com | anotherosscontributor@gmail.com |
4 shared files
.github/workflows/nightly_dafny.yml .github/workflows/library_net_tests.yml .github/workflows/manual.yml .github/workflows/library_go_tests.yml |
| 59. | 39110935+imabhichow@users.noreply.github.com | anotherosscontributor@gmail.com |
4 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml .github/workflows/library_go_tests.yml |
| 60. | 39110935+imabhichow@users.noreply.github.com | 39066999+josecorella@users.noreply.github.com |
4 shared files
.github/workflows/library_net_tests.yml .github/workflows/library_rust_tests.yml cfn/CI.yaml .github/workflows/library_java_tests.yml |
| 61. | salkeldr@amazon.com | 5892063+texastony@users.noreply.github.com |
4 shared files
ComAmazonawsKms/test/TestComAmazonawsKms.dfy ComAmazonawsKms/runtimes/java/src/test/java/UnwrapGenericKmsTests.java .github/workflows/library_java_tests.yml .github/workflows/manual.yml |
| 62. | ryanemer@amazon.com | aarotomb@amazon.com |
3 shared files
AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy AwsCryptographyPrimitives/test/TestRSA.dfy libraries |
| 63. | 39110935+imabhichow@users.noreply.github.com | 5892063+texastony@users.noreply.github.com |
3 shared files
.github/workflows/library_interop_tests.yml cfn/ESDK-Hierarchy-CI.yaml .github/workflows/library_java_tests.yml |
| 64. | anotherosscontributor@gmail.com | kessplas@amazon.com |
3 shared files
.github/workflows/todo-release.yml .github/workflows/check-files.yml .github/workflows/semantic_release.yml |
| 65. | 76071473+kessplas@users.noreply.github.com | kessplas@amazon.com |
3 shared files
.github/workflows/todo-release.yml .github/workflows/check-files.yml .github/workflows/semantic_release.yml |
| 66. | 39110935+imabhichow@users.noreply.github.com | 61410899+ritvikkapila@users.noreply.github.com |
2 shared files
.github/workflows/library_rust_tests.yml .github/workflows/library_interop_tests.yml |
| 67. | anotherosscontributor@gmail.com | aarotomb@amazon.com |
2 shared files
libraries AwsCryptographyPrimitives/test/TestECDH.dfy |
| 68. | scchatur@amazon.com | aarotomb@amazon.com |
2 shared files
libraries AwsCryptographyPrimitives/test/TestECDH.dfy |
| 69. | kessplas@amazon.com | 5892063+texastony@users.noreply.github.com |
2 shared files
.github/workflows/todo-release.yml .github/workflows/check-files.yml |
| 70. | 107044381+ajewellamz@users.noreply.github.com | alex-chew@users.noreply.github.com |
1 shared file
.github/workflows/nightly_dafny.yml |
| 71. | 107044381+ajewellamz@users.noreply.github.com | fabio@madge.me |
1 shared file
.github/workflows/nightly_dafny.yml |
| 72. | salkeldr@amazon.com | alex-chew@users.noreply.github.com |
1 shared file
.github/workflows/nightly_dafny.yml |
| 73. | salkeldr@amazon.com | fabio@madge.me |
1 shared file
.github/workflows/nightly_dafny.yml |
| 74. | lucasmcdonald3@gmail.com | alex-chew@users.noreply.github.com |
1 shared file
.github/workflows/nightly_dafny.yml |
| 75. | lucasmcdonald3@gmail.com | fabio@madge.me |
1 shared file
.github/workflows/nightly_dafny.yml |
| 76. | anotherosscontributor@gmail.com | alex-chew@users.noreply.github.com |
1 shared file
.github/workflows/nightly_dafny.yml |
| 77. | anotherosscontributor@gmail.com | fabio@madge.me |
1 shared file
.github/workflows/nightly_dafny.yml |
| 78. | scchatur@amazon.com | alex-chew@users.noreply.github.com |
1 shared file
.github/workflows/nightly_dafny.yml |
| 79. | scchatur@amazon.com | fabio@madge.me |
1 shared file
.github/workflows/nightly_dafny.yml |
| 80. | 39066999+josecorella@users.noreply.github.com | alex-chew@users.noreply.github.com |
1 shared file
.github/workflows/nightly_dafny.yml |
| 81. | 39066999+josecorella@users.noreply.github.com | fabio@madge.me |
1 shared file
.github/workflows/nightly_dafny.yml |
| 82. | alex-chew@users.noreply.github.com | fabio@madge.me |
1 shared file
.github/workflows/nightly_dafny.yml |
| 83. | 76071473+kessplas@users.noreply.github.com | scchatur@amazon.com |
1 shared file
ComAmazonawsDynamodb/runtimes/python/pyproject.toml |
| 84. | 61410899+ritvikkapila@users.noreply.github.com | aarotomb@amazon.com |
1 shared file
AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy |
| 85. | 76071473+kessplas@users.noreply.github.com | 39110935+imabhichow@users.noreply.github.com |
1 shared file
cfn/ESDK-Hierarchy-CI.yaml |
| 86. | 39110935+imabhichow@users.noreply.github.com | scchatur@amazon.com |
1 shared file
.github/workflows/library_go_tests.yml |
| 87. | aarotomb@amazon.com | 5892063+texastony@users.noreply.github.com |
1 shared file
TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/Index.dfy |
| 88. | lucasmcdonald3@gmail.com | kessplas@amazon.com |
1 shared file
.github/workflows/check-files.yml |
| 89. | 107044381+ajewellamz@users.noreply.github.com | kessplas@amazon.com |
1 shared file
.github/workflows/semantic_release.yml |
| Contributor | # connections | # commits | |
|---|---|---|---|
| 1. | 107044381+ajewellamz@users.noreply.github.com | 15 | 54 |
| 2. | anotherosscontributor@gmail.com | 15 | 44 |
| 3. | lucasmcdonald3@gmail.com | 15 | 38 |
| 4. | scchatur@amazon.com | 14 | 41 |
| 5. | 39066999+josecorella@users.noreply.github.com | 14 | 22 |
| 6. | 5892063+texastony@users.noreply.github.com | 13 | 27 |
| 7. | ryanemer@amazon.com | 12 | 10 |
| 8. | 61410899+ritvikkapila@users.noreply.github.com | 11 | 13 |
| 9. | salkeldr@amazon.com | 11 | 5 |
| 10. | 39110935+imabhichow@users.noreply.github.com | 11 | 4 |
| 11. | karanjitrishav4@gmail.com | 10 | 12 |
| 12. | 76071473+kessplas@users.noreply.github.com | 10 | 3 |
| 13. | aarotomb@amazon.com | 8 | 3 |
| 14. | alex-chew@users.noreply.github.com | 7 | 1 |
| 15. | fabio@madge.me | 7 | 1 |
| 16. | kessplas@amazon.com | 5 | 1 |
C-median: 11.0
A half of the contributors has more than 11.0 connections, and a half has less than this number.
C-mean: 11.1
An average number of connections a contributor has with other contributors.
C-index: 10.0
There are 10.0 contributors with 10.0 or more connections.
