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
#126 - [v1.4.1] Update changelog, version numbers and .md files for release
Pull Request -
State: closed - Opened by chinglee-iot 4 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
#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 almost 2 years 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