Commits

Branch selector

 mainline

User selector

All users

All time

Commit History

Commits on Jul 16, 2024

• chore(MPL): bump MPL to 1.5.1 (#667)

  josecorella

  committedJul 16, 2024
  7958020

Commits on Jul 12, 2024

• chore: bump dafny verification to 4.7.0 (#666)

  josecorella

  committedJul 12, 2024
  a6ccaf7

Commits on Jun 12, 2024

• chore: Reduce resource usage of assertion in ReadFramedMessageBody (#665)

  

  robin-aws

  and

  keyboardDrummer

  committedJun 12, 2024
  c49af85

Commits on Jun 4, 2024

• Merge pull request #663 from aws/ajewell/bump-mpl

  ajewellamz

  committedJun 4, 2024
  2bbab7d

• m

  ajewellamz

  committedJun 4, 2024
  6544736

• m

  ajewellamz

  committedJun 4, 2024
  0cc745d

• m

  ajewellamz

  committedJun 4, 2024
  11da182

• chore: update to MPL 1.4

  ajewellamz

  committedJun 4, 2024
  8725990

Commits on May 23, 2024

• chore: Try to update existing issues (#661)

  fabiomadge

  committedMay 23, 2024
  70c0d14

Commits on May 15, 2024

• chore: change the dependency from the ESDK to the MPL to a relative path ProjectReference (#656)

  rishav-karanjit

  committedMay 15, 2024
  9c73845

Commits on May 14, 2024

• chore(release): change PackageReference of MPL (#654)

  rishav-karanjit

  committedMay 14, 2024
  03b7909

Commits on May 13, 2024

• chore(release): Update version to 4.1.0 (#653)

  rishav-karanjit

  committedMay 13, 2024
  5a93e93

• chore(release): Replace all private-aws-encryption-sdk-dafny-staging (#652)

  rishav-karanjit

  committedMay 13, 2024
  a47f14e

Commits on May 10, 2024

• chore(CI): Cut Dafny issues on nightly failures (#648)

  josecorella

  committedMay 10, 2024
  3b3cf4a

Commits on May 9, 2024

• chore(release): 4.1.0 (#651)

  rishav-karanjit

  committedMay 9, 2024
  7e45f9e

Commits on May 8, 2024

• chore(MPL): update MPL submodule to point to the latest commit (#650)

  rishav-karanjit

  committedMay 8, 2024
  5153a81

Commits on Apr 23, 2024

• chore(CI/CD): add semantic release automation (#647)

  josecorella

  committedApr 23, 2024
  e7b5392

Commits on Apr 16, 2024

• feat: enforce input constraints (#646)

  ajewellamz

  committedApr 16, 2024
  10daadf

Commits on Mar 21, 2024

• chore: point smith-danfy to valid commit (#642)

  texastony

  committedMar 21, 2024
  0bae2c8

• fix(CI): Daily CI uses correct workflow (#641)

  lucasmcdonald3

  committedMar 21, 2024
  771835e

Commits on Mar 18, 2024

• chore: Adopt SmithyDafnyMakefile.mk, fix nightly build (#638)

  robin-aws

  committedMar 18, 2024
  cd19979

Commits on Mar 11, 2024

• chore(CI): add interop tests to daily ci (#640)

  josecorella

  committedMar 11, 2024
  c9ad018

Commits on Mar 9, 2024

• chore: only run net48 on windows and use node 17 to run integration-node (#639)

  josecorella

  committedMar 9, 2024
  d6c62fb

Commits on Feb 13, 2024

• chore(.NET): Add ESDK-Net v4.0.1 generated vectors

  imabhichow

  committedFeb 13, 2024
  efef497

• chore(.NET): Add ESDK-Net v4.0.1 generated vectors

  imabhichow

  committedFeb 13, 2024
  d399c70

Commits on Feb 12, 2024

• chore(.NET): Add ESDK-Net v4.0.1 generated vectors

  imabhichow

  committedFeb 12, 2024
  59aa8cb

Commits on Feb 9, 2024

• chore(.NET): Add ESDK-Net v4.0.1 generated vectors

  imabhichow

  committedFeb 9, 2024
  5f3fd56

Commits on Jan 31, 2024

• fix: throw an exception when MemoryStream instance has an empty backing array

  justplaz

  committedJan 31, 2024
  550c714

Commits on Jan 29, 2024

• fix: throw an exception when MemoryStream instance has an empty backing array

  justplaz

  committedJan 29, 2024
  e89e2fd

Commits on Dec 5, 2023

• chore(NET-SupportPolicy): Mark 3.x as Support (#631)

  

  texastony

  and

  lavaleri

  committedDec 5, 2023
  3c36f7a

Commits on Nov 30, 2023

• chore: Add manual trigger for nightly_dafny.yml (#629)

  robin-aws

  committedNov 30, 2023
  419b1cb

Commits on Nov 29, 2023

• chore: split vc gen on some methods to migrate to Dafny 4.4 (#627)

  

  texastony

  and

  jtristan

  committedNov 29, 2023
  fdc65ca

Commits on Nov 28, 2023

• test: restore CODEOWNERS and daily CI (#624)

  

  texastony

  and

  josecorella

  committedNov 28, 2023
  ff823ac

• chore: update template to point to public repo (#626)

  josecorella

  committedNov 28, 2023
  2b07a39

• chore: remove unused release step in test-prod (#623)

  josecorella

  committedNov 28, 2023
  9883933

Pagination

PreviousNext