Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 9, 2025

• Remove formatting bot workflow (#174)

  archigup

  authored
  4024417

  Copy full SHA for 4024417

Commits on Nov 25, 2024

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

  ActoryOu

  authored
  2137d79

  Copy full SHA for 2137d79

Commits on Nov 18, 2024

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

  Show description for ad6185c
  tony-josi-aws

  authored
  ad6185c

  Copy full SHA for ad6185c

Commits on Sep 25, 2024

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

  Show description for 27edcd5
  

  tautschnig

  and

  AniruddhaKanhere

  authored
  27edcd5

  Copy full SHA for 27edcd5

• Fix link (#171)

  AniruddhaKanhere

  authored
  b46fe4f

  Copy full SHA for b46fe4f

Commits on Jul 20, 2024

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

  Show description for 9ebaeb5
  aggarg

  authored
  9ebaeb5

  Copy full SHA for 9ebaeb5

Commits on Jul 2, 2024

• Update LTS 202406 information (#166)

  chinglee-iot

  authored
  2bb6294

  Copy full SHA for 2bb6294

Commits on Jul 1, 2024

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

  Show description for 10c26b8
  aggarg

  authored
  10c26b8

  Copy full SHA for 10c26b8

Commits on Jun 10, 2024

• Use CBMC version 5.95.1 (#164)

  Show description for fdfe306
  tautschnig

  authored
  fdfe306

  Copy full SHA for fdfe306

Commits on May 15, 2024

• Update doxygen version in readMe file (#162)

  kar-rahul-aws

  authored
  da5ad64

  Copy full SHA for da5ad64

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

  Show description for 3f195f8
  kar-rahul-aws

  authored
  3f195f8

  Copy full SHA for 3f195f8

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

  kar-rahul-aws

  authored
  55a3b1c

  Copy full SHA for 55a3b1c

• Update submodule pointer (#158)

  kar-rahul-aws

  authored
  ba08615

  Copy full SHA for ba08615

Commits on Mar 14, 2024

• Fix MISRA C 2012 20.12 deviations (#157)

  Show description for e8fd5be
  chinglee-iot

  authored
  e8fd5be

  Copy full SHA for e8fd5be

Commits on Mar 13, 2024

• MISRA fixes (#153)

  Show description for 8401d38
  

  3 peopleauthored
  8401d38

  Copy full SHA for 8401d38

Commits on Feb 20, 2024

• Fix 2 MISRA violations (#156)

  AniruddhaKanhere

  authored
  dc1ab91

  Copy full SHA for dc1ab91

Commits on Jan 9, 2024

• Update word list (#155)

  Show description for b92c8cd
  Skptak

  authored
  b92c8cd

  Copy full SHA for b92c8cd

Commits on Jan 4, 2024

• Add ClusterFuzzLite set up (#154)

  Show description for 0423144
  DavidKorczynski

  authored
  0423144

  Copy full SHA for 0423144

Commits on Oct 17, 2023

• Unbounded proofs of memory safety (#146)

  Show description for 8c7ba86
  feliperodri

  authored
  8c7ba86

  Copy full SHA for 8c7ba86

Commits on Oct 5, 2023

• Apply formatting bot fix (#151)

  Skptak

  authored
  121d5fc

  Copy full SHA for 121d5fc

Commits on Sep 5, 2023

• CI-CD Updates (#150)

  Show description for 357cdf1
  Skptak

  authored
  357cdf1

  Copy full SHA for 357cdf1

Commits on Aug 2, 2023

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

  Show description for 84f903f
  archigup

  authored
  84f903f

  Copy full SHA for 84f903f

Commits on May 9, 2023

• Restructure function contracts for readability (#142)

  Show description for 8d216b5
  feliperodri

  authored
  8d216b5

  Copy full SHA for 8d216b5

Commits on May 3, 2023

• Upgrade to CBMC Starter Kit 2.10 (#144)

  Show description for 7b24709
  feliperodri

  authored
  7b24709

  Copy full SHA for 7b24709

Commits on Mar 3, 2023

• Add CBMC-running GitHub Action;

  Show description for 360cfcd
  karkhaz

  committed
  360cfcd

  Copy full SHA for 360cfcd

Commits on Feb 20, 2023

• Create pull_request_template.md (#138)

  AniruddhaKanhere

  authored
  e9f92ae

  Copy full SHA for e9f92ae

Commits on Jan 31, 2023

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

  Show description for 2518fd9
  AniruddhaKanhere

  authored
  2518fd9

  Copy full SHA for 2518fd9

• Delete CODEOWNERS

  cobusve

  authored
  ce65d37

  Copy full SHA for ce65d37

• Create CODEOWNERS

  cobusve

  authored
  c693451

  Copy full SHA for c693451

Commits on Jan 30, 2023

• Memory safety proofs using function contracts (#133)

  Show description for 40a7eae
  feliperodri

  authored
  40a7eae

  Copy full SHA for 40a7eae

Commits on Jan 3, 2023

• Upgrade doxygen to 1.9.6 (#134)

  Show description for 4dbd915
  kstribrnAmzn

  authored
  4dbd915

  Copy full SHA for 4dbd915

Commits on Dec 21, 2022

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

  Show description for d3b8f79
  feliperodri

  authored
  d3b8f79

  Copy full SHA for d3b8f79

Commits on Dec 14, 2022

• Update infrastructure for CBMC proofs (#131)

  Show description for 4abff56
  feliperodri

  authored
  4abff56

  Copy full SHA for 4abff56

Commits on Dec 7, 2022

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

  Show description for a0223a8
  feliperodri

  authored
  a0223a8

  Copy full SHA for a0223a8

Commits on Nov 23, 2022

• Make jump_buf local to each calling file

  

  AniruddhaKanhere

  authored and

  paulbartell

  committed
  66a18ba

  Copy full SHA for 66a18ba

Pagination

Previous

Next