Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 25, 2024

• chore: use built-in SAT solver for CBMC proofs (#781)

  tautschnig

  committedApr 25, 2024
  42f7af6

Commits on Apr 24, 2024

• chore(deps): bump actions/upload-artifact from 3 to 4 (#784)

  dependabot[bot]

  committedApr 24, 2024
  cb22f6a

• chore(deps): bump actions/checkout from 2 to 4 (#783)

  dependabot[bot]

  committedApr 24, 2024
  4225ea3

• chore(deps): bump DoozyX/clang-format-lint-action from 0.5 to 0.17 (#782)

  dependabot[bot]

  committedApr 24, 2024
  78d2e0b

• chore: update CBMC version (#780)

  tautschnig

  committedApr 24, 2024
  c1cfe99

• chore(deps): bump aws-encryption-sdk-specification (#778)

  dependabot[bot]

  committedApr 24, 2024
  56a65d6

• chore: enable dependabot for github actions (#779)

  tautschnig

  committedApr 24, 2024
  30b4d7d

Commits on Apr 23, 2024

• chore: enable dependabot for git submodules (#775)

  tautschnig

  committedApr 23, 2024
  02dad88

• fix: type inconsistencies in CBMC proof harnesses (#772)

  tautschnig

  committedApr 23, 2024
  09484af

Commits on Apr 16, 2024

• chore: limit number of random bytes generated (#773)

  ajewellamz

  committedApr 16, 2024
  6174f83

Commits on Sep 6, 2023

• chore: silence deprecation warnings (#771)

  ajewellamz

  committedSep 6, 2023
  2158a7c

Commits on Apr 11, 2023

• fix(CI): Update Ubuntu Docker Images for AWS-LC (#767)

  texastony

  committedApr 11, 2023
  b40f3bb

Commits on Apr 5, 2023

• chore: version bump (#766)

  seebees

  committedApr 5, 2023
  896491e

Commits on Mar 7, 2023

• feat: Add CBMC proof-running GitHub Action (#763)

  karkhaz

  committedMar 7, 2023
  50b11f9

Commits on Mar 6, 2023

• feat: upgrade awslc dependency (#765)

  ajewellamz

  committedMar 6, 2023
  a17c204

Commits on Mar 2, 2023

• feat: update macOS build (#764)

  ajewellamz

  committedMar 2, 2023
  e93f623

Commits on Jan 3, 2023

• fix: return type of aws_default_allocator stub in CBMC proofs (#760)

  

  tautschnig

  and

  ajewellamz

  committedJan 3, 2023
  de9f22d

• feat: use latest aws-cpp-sdk (#761)

  ajewellamz

  committedJan 3, 2023
  38e227f

Commits on Sep 6, 2022

• feat: Add support for AWS-LC build in ESDK (#750)

  

  3 peoplecommittedSep 6, 2022
  c40940e

Commits on Aug 30, 2022

• fix(default_cmm): track unset default alg separately (#687)

  

  alex-chew

  and

  texastony

  committedAug 30, 2022
  072bce0

• fix: kms delay (#758)

  ajewellamz

  committedAug 30, 2022
  824b9c6

Commits on Aug 26, 2022

• fix: out-of-bounds constant in default_cmm.c (#752)

  

  ajewellamz

  and

  alex-chew

  committedAug 26, 2022
  85c892c

• docs(SupportPolicy): Mark 1.x End-of-Support (#756)

  texastony

  committedAug 26, 2022
  819d2a4

Commits on Aug 3, 2022

• Update CBMC starter kit (#753)

  angelonakos

  committedAug 3, 2022
  71e42b4

Commits on Jul 14, 2022

• fix: initialize buffer in cipher_openssl.c (#751)

  ajewellamz

  committedJul 14, 2022
  c61d536

Commits on May 5, 2022

• Add missing library to compilation example (#697)

  

  3 peoplecommittedMay 5, 2022
  0a19156

Commits on May 3, 2022

• ci(CodeBuild): run ubuntu latest in series (#747)

  texastony

  committedMay 3, 2022
  f697021

Commits on May 2, 2022

• chore: bump openssl (#746)

  texastony

  committedMay 2, 2022
  7a3f79e

Commits on Mar 2, 2022

• chore: Update submodules (#725)

  seebees

  committedMar 2, 2022
  f643dfc

• docs(examples): adjust discovery example wording (#738)

  alex-chew

  committedMar 2, 2022
  417792f

• docs: Use recommended RSA padding mode (#522)

  juneb

  committedMar 2, 2022
  be9c825

Commits on Feb 22, 2022

• Remove CBMC CI configuration (#741)

  angelonakos

  committedFeb 22, 2022
  0c20198

Commits on Dec 2, 2021

• Bump Litani version to 1.16.0 (#740)

  feliperodri

  committedDec 2, 2021
  84befdf

• Upgrade CBMC templates submodule (#739)

  feliperodri

  committedDec 2, 2021
  7838c5f

Commits on Nov 23, 2021

• feat(examples): add DiscoveryFilter example (#737)

  alex-chew

  committedNov 23, 2021
  7d22a23

Pagination

PreviousNext