Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / aws/Device-Shadow-for-AWS-IoT-embedded-sdk issues and pull requests

#129 - FIx links

Pull Request - State: closed - Opened by AniruddhaKanhere 14 days ago

#128 - Adjust proof tooling to support CBMC v6

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

#127 - Update LTS 202406 information

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

#125 - Use CBMC version 5.95.1

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

#124 - Update release yml

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

#123 - [v1.4.0] Update changelog, version number for release

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

#122 - Update CMock

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

#121 - Update MISRA config

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

#120 - Update word list

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

#119 - Apply formatting bot fix

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

#118 - CI-CD Updates

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

#117 - Clang-Format and CI-CD Update

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

#116 - .

Pull Request - State: closed - Opened by karkhaz over 1 year ago

#115 - Test CBMC GitHub Action performance

Pull Request - State: closed - Opened by karkhaz over 1 year ago

#114 - Test CBMC GitHub Action performance

Pull Request - State: closed - Opened by karkhaz over 1 year ago

#113 - Add CBMC proof-running GitHub Action

Pull Request - State: closed - Opened by karkhaz over 1 year ago

#112 - Device Shadow State Access Audit

Issue - State: open - Opened by kstribrnAmzn over 1 year ago
Labels: help wanted

#111 - Update Doxygen to 1.9.6

Pull Request - State: closed - Opened by kstribrnAmzn over 1 year ago

#110 - Downgrade Doxygen to 1.9.4

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

#109 - Updated Deoxygen to 1.9.5 and python dependency version to 3.11.0

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

#108 - Update Doxygen to 1.9.5

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

#107 - LTS 2.0 Launch

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

#106 - Version Number Fix

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

#105 - Added a README.md to tools/coverity/

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

#104 - LTS Version Change

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

#103 - Add SBOM Generation in release.yml

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

#102 - MISRA Compliance Update

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

#101 - Update CBMC starter kit

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

#100 - Add old doxygen bundles to gh-pages

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

#99 - Add automated doxygen deployment

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

#98 - Loop invariant update

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

#97 - Loop invariant update

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

#96 - Updated version to v1.2.0 and updated CHANGELOG

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

#95 - Enable logging macros in CI checks for Device Shadow

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

#94 - Upgrade CBMC proofs

Pull Request - State: closed - Opened by feliperodri almost 3 years ago - 2 comments
Labels: enhancement

#93 - Rename master references to main

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

#92 - Update Doxygen version to 1.9.2

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

#91 - Updated aws-templates-for-cbmc-proofs submodule

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

#90 - Added CPP guard for header files

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

#89 - Updated version for release

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

#88 - Update broken MISRA link

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

#87 - Upgrade proof tools: Litani 1.10.0 and starter kit

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

#86 - Fix description of CBMC in README

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

#85 - [coreShadow] CBMC PROOF fix for Shadow_AssembleTopicString function

Pull Request - State: closed - Opened by gshvang over 3 years ago

#84 - Logging: Fix string printf overflow

Pull Request - State: closed - Opened by boraozgen over 3 years ago

#83 - Update litani and starter kit submodules

Pull Request - State: closed - Opened by nrdg42 over 3 years ago

#82 - Update Shadow definition to include named shadows.

Pull Request - State: closed - Opened by leegeth over 3 years ago

#81 - Update link for memory estimates in README

Pull Request - State: closed - Opened by aggarw13 over 3 years ago

#80 - Add information about Named Shadow in README and CHANGELOG

Pull Request - State: closed - Opened by aggarw13 over 3 years ago

#79 - Update file versioning to v1.1.0

Pull Request - State: closed - Opened by aggarw13 over 3 years ago

#78 - Update CHANGELOG and source file versioning for release

Pull Request - State: closed - Opened by aggarw13 over 3 years ago

#77 - Use python 3.7.10 for memory estimator check.

Pull Request - State: closed - Opened by leegeth over 3 years ago

#76 - Minor MISRA fixes.

Pull Request - State: closed - Opened by leegeth over 3 years ago

#75 - Update code comments.

Pull Request - State: closed - Opened by leegeth over 3 years ago

#74 - Add CBMC proof for Shadow_MatchTopic.

Pull Request - State: closed - Opened by leegeth over 3 years ago

#73 - Address inconsistency in types.

Pull Request - State: closed - Opened by leegeth over 3 years ago

#72 - Updates named shadow to add AWS Service limit checks

Pull Request - State: closed - Opened by leegeth over 3 years ago

#71 - Add workflow to generate doxygen size tables

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

#70 - Fix doxygen download link

Pull Request - State: closed - Opened by leegeth over 3 years ago

#69 - Update litani submodule

Pull Request - State: closed - Opened by markrtuttle over 3 years ago

#68 - Update memory estimates table

Pull Request - State: closed - Opened by archigup almost 4 years ago - 1 comment

#67 - Fixed typo in shadow.h documentation.

Pull Request - State: closed - Opened by lundinc2 almost 4 years ago

#66 - Update README with LTS information

Pull Request - State: closed - Opened by aggarw13 almost 4 years ago

#65 - Add Doxygen doc words to lexicon.txt

Pull Request - State: closed - Opened by sarenameas almost 4 years ago

#64 - Missed link update and fixes.

Pull Request - State: closed - Opened by sarenameas almost 4 years ago

#63 - CHANGELOG.md and version number bump.

Pull Request - State: closed - Opened by sarenameas almost 4 years ago

#62 - Release automation for Shadow.

Pull Request - State: closed - Opened by leegeth almost 4 years ago

#61 - Add CONTRIBUTING.md

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

#60 - Cast variable type based on format identifier

Pull Request - State: closed - Opened by yourslab almost 4 years ago

#59 - Add CODE_OF_CONDUCT.md

Pull Request - State: closed - Opened by aggarw13 almost 4 years ago - 1 comment

#58 - Change all references to master, to main.

Pull Request - State: closed - Opened by sarenameas almost 4 years ago

#57 - Fix 404 link in README

Pull Request - State: closed - Opened by muneebahmed10 almost 4 years ago

#57 - Fix 404 link in README

Pull Request - State: closed - Opened by muneebahmed10 almost 4 years ago

#56 - Add named shadows support

Pull Request - State: closed - Opened by gregbreen almost 4 years ago - 3 comments

#55 - Add support for named shadows

Issue - State: closed - Opened by AshUK almost 4 years ago - 3 comments
Labels: feature-request

#54 - Add git-secrets check to the GHAs.

Pull Request - State: closed - Opened by sarenameas almost 4 years ago

#53 - Make run script return zero on proof failure

Pull Request - State: closed - Opened by karkhaz almost 4 years ago - 1 comment

#52 - Make run script return zero on proof failure

Pull Request - State: closed - Opened by karkhaz almost 4 years ago

#51 - Switch all line endings to unix

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

#50 - Change security.md to SECURITY.md

Pull Request - State: closed - Opened by muneebahmed10 almost 4 years ago

#49 - Fix demo link

Pull Request - State: closed - Opened by muneebahmed10 almost 4 years ago

#48 - Fix LICENSE link in README

Pull Request - State: closed - Opened by muneebahmed10 almost 4 years ago

#47 - Add README.md link to memory estimates doxygen page

Pull Request - State: closed - Opened by sukhmanm almost 4 years ago

#46 - Update doxygen memory estimates and GCC toolchain link

Pull Request - State: closed - Opened by sukhmanm almost 4 years ago

#45 - Update CHANGELOG for v1.0.1

Pull Request - State: closed - Opened by andysun2015 almost 4 years ago

#44 - Update README example references to contain links to all hub repos

Pull Request - State: closed - Opened by aggarw13 almost 4 years ago

#43 - Add security.md file

Pull Request - State: closed - Opened by aggarw13 almost 4 years ago

#42 - Update version v1.0.0 to v1.0.1.

Pull Request - State: closed - Opened by sarenameas almost 4 years ago

#41 - Fix build warning from visual studio due to terminator character

Pull Request - State: closed - Opened by andysun2015 almost 4 years ago

#40 - Update CBMC proofs to use the latest starter kit.

Pull Request - State: closed - Opened by markrtuttle almost 4 years ago

#39 - Add list of header files in file path

Pull Request - State: closed - Opened by aggarw13 almost 4 years ago - 1 comment

#38 - Rename proof marker to cbmc-proof.txt

Pull Request - State: closed - Opened by nrdg42 almost 4 years ago - 1 comment

#37 - Change cbmc-batch.yaml to wellspring.txt

Pull Request - State: closed - Opened by nrdg42 about 4 years ago

#36 - Test PR for CI

Pull Request - State: closed - Opened by nrdg42 about 4 years ago

#35 - Update submodule configuration for hub repo cloning efficiency

Pull Request - State: closed - Opened by aggarw13 about 4 years ago

#34 - Fix broken link to license in README

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

#33 - Log test results after running the coverage target

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

#32 - Add link for CBMC tool in README

Pull Request - State: closed - Opened by aggarw13 about 4 years ago

#31 - Remove incorrect CMBC video link

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