Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 25, 2024

• Follow Security Guide to update YAML files. (#173)

  ActoryOu

  authored
  2137d79

Commits on Nov 18, 2024

• Update GitHub Actions workflows as per security guidelines (#172)

  tony-josi-aws

  authored
  ad6185c

Commits on Sep 25, 2024

• Adjust proof tooling to support CBMC v6 (#170)

  

  tautschnig

  and

  AniruddhaKanhere

  authored
  27edcd5

• Fix link (#171)

  AniruddhaKanhere

  authored
  b46fe4f

Commits on Jul 20, 2024

• Treat empty JSON object in key-value pair as valid (#169)

  aggarg

  authored
  9ebaeb5

Commits on Jul 2, 2024

• Update LTS 202406 information (#166)

  chinglee-iot

  authored
  2bb6294

Commits on Jul 1, 2024

• Correctly detect missing key in a key-value pair (#167)

  aggarg

  authored
  10c26b8

Commits on Jun 10, 2024

• Use CBMC version 5.95.1 (#164)

  tautschnig

  authored
  fdfe306

Commits on May 15, 2024

• Update doxygen version in readMe file (#162)

  kar-rahul-aws

  authored
  da5ad64

• Updating version number and adding PR to the changelog.md file (#159)

  kar-rahul-aws

  authored
  3f195f8

• Update release.yml for latest version release (#160)

  kar-rahul-aws

  authored
  55a3b1c

• Update submodule pointer (#158)

  kar-rahul-aws

  authored
  ba08615

Commits on Mar 14, 2024

• Fix MISRA C 2012 20.12 deviations (#157)

  chinglee-iot

  authored
  e8fd5be

Commits on Mar 13, 2024

• MISRA fixes (#153)

  

  3 peopleauthored
  8401d38

Commits on Feb 20, 2024

• Fix 2 MISRA violations (#156)

  AniruddhaKanhere

  authored
  dc1ab91

Commits on Jan 9, 2024

• Update word list (#155)

  Skptak

  authored
  b92c8cd

Commits on Jan 4, 2024

• Add ClusterFuzzLite set up (#154)

  DavidKorczynski

  authored
  0423144

Commits on Oct 17, 2023

• Unbounded proofs of memory safety (#146)

  feliperodri

  authored
  8c7ba86

Commits on Oct 5, 2023

• Apply formatting bot fix (#151)

  Skptak

  authored
  121d5fc

Commits on Sep 5, 2023

• CI-CD Updates (#150)

  Skptak

  authored
  357cdf1

Commits on Aug 2, 2023

• Fix short-circuiting operations with side-effects (#148)

  archigup

  authored
  84f903f

Commits on May 9, 2023

• Restructure function contracts for readability (#142)

  feliperodri

  authored
  8d216b5

Commits on May 3, 2023

• Upgrade to CBMC Starter Kit 2.10 (#144)

  feliperodri

  authored
  7b24709

Commits on Mar 3, 2023

• Add CBMC-running GitHub Action;

  karkhaz

  committed
  360cfcd

Commits on Feb 20, 2023

• Create pull_request_template.md (#138)

  AniruddhaKanhere

  authored
  e9f92ae

Commits on Jan 31, 2023

• Create CODEOWNERS file to make PRBR review compulsory (#135)

  AniruddhaKanhere

  authored
  2518fd9

• Delete CODEOWNERS

  cobusve

  authored
  ce65d37

• Create CODEOWNERS

  cobusve

  authored
  c693451

Commits on Jan 30, 2023

• Memory safety proofs using function contracts (#133)

  feliperodri

  authored
  40a7eae

Commits on Jan 3, 2023

• Upgrade doxygen to 1.9.6 (#134)

  kstribrnAmzn

  authored
  4dbd915

Commits on Dec 21, 2022

• Upgrade CBMC infrastructure (starter-kit 2.8) (#132)

  feliperodri

  authored
  d3b8f79

Commits on Dec 14, 2022

• Update infrastructure for CBMC proofs (#131)

  feliperodri

  authored
  4abff56

Commits on Dec 7, 2022

• Avoid spurious arithmetic overflow in CBMC proofs (#130)

  feliperodri

  authored
  a0223a8

Commits on Nov 23, 2022

• Make jump_buf local to each calling file

  

  AniruddhaKanhere

  authored and

  paulbartell

  committed
  66a18ba

• Update CI and doxygen config for 22.04 ubuntu version

  

  AniruddhaKanhere

  authored and

  paulbartell

  committed
  50aeeea

Pagination

PreviousNext