Code

feat(TestVectors): Add Rust support#693

Code

Merged

RitvikKapila merged 125 commits intorkapila/rust-reviewedaws/aws-encryption-sdk:rkapila/rust-reviewedfrom feature/rust-supportaws/aws-encryption-sdk:feature/rust-supportCopy head branch name to clipboardNov 14, 2024

+11,699-170

Commits

Commits on Sep 27, 2024

• feat(support Rust): Add Rust Encryption SDK

  RitvikKapila

  committed
  1c4b133

  Copy full SHA for 1c4b133

Commits on Oct 1, 2024

• fix Makefile; update externs

  RitvikKapila

  committed
  983bff1

  Copy full SHA for 983bff1

Commits on Oct 7, 2024

• add kms rsa example

  RitvikKapila

  committed
  83592af

  Copy full SHA for 83592af

• add examples dir

  RitvikKapila

  committed
  f54add3

  Copy full SHA for f54add3

• add kms, discovery keyring example

  RitvikKapila

  committed
  2c6d90d

  Copy full SHA for 2c6d90d

Commits on Oct 8, 2024

• fix keyring examples

  RitvikKapila

  committed
  4f26918

  Copy full SHA for 4f26918

• Merge branch 'mainline' into rkapila/rust

  RitvikKapila

  authored
  0323ea6

  Copy full SHA for 0323ea6

• add discovery examples

  RitvikKapila

  committed
  213fe56

  Copy full SHA for 213fe56

• add

  RitvikKapila

  committed
  380b161

  Copy full SHA for 380b161

Commits on Oct 9, 2024

• add

  RitvikKapila

  committed
  d1c1d88

  Copy full SHA for d1c1d88

• add raw rsa keyring

  RitvikKapila

  committed
  484adee

  Copy full SHA for 484adee

Commits on Oct 10, 2024

• add hkeyring examples

  RitvikKapila

  committed
  d9fb8f5

  Copy full SHA for d9fb8f5

• renaming

  RitvikKapila

  committed
  baa3fbe

  Copy full SHA for baa3fbe

Commits on Oct 14, 2024

• add client supplier and custom cmm examples

  RitvikKapila

  committed
  e9f5ccf

  Copy full SHA for e9f5ccf

• Merge branch 'mainline' into rkapila/rust

  RitvikKapila

  authored
  d6ea973

  Copy full SHA for d6ea973

Commits on Oct 15, 2024

• minor fixes; add misc examples

  RitvikKapila

  committed
  e0f242f

  Copy full SHA for e0f242f

• update examples/main.rs

  RitvikKapila

  committed
  bfb7c0c

  Copy full SHA for bfb7c0c

• update dependencies

  RitvikKapila

  committed
  2c8e891

  Copy full SHA for 2c8e891

Commits on Oct 16, 2024

• fix

  RitvikKapila

  committed
  bc4ced8

  Copy full SHA for bc4ced8

• add daily ci

  RitvikKapila

  committed
  b103530

  Copy full SHA for b103530

• add ci

  RitvikKapila

  committed
  ef20390

  Copy full SHA for ef20390

• fix

  RitvikKapila

  committed
  9748fd9

  Copy full SHA for 9748fd9

• try

  RitvikKapila

  committed
  6eceaee

  Copy full SHA for 6eceaee

• m

  RitvikKapila

  committed
  0deaad8

  Copy full SHA for 0deaad8

• m

  RitvikKapila

  committed
  77f1344

  Copy full SHA for 77f1344

• m

  RitvikKapila

  committed
  ecd4d37

  Copy full SHA for ecd4d37

• m

  RitvikKapila

  committed
  7d9b007

  Copy full SHA for 7d9b007

• m

  RitvikKapila

  committed
  2727bb5

  Copy full SHA for 2727bb5

• m

  RitvikKapila

  committed
  6feecc5

  Copy full SHA for 6feecc5

• m

  RitvikKapila

  committed
  75bb9ac

  Copy full SHA for 75bb9ac

• fix

  RitvikKapila

  committed
  5d8c7a1

  Copy full SHA for 5d8c7a1

• fix

  RitvikKapila

  committed
  6085144

  Copy full SHA for 6085144

• fix

  RitvikKapila

  committed
  30c80fa

  Copy full SHA for 30c80fa

• fix

  RitvikKapila

  committed
  ca93d44

  Copy full SHA for ca93d44

• fix

  RitvikKapila

  committed
  3d04d91

  Copy full SHA for 3d04d91

• m

  RitvikKapila

  committed
  bea5e99

  Copy full SHA for bea5e99

• m

  RitvikKapila

  committed
  2e4f666

  Copy full SHA for 2e4f666

• fix

  RitvikKapila

  committed
  a37e746

  Copy full SHA for a37e746

• fix

  RitvikKapila

  committed
  3a05ca2

  Copy full SHA for 3a05ca2

• fix

  RitvikKapila

  committed
  33b5cb0

  Copy full SHA for 33b5cb0

• fix

  RitvikKapila

  committed
  7d012fd

  Copy full SHA for 7d012fd

Commits on Oct 17, 2024

• fix

  RitvikKapila

  committed
  eee329c

  Copy full SHA for eee329c

• update

  RitvikKapila

  committed
  573f51d

  Copy full SHA for 573f51d

• update

  RitvikKapila

  committed
  eb3bb32

  Copy full SHA for eb3bb32

• update

  RitvikKapila

  committed
  445a44a

  Copy full SHA for 445a44a

• fix

  RitvikKapila

  committed
  743753f

  Copy full SHA for 743753f

• fix

  RitvikKapila

  committed
  383cda8

  Copy full SHA for 383cda8

• fix

  RitvikKapila

  committed
  3edc4fd

  Copy full SHA for 3edc4fd

• fix

  RitvikKapila

  committed
  760aaef

  Copy full SHA for 760aaef

• fix

  RitvikKapila

  committed
  b40f500

  Copy full SHA for b40f500

• add dafny env var

  RitvikKapila

  committed
  374cfd0

  Copy full SHA for 374cfd0

• add dafny env var

  RitvikKapila

  committed
  207234c

  Copy full SHA for 207234c

• try

  RitvikKapila

  committed
  ba9161c

  Copy full SHA for ba9161c

• fix version

  RitvikKapila

  committed
  39d710a

  Copy full SHA for 39d710a

• separate windows and unix polymorph

  RitvikKapila

  committed
  9b73ded

  Copy full SHA for 9b73ded

• revert

  RitvikKapila

  committed
  8b8890d

  Copy full SHA for 8b8890d

Commits on Oct 18, 2024

• add shared cache example

  RitvikKapila

  committed
  57b9f8c

  Copy full SHA for 57b9f8c

• m

  RitvikKapila

  committed
  83af517

  Copy full SHA for 83af517

Commits on Oct 20, 2024

• m

  RitvikKapila

  committed
  33b5e81

  Copy full SHA for 33b5e81

Commits on Oct 22, 2024

• bump Dafny / Smithy Dafny / MPL to HEAD

  RitvikKapila

  committed
  4b01aa1

  Copy full SHA for 4b01aa1

• initial commit of ESDK TestVectors

  

  seebees

  authored and

  josecorella

  committed
  c034f7c

  Copy full SHA for c034f7c

• chore: add dafny test vector framework

  josecorella

  committed
  5a24dfe

  Copy full SHA for 5a24dfe

• repoly

  josecorella

  committed
  1a5bb94

  Copy full SHA for 1a5bb94

• add patch

  josecorella

  committed
  ad0c7c3

  Copy full SHA for ad0c7c3

• update

  josecorella

  committed
  b8a02f7

  Copy full SHA for b8a02f7

• update gha

  josecorella

  committed
  4a8f70b

  Copy full SHA for 4a8f70b

• m

  josecorella

  committed
  1f5d2f0

  Copy full SHA for 1f5d2f0

• m

  josecorella

  committed
  bccbd12

  Copy full SHA for bccbd12

• update

  josecorella

  committed
  6d704b5

  Copy full SHA for 6d704b5

• manually fix patch

  josecorella

  committed
  979e869

  Copy full SHA for 979e869

• progress

  josecorella

  committed
  619b16d

  Copy full SHA for 619b16d

• good progress

  josecorella

  committed
  d2df52e

  Copy full SHA for d2df52e

• better progress

  josecorella

  committed
  067dd2c

  Copy full SHA for 067dd2c

• update primitives dafny name

  josecorella

  committed
  319df1d

  Copy full SHA for 319df1d

• Merge branch 'mainline' into jocorell/dafny-test-vectors

  RitvikKapila

  authored
  c636f6a

  Copy full SHA for c636f6a

• remove smithy-dafny fetch from workflows; bump mpl to HEAD

  RitvikKapila

  committed
  d52071c

  Copy full SHA for d52071c

• bump dafny in workflows to 4.8.1; minor fix

  RitvikKapila

  committed
  6782bc3

  Copy full SHA for 6782bc3

• resolve conflicts

  RitvikKapila

  committed
  aa36238

  Copy full SHA for aa36238

• fix no ec in default cmm

  josecorella

  committed
  16ccb4a

  Copy full SHA for 16ccb4a

• regenerate code

  josecorella

  committed
  a869fdf

  Copy full SHA for a869fdf

• patch

  josecorella

  committed
  d86bb32

  Copy full SHA for d86bb32

• f

  josecorella

  committed
  8b0d02b

  Copy full SHA for 8b0d02b

• update patch

  josecorella

  committed
  c555231

  Copy full SHA for c555231

• successfully build esdk-dafny to java

  josecorella

  committed
  078e1a6

  Copy full SHA for 078e1a6

• try

  RitvikKapila

  committed
  b997aff

  Copy full SHA for b997aff

• rename AtomicPrimitives

  RitvikKapila

  committed
  95d0425

  Copy full SHA for 95d0425

• fix

  RitvikKapila

  committed
  135e6bc

  Copy full SHA for 135e6bc

• fix

  RitvikKapila

  committed
  c346e9e

  Copy full SHA for c346e9e

• resolve conflicts

  RitvikKapila

  committed
  2487f7f

  Copy full SHA for 2487f7f

Commits on Oct 23, 2024

• bump mpl

  RitvikKapila

  committed
  db291e2

  Copy full SHA for db291e2

Commits on Oct 29, 2024

• Merge branch 'rkapila/rust-reviewed' into jocorell/dafny-test-vectors

  RitvikKapila

  committed
  5fc0f8b

  Copy full SHA for 5fc0f8b

Commits on Oct 30, 2024

• more progress

  josecorella

  committed
  fb3351b

  Copy full SHA for fb3351b

• rewrite manifest to play well with mpl test-vectors

  josecorella

  committed
  553742f

  Copy full SHA for 553742f

• more updates

  josecorella

  committed
  5b38632

  Copy full SHA for 5b38632

• build decrypt vector from encrypt test success

  josecorella

  committed
  c3a0141

  Copy full SHA for c3a0141

• start decrypt vectors

  josecorella

  committed
  402d4c7

  Copy full SHA for 402d4c7

• java roundtrip works

  josecorella

  committed
  4cfd906

  Copy full SHA for 4cfd906

Commits on Oct 31, 2024

• add generated python

  josecorella

  committed
  0c4c889

  Copy full SHA for 0c4c889

• fix net test vectors

  josecorella

  committed
  80b76bd

  Copy full SHA for 80b76bd

• update

  josecorella

  committed
  3d9f7ce

  Copy full SHA for 3d9f7ce

Commits on Nov 1, 2024

• polymorph fails; code works

  RitvikKapila

  committed
  8fbb846

  Copy full SHA for 8fbb846

• add MakeFile; prev commit holds

  RitvikKapila

  committed
  02be2aa

  Copy full SHA for 02be2aa

• fix

  RitvikKapila

  committed
  809ae19

  Copy full SHA for 809ae19

Commits on Nov 2, 2024

• add TestVectorsDirectory extern

  RitvikKapila

  committed
  9d170f8

  Copy full SHA for 9d170f8

Commits on Nov 5, 2024

• m

  RitvikKapila

  committed
  4289b96

  Copy full SHA for 4289b96

Commits on Nov 6, 2024

• manifest works; encrypt does not

  RitvikKapila

  committed
  875840d

  Copy full SHA for 875840d

• update dafny_runtime_rust for AwsEncryptionSDK and TestVectors

  RitvikKapila

  committed
  4f7e8df

  Copy full SHA for 4f7e8df

Commits on Nov 8, 2024

• add directories for test vectors Rust

  RitvikKapila

  committed
  aacefdc

  Copy full SHA for aacefdc

• update makefile

  RitvikKapila

  committed
  b17a404

  Copy full SHA for b17a404

Commits on Nov 11, 2024

• test vectors work in Rust

  RitvikKapila

  committed
  ee7405f

  Copy full SHA for ee7405f

• check in polymorph net code

  RitvikKapila

  committed
  ed96888

  Copy full SHA for ed96888

• fix project properties

  RitvikKapila

  committed
  ac6d9f5

  Copy full SHA for ac6d9f5

• remove sed hacks and remove AES192 tests

  RitvikKapila

  committed
  26bec79

  Copy full SHA for 26bec79

• update interop yml file; add polymorph sed hack to makefile

  RitvikKapila

  committed
  5f103c0

  Copy full SHA for 5f103c0

Commits on Nov 12, 2024

• update dafny version in CI

  RitvikKapila

  committed
  d16479c

  Copy full SHA for d16479c

• try

  RitvikKapila

  committed
  6b661ea

  Copy full SHA for 6b661ea

• try revert

  RitvikKapila

  committed
  663d12d

  Copy full SHA for 663d12d

• fix

  RitvikKapila

  committed
  4c65679

  Copy full SHA for 4c65679

• m

  RitvikKapila

  committed
  6f5d628

  Copy full SHA for 6f5d628

• m

  RitvikKapila

  committed
  5d54c5c

  Copy full SHA for 5d54c5c

• m

  RitvikKapila

  committed
  d91c26f

  Copy full SHA for d91c26f

• update Makefile

  RitvikKapila

  committed
  478ec50

  Copy full SHA for 478ec50

Commits on Nov 13, 2024

• chore(merge): rust tests (#694)

  RitvikKapila

  authored
  0423b3d

  Copy full SHA for 0423b3d

• merge main into feature/rust-support

  RitvikKapila

  committed
  49761b8

  Copy full SHA for 49761b8

Commits on Nov 14, 2024

• merge main into feature/rust-support

  RitvikKapila

  committed
  468c9a2

  Copy full SHA for 468c9a2