Commits

Branch selector

 v3.2.0

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 14, 2022

• Update SBOM

  AniruddhaKanhere

  committedOct 14, 2022
  5b31f4c

• LTS 2.0 Launch (#126)

  

  Soren Ptak

  and

  Soren Ptak

  authoredOct 14, 2022
  667cc64

Commits on Sep 23, 2022

• Version Number Fix (#125)

  

  Soren Ptak

  and

  Soren Ptak

  authoredSep 23, 2022
  a0cd612

Commits on Sep 2, 2022

• Added README.md in tools/coverity/ (#124)

  xuelix

  authoredSep 2, 2022
  16637e3

Commits on Aug 19, 2022

• LTS Version Change (#123)

  

  Skptak

  and

  Soren Ptak

  authoredAug 19, 2022
  ccfdaf3

Commits on Aug 17, 2022

• MISRA Compliance Update (#121)

  

  3 peopleauthoredAug 17, 2022
  e3d7f27

Commits on Jul 29, 2022

• Add SBOM Generation in release.yml

  

  xlin7799

  authored and

  paulbartell

  committedJul 29, 2022
  cf14dc5

Commits on Jul 14, 2022

• Update README to include a section on CBMC

  

  angelonakos

  authored and

  paulbartell

  committedJul 14, 2022
  01055b5

• Remove starter-kit and Litani submodules

  

  angelonakos

  authored and

  paulbartell

  committedJul 14, 2022
  ecf85d1

• Update files related to CBMC starter kit

  

  angelonakos

  authored and

  paulbartell

  committedJul 14, 2022
  1428c7d

• Change SPDX identifier in CBMC proof Makefile from Apache-2.0 to MIT-0

  

  angelonakos

  authored and

  paulbartell

  committedJul 14, 2022
  0305b85

Commits on Jun 14, 2022

• Fix JSON validation for mismatched brackets (#115)

  muneebahmed10

  authoredJun 14, 2022
  9c68791

Commits on Dec 17, 2021

• Add automated doxygen deployment (#113)

  archigup

  authoredDec 17, 2021
  db619af

Commits on Dec 7, 2021

• Loop invariant update (#112)

  

  markrtuttle

  and

  Mark R. Tuttle

  authoredDec 7, 2021
  2f653e6

Commits on Nov 11, 2021

• Release bump (#110)

  archigup

  authoredNov 11, 2021
  2c1cebf

Commits on Nov 9, 2021

• Remove non-ASCII characters (#109)

  aggarg

  authoredNov 9, 2021
  fffbb57

Commits on Oct 15, 2021

• Advance template submodule for cbmc proofs to latest version

  

  Mark R. Tuttle

  authored and

  markrtuttle

  committedOct 15, 2021
  49467f6

• Advance litani submodule for cbmc proofs to latest version

  

  Mark R. Tuttle

  authored and

  markrtuttle

  committedOct 15, 2021
  12be496

Commits on Aug 24, 2021

• Update Doxygen version to 1.9.2 (#106)

  archigup

  authoredAug 24, 2021
  a1c702e

Commits on Aug 19, 2021

• Updated aws-templates-for-cbmc-proofs submodule (#105)

  ronakfof

  authoredAug 19, 2021
  830f12c

Commits on Jul 23, 2021

• Release cleanup (#104)

  archigup

  authoredJul 23, 2021
  caf540c

Commits on Jul 16, 2021

• Upgrade proof tool submodules (#102)

  

  karkhaz

  and

  paulbartell

  authoredJul 16, 2021
  9066f2c

Commits on Jul 14, 2021

• Update broken links (#103)

  yourslab

  authoredJul 14, 2021
  53194dc

Commits on Jul 7, 2021

• Fix description of CBMC in README (#101)

  muneebahmed10

  authoredJul 7, 2021
  25aeec3

Commits on Jun 17, 2021

• Fix overflow in skipOneHexEscape() (#100)

  dan4thewin

  authoredJun 17, 2021
  39f0fbc

Commits on Jun 11, 2021

• Refine LGTM configuration (#99)

  dan4thewin

  authoredJun 11, 2021
  5c678b2

Commits on Jun 10, 2021

• Add LGTM configuration file (#98)

  dan4thewin

  authoredJun 10, 2021
  d873af4

Commits on Apr 22, 2021

• Eliminate warnings when base char type is unsigned (#95)

  dan4thewin

  authoredApr 22, 2021
  f81dec2

Commits on Apr 20, 2021

• Upgrades aws-templates-for-cbmc-proofs version

  

  feliperodri

  authored and

  karkhaz

  committedApr 20, 2021
  04edabb

Commits on Apr 12, 2021

• Wrap query key separator macro with ifndef (#93)

  dan4thewin

  authoredApr 12, 2021
  8b9cb3e

Commits on Apr 9, 2021

• Fix sed expressions to use bool instead of bool_. (#91)

  dan4thewin

  authoredApr 9, 2021
  1d9df93

Commits on Apr 8, 2021

• Update litani and starter kit submodules (#90)

  nrdg42

  authoredApr 8, 2021
  96976f8

Commits on Feb 28, 2021

• Update URL to memory estimates in README (#89)

  aggarw13

  authoredFeb 28, 2021
  19b48db

Commits on Feb 26, 2021

• Fix typos in CHANGELOG. (#88)

  leegeth

  authoredFeb 26, 2021
  9aa768b

Commits on Feb 25, 2021

• Fix MISRA 9.1 violation (#87)

  leegeth

  authoredFeb 25, 2021
  537d2ca

Pagination

PreviousNext