Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aws/SigV4-for-AWS-IoT-embedded-sdk issues and pull requests
#104 - Adjust proof tooling to support CBMC v6
Pull Request -
State: closed - Opened by tautschnig about 1 month ago
#103 - Update LTS 202406 information
Pull Request -
State: closed - Opened by chinglee-iot 3 months ago
#102 - Remove symlink in gh-pages and update with folder
Pull Request -
State: closed - Opened by kar-rahul-aws 4 months ago
#101 - Use CBMC version 5.95.1
Pull Request -
State: closed - Opened by tautschnig 4 months ago
- 1 comment
#100 - Update SigV4_EncodeURI in doxygen
Pull Request -
State: closed - Opened by kar-rahul-aws 5 months ago
#99 - Update release.yml for latest version release v1.3.0
Pull Request -
State: closed - Opened by kar-rahul-aws 5 months ago
#98 - Create CODEOWNERS file to make PRBR review compulsory
Pull Request -
State: closed - Opened by kar-rahul-aws 5 months ago
#97 - Replace private API encodeURI with public API SigV4_EncodeURI
Pull Request -
State: closed - Opened by kar-rahul-aws 5 months ago
- 2 comments
#96 - Updating version number and adding PR to the changelog.md file
Pull Request -
State: closed - Opened by kar-rahul-aws 5 months ago
#95 - Update pull_request_template.md
Pull Request -
State: closed - Opened by kar-rahul-aws 5 months ago
#94 - Update submodule pointer
Pull Request -
State: closed - Opened by kar-rahul-aws 5 months ago
#93 - Refactor pBufCur usage
Pull Request -
State: closed - Opened by chinglee-iot 6 months ago
#92 - Fix MISRA C 2012 deviations
Pull Request -
State: closed - Opened by chinglee-iot 7 months ago
#91 - Update word list
Pull Request -
State: closed - Opened by Skptak 9 months ago
#90 - Create CMakeLists.txt
Pull Request -
State: closed - Opened by murillo128 11 months ago
- 4 comments
#89 - Support presigned URL signature "UNSIGNED-PAYLOAD" and expose EncodeURI
Pull Request -
State: closed - Opened by giuspen 12 months ago
- 23 comments
#88 - Apply formatting bot fix
Pull Request -
State: closed - Opened by Skptak about 1 year ago
#87 - CI-CD Updates
Pull Request -
State: closed - Opened by Skptak about 1 year ago
#86 - Clang-Format and CI-CD Update
Pull Request -
State: closed - Opened by Skptak about 1 year ago
#85 - fix array index off-by-one error in canonical parameter value generation
Pull Request -
State: closed - Opened by schoeler over 1 year ago
- 1 comment
#84 - sig v4 workaround for IoT Core device
Issue -
State: open - Opened by schoeler over 1 year ago
- 7 comments
Labels: question
#83 - Change proof_ci runner to 64-core
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
#81 - Test CBMC GitHub Action performance
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
#80 - Test CBMC GitHub Action performance
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
#79 - Test CBMC GitHub Action performance
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
#78 - Add CBMC proof-running GitHub Action
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
#77 - Update doxygen to 1.9.6
Pull Request -
State: closed - Opened by kstribrnAmzn almost 2 years ago
#76 - upgrade doxygen to v1.9.4
Pull Request -
State: closed - Opened by adam-scislowicz almost 2 years ago
#75 - Update release workflow to include SBOM generation
Pull Request -
State: closed - Opened by AniruddhaKanhere almost 2 years ago
#74 - LTS 2.0 Launch
Pull Request -
State: closed - Opened by Skptak about 2 years ago
#73 - Version Number Fix
Pull Request -
State: closed - Opened by Skptak about 2 years ago
#72 - LTS Version Change
Pull Request -
State: closed - Opened by Skptak about 2 years ago
#71 - MISRA Compliance Updates
Pull Request -
State: closed - Opened by Skptak about 2 years ago
#70 - Update CBMC starter kit
Pull Request -
State: closed - Opened by angelonakos about 2 years ago
- 1 comment
#69 - Add old doxygen bundles to gh-pages
Pull Request -
State: closed - Opened by archigup almost 3 years ago
#68 - Add automated doxygen deployment
Pull Request -
State: closed - Opened by archigup almost 3 years ago
#67 - Release bump
Pull Request -
State: closed - Opened by yourslab almost 3 years ago
#66 - Make updates for release
Pull Request -
State: closed - Opened by yourslab almost 3 years ago
#65 - Loop invariant update
Pull Request -
State: closed - Opened by markrtuttle almost 3 years ago
#64 - Loop invariant update
Pull Request -
State: closed - Opened by markrtuttle almost 3 years ago
#63 - Remove extraneous parentheses in isAllowedChar()
Pull Request -
State: closed - Opened by yiting16 almost 3 years ago
#62 - Enable logging macros in CI checks for SigV4
Pull Request -
State: closed - Opened by johnrhen almost 3 years ago
#61 - Update litani and template submodules used by cbmc proofs
Pull Request -
State: closed - Opened by markrtuttle almost 3 years ago
#60 - Update litani and template submodules for cbmc proofs
Pull Request -
State: closed - Opened by markrtuttle almost 3 years ago
#59 - Remove superfluous memmove
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#58 - Utility word removal from Sigv4 Library
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#57 - SigV4 Porting Guide
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#56 - Update Doxygen version to 1.9.2
Pull Request -
State: closed - Opened by archigup about 3 years ago
#55 - CBMC Proof Failure Fixes
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#54 - cbmc-testing
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#53 - test-cbmc
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#52 - Bug fixes in library and hygiene improvements in test cases
Pull Request -
State: closed - Opened by aggarw13 about 3 years ago
#51 - [SigV4]Payload optimization
Pull Request -
State: closed - Opened by gshvang about 3 years ago
- 2 comments
#50 - Update config.doxyfile
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#49 - Remove Utility word from Doxygen docs
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#48 - Add code examples
Pull Request -
State: closed - Opened by archigup about 3 years ago
#47 - Add quicksort source file to memory statistics
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#46 - Name change from AWS IoT to AWS
Pull Request -
State: closed - Opened by gshvang about 3 years ago
- 1 comment
#45 - Add C++ guards to SigV4 headers
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#44 - Remove outdated README information
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#43 - Update misra information
Pull Request -
State: closed - Opened by muneebahmed10 about 3 years ago
#42 - CBMC proof for SigV4_GenerateHTTPAuthorization
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#41 - Query NULL check changes
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#40 - File updates
Pull Request -
State: closed - Opened by archigup about 3 years ago
#39 - Add misra and changelog file
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#38 - Doxygen updates
Pull Request -
State: closed - Opened by archigup about 3 years ago
#37 - Remove use of isalnum and isspace
Pull Request -
State: closed - Opened by muneebahmed10 about 3 years ago
#36 - Library Main Page README Updates
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#35 - Add CBMC proofs
Pull Request -
State: closed - Opened by yourslab about 3 years ago
- 1 comment
#34 - Implement iterative quicksort
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#33 - Add more MISRA fixes
Pull Request -
State: closed - Opened by muneebahmed10 about 3 years ago
#32 - Add some MISRA fixes
Pull Request -
State: closed - Opened by muneebahmed10 about 3 years ago
#31 - Fix library build warnings and logging errors
Pull Request -
State: closed - Opened by aggarw13 about 3 years ago
#30 - Updated aws-templates-for-cbmc-proofs submodule
Pull Request -
State: closed - Opened by ronakfof about 3 years ago
#29 - SigV4_GenerateHTTPAuthorization unit tests
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#28 - Add Canonical and signed headers functions
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#27 - SigV4_GenerateHTTPAuthorization
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#26 - [Do Not Merge] Test PR for CI
Pull Request -
State: closed - Opened by nrdg42 about 3 years ago
#25 - [SigV4] Documenation Changes in Sigv4
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#24 - Test PR
Pull Request -
State: closed - Opened by yourslab about 3 years ago
#23 - CBMC proof for SigV4_GenerateHTTPAuthorization()
Pull Request -
State: closed - Opened by sukhmanm about 3 years ago
#22 - [Sigv4] Doxygen content updates
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#21 - Change permissions of run_cbmc_proofs.py file
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#20 - Update proof tools (+disable submodule cloning by default)
Pull Request -
State: closed - Opened by sukhmanm about 3 years ago
#19 - [SigV4] CBMC proof for Sigv4_awsIotdatetoISO8601 API
Pull Request -
State: closed - Opened by gshvang about 3 years ago
#18 - Add release workflow
Pull Request -
State: closed - Opened by sukhmanm about 3 years ago
#17 - CBMC proof for SigV4_GenerateHTTPAuthorization()
Pull Request -
State: closed - Opened by sukhmanm about 3 years ago
- 1 comment
#16 - SigV4_GenerateHTTPAuthorization() API Functionality
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago
- 1 comment
#15 - Add remaining doxygen + link verification checks
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago
#14 - Update README.md and LICENSE files
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago
#13 - SigV4_GenerateHTTPAuthorization() + Unit Tests
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago
#12 - Change submodule to use https rather than ssh for aws-templates-for-cbmc-proofs
Pull Request -
State: closed - Opened by yourslab over 3 years ago
#11 - SigV4_GenerateHTTPAuthorization() Encoding Functions
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago
#10 - Test PR (do not merge)
Pull Request -
State: closed - Opened by yourslab over 3 years ago
#9 - Add docs/doxygen configurations
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago
- 1 comment
#8 - Add unit tests for SigV4_AwsIotDateToIso8601()
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago
#7 - Setup proof infrastructure for CBMC
Pull Request -
State: closed - Opened by yourslab over 3 years ago
#6 - GA: Add CI check for link verification
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago
#5 - Canonicalize and Generate A String to Sign
Pull Request -
State: closed - Opened by sukhmanm over 3 years ago