aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk issues and pull requests

#48 - Adjust proof tooling to support CBMC v6

Pull Request - State: closed - Opened by tautschnig about 1 month ago

#47 - Update LTS 202406 information

Pull Request - State: closed - Opened by chinglee-iot 3 months ago

#46 - [v1.2.1] Update changelog, version numbers and .md files for release

Pull Request - State: closed - Opened by chinglee-iot 4 months ago

#45 - [v1.3.0] Update changelog, readme and version in source files

Pull Request - State: closed - Opened by tony-josi-aws 4 months ago - 1 comment

#44 - Use CBMC version 5.95.1

Pull Request - State: closed - Opened by tautschnig 4 months ago - 1 comment

#43 - Update release script github action version

Pull Request - State: closed - Opened by tony-josi-aws 5 months ago

#42 - [v1.2.0] Update changelog, readme and version in source files

Pull Request - State: closed - Opened by tony-josi-aws 5 months ago

#41 - Fix warnings with -Wall -Wextra enabled

Pull Request - State: closed - Opened by tony-josi-aws 5 months ago

#40 - Add CBMC proof actions in CI checks

Pull Request - State: closed - Opened by tony-josi-aws 5 months ago

#39 - Fix MISRA violations

Pull Request - State: closed - Opened by AniruddhaKanhere 7 months ago

#38 - Update word list

Pull Request - State: closed - Opened by Skptak 9 months ago

#37 - Apply formatting bot fix

Pull Request - State: closed - Opened by Skptak about 1 year ago

#36 - CI-CD Updates

Pull Request - State: closed - Opened by Skptak about 1 year ago

#35 - Clang-Format and CI-CD Update

Pull Request - State: closed - Opened by Skptak about 1 year ago

#34 - Upgrade doxygen to 1.9.6

Pull Request - State: closed - Opened by kstribrnAmzn almost 2 years ago

#33 - Update Doxygen to 1.9.6

Pull Request - State: closed - Opened by kstribrnAmzn almost 2 years ago - 1 comment

#32 - Downgrade Doxygen to 1.9.4

Pull Request - State: closed - Opened by kstribrnAmzn almost 2 years ago

#31 - Update Doxygen to 1.9.5

Pull Request - State: closed - Opened by kstribrnAmzn almost 2 years ago

#30 - Workflow update

Pull Request - State: closed - Opened by Skptak almost 2 years ago

#29 - LTS 2.0 Launch

Pull Request - State: closed - Opened by Skptak about 2 years ago

#28 - Version Number Fix

Pull Request - State: closed - Opened by Skptak about 2 years ago

#27 - LTS Version Change

Pull Request - State: closed - Opened by Skptak about 2 years ago

#26 - MISRA Compliance Update

Pull Request - State: closed - Opened by Skptak about 2 years ago

#25 - Update CBMC starter kit

Pull Request - State: closed - Opened by angelonakos about 2 years ago

#24 - Add old doxygen bundles to gh-pages

Pull Request - State: closed - Opened by archigup almost 3 years ago

#23 - Modify workflow for updated automated doxygen action

Pull Request - State: closed - Opened by archigup almost 3 years ago

#22 - Update files for December release

Pull Request - State: closed - Opened by johnrhen almost 3 years ago

#21 - Added doxygen-generation for new commits and release

Pull Request - State: closed - Opened by tianmc1 almost 3 years ago

#20 - Update Doxygen version to 1.9.2

Pull Request - State: closed - Opened by archigup about 3 years ago

#19 - Remove client wording

Pull Request - State: closed - Opened by archigup about 3 years ago

#18 - Fix release month

Pull Request - State: closed - Opened by archigup about 3 years ago

#17 - Fix broken MISRA link

Pull Request - State: closed - Opened by muneebahmed10 about 3 years ago

#16 - Fix minor spelling/capitalization issues

Pull Request - State: closed - Opened by archigup about 3 years ago

#15 - Prepare library for release

Pull Request - State: closed - Opened by archigup about 3 years ago

#14 - Using ussue

Issue - State: closed - Opened by gydronix about 3 years ago - 3 comments

#13 - Update broken MISRA link

Pull Request - State: closed - Opened by yourslab about 3 years ago

#12 - Fix broken MISRA link

Pull Request - State: closed - Opened by archigup about 3 years ago

#11 - Update cbmc proof tools

Pull Request - State: closed - Opened by archigup about 3 years ago