Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 17, 2021

• Add automated doxygen deployment (#113)

  Show description for db619af
  archigup

  authored
  db619af

  Copy full SHA for db619af

Commits on Dec 7, 2021

• Loop invariant update (#112)

  Show description for 2f653e6
  

  markrtuttle

  and

  Mark R. Tuttle

  authored
  2f653e6

  Copy full SHA for 2f653e6

Commits on Nov 11, 2021

• Release bump (#110)

  Show description for 2c1cebf
  archigup

  authored
  2c1cebf

  Copy full SHA for 2c1cebf

Commits on Nov 9, 2021

• Remove non-ASCII characters (#109)

  Show description for fffbb57
  aggarg

  authored
  fffbb57

  Copy full SHA for fffbb57

Commits on Oct 15, 2021

• Advance template submodule for cbmc proofs to latest version

  

  Mark R. Tuttle

  authored and

  markrtuttle

  committed
  49467f6

  Copy full SHA for 49467f6

• Advance litani submodule for cbmc proofs to latest version

  

  Mark R. Tuttle

  authored and

  markrtuttle

  committed
  12be496

  Copy full SHA for 12be496

Commits on Aug 24, 2021

• Update Doxygen version to 1.9.2 (#106)

  Show description for a1c702e
  archigup

  authored
  a1c702e

  Copy full SHA for a1c702e

Commits on Aug 19, 2021

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

  ronakfof

  authored
  830f12c

  Copy full SHA for 830f12c

Commits on Jul 23, 2021

• Release cleanup (#104)

  Show description for caf540c
  archigup

  authored
  caf540c

  Copy full SHA for caf540c

Commits on Jul 16, 2021

• Upgrade proof tool submodules (#102)

  Show description for 9066f2c
  

  karkhaz

  and

  paulbartell

  authored
  9066f2c

  Copy full SHA for 9066f2c

Commits on Jul 14, 2021

• Update broken links (#103)

  Show description for 53194dc
  yourslab

  authored
  53194dc

  Copy full SHA for 53194dc

Commits on Jul 7, 2021

• Fix description of CBMC in README (#101)

  Show description for 25aeec3
  muneebahmed10

  authored
  25aeec3

  Copy full SHA for 25aeec3

Commits on Jun 17, 2021

• Fix overflow in skipOneHexEscape() (#100)

  dan4thewin

  authored
  39f0fbc

  Copy full SHA for 39f0fbc

Commits on Jun 11, 2021

• Refine LGTM configuration (#99)

  dan4thewin

  authored
  5c678b2

  Copy full SHA for 5c678b2

Commits on Jun 10, 2021

• Add LGTM configuration file (#98)

  Show description for d873af4
  dan4thewin

  authored
  d873af4

  Copy full SHA for d873af4

Commits on Apr 22, 2021

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

  dan4thewin

  authored
  f81dec2

  Copy full SHA for f81dec2

Commits on Apr 20, 2021

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

  Show description for 04edabb
  

  feliperodri

  authored and

  karkhaz

  committed
  04edabb

  Copy full SHA for 04edabb

Commits on Apr 12, 2021

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

  dan4thewin

  authored
  8b9cb3e

  Copy full SHA for 8b9cb3e

Commits on Apr 9, 2021

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

  dan4thewin

  authored
  1d9df93

  Copy full SHA for 1d9df93

Commits on Apr 8, 2021

• Update litani and starter kit submodules (#90)

  Show description for 96976f8
  nrdg42

  authored
  96976f8

  Copy full SHA for 96976f8

Commits on Feb 28, 2021

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

  

  Archit Aggarwal

  authored
  19b48db

  Copy full SHA for 19b48db

Commits on Feb 26, 2021

• Fix typos in CHANGELOG. (#88)

  leegeth

  authored
  9aa768b

  Copy full SHA for 9aa768b

Commits on Feb 25, 2021

• Fix MISRA 9.1 violation (#87)

  leegeth

  authored
  537d2ca

  Copy full SHA for 537d2ca

Commits on Feb 19, 2021

• Use python 3.7.10 for memory estimator check. (#86)

  leegeth

  authored
  0f1faa9

  Copy full SHA for 0f1faa9

Commits on Feb 8, 2021

• Update README.md (#84)

  Show description for 4ba0738
  GlenFlint

  authored
  4ba0738

  Copy full SHA for 4ba0738

Commits on Jan 22, 2021

• Add workflow to generate doxygen size tables (#83)

  Show description for a6d2314
  archigup

  authored
  a6d2314

  Copy full SHA for a6d2314

Commits on Jan 19, 2021

• Update README.md (#82)

  Show description for dd37b6a
  

  bwin

  and

  yourslab

  authored
  dd37b6a

  Copy full SHA for dd37b6a

Commits on Jan 12, 2021

• Update litani submodule

  

  Mark R. Tuttle

  authored and

  markrtuttle

  committed
  2d9bbc9

  Copy full SHA for 2d9bbc9

Commits on Dec 23, 2020

• Sync memory estimates with FRO. (#80)

  leegeth

  authored
  9ca6fd3

  Copy full SHA for 9ca6fd3

Commits on Dec 15, 2020

• Update README with LTS information (#79)

  

  Archit Aggarwal

  authored
  26fe707

  Copy full SHA for 26fe707

Commits on Dec 13, 2020

• Add Doxygen doc words to lexicon.txt. (#78)

  sarenameas

  authored
  97a906a

  Copy full SHA for 97a906a

Commits on Dec 11, 2020

• Fix license link (#77)

  sarenameas

  authored
  7b06cb9

  Copy full SHA for 7b06cb9

Commits on Dec 9, 2020

• Add stdint.readme file for toolchains that dont support stdint.h (#75)

  Show description for ad2fb17
  

  Archit Aggarwal

  authored
  ad2fb17

  Copy full SHA for ad2fb17

• Update 202011.00 to 202012.00 and v2.0.0 to v3.0.0 on doxygen and manifest. (#76)

  sarenameas

  authored
  d69b11e

  Copy full SHA for d69b11e

Commits on Dec 8, 2020

• Add API to iterate over items in a JSON collection (#74)

  dan4thewin

  authored
  1abfb4b

  Copy full SHA for 1abfb4b

Pagination

Previous

Next