GitHub / freertos/coremqtt issues and pull requests
#321 - Unit tests should fail but do not due to lack of assert
Issue -
State: open - Opened by jasonpcarroll 2 months ago
Labels: bug
#320 - Remove formatting bot workflow
Pull Request -
State: closed - Opened by archigup 3 months ago
#319 - Clean up warnings from coverity 2024.6.1
Pull Request -
State: closed - Opened by archigup 3 months ago
- 2 comments
#318 - Express the need of a non-blocking TransportRecv_t
Pull Request -
State: closed - Opened by diopoex 4 months ago
- 1 comment
#317 - Express the need of a non-blocking TransportRecv_t
Issue -
State: closed - Opened by diopoex 4 months ago
- 4 comments
#316 - MQTTv5 Implementation
Pull Request -
State: open - Opened by adituc 5 months ago
- 4 comments
#315 - Add CBMC Proofs for the new APIs
Pull Request -
State: closed - Opened by DakshitBabbar 5 months ago
#314 - Changes for passing the Coverity Static Analysis
Pull Request -
State: closed - Opened by DakshitBabbar 6 months ago
- 1 comment
#311 - Add persistent storage for MQTT state
Pull Request -
State: closed - Opened by vishwamartur 9 months ago
- 5 comments
Labels: enhancement
#310 - receive and send packet separate thread
Issue -
State: closed - Opened by skyfishyubo 9 months ago
- 2 comments
#308 - Enabling Unclean Session Publish Re-Transmits
Pull Request -
State: closed - Opened by DakshitBabbar 10 months ago
- 1 comment
#305 - MQTT Connection Status Thread Safety
Pull Request -
State: closed - Opened by DakshitBabbar 11 months ago
- 2 comments
#271 - Handle QoS2 messages when the library loses state - store state in NVM
Issue -
State: open - Opened by ademyankov over 1 year ago
- 5 comments
Labels: enhancement, help wanted
#269 - MQTT v5
Issue -
State: open - Opened by amazonKamath over 1 year ago
- 8 comments
Labels: roadmap
#267 - Support for MQTT v5.x
Issue -
State: closed - Opened by srnae05 over 1 year ago
- 4 comments
Labels: enhancement, help wanted
#237 - RFC: Use size_t for length and index fields
Pull Request -
State: closed - Opened by paulbartell over 2 years ago
- 1 comment
#236 - RFC: Use void* for network context pointers.
Pull Request -
State: closed - Opened by paulbartell over 2 years ago
- 1 comment
#100 - Add security.md
Pull Request -
State: closed - Opened by aggarw13 over 4 years ago
#99 - Add links to FreeRTOS repos for references examples in README
Pull Request -
State: closed - Opened by aggarw13 over 4 years ago
#98 - Update CHANGELOG for v1.0.1
Pull Request -
State: closed - Opened by muneebahmed10 over 4 years ago
#97 - Update version v1.0.0 to v1.0.1.
Pull Request -
State: closed - Opened by sarenameas over 4 years ago
#96 - Remove the memcpy function body in MQTT_Connect and MQTT_SerializeConnect proofs.
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#95 - Align wording of Init with porting guide
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#94 - Ci/update coverage action
Pull Request -
State: closed - Opened by nateglims almost 5 years ago
#93 - Print only a single set of results from lcov coverage report
Pull Request -
State: closed - Opened by yourslab almost 5 years ago
#92 - Fix unit tests and increase coverage
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#91 - Move transport_interface.h from portable/ to interface/
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#90 - Display file-specific branch coverage in CI checks
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#89 - Add more detailed comment about error code in transport interface
Pull Request -
State: closed - Opened by yourslab almost 5 years ago
#88 - [DO NOT MERGE] Kissat test for CI
Pull Request -
State: closed - Opened by nrdg42 almost 5 years ago
#87 - Test PR for CI
Pull Request -
State: closed - Opened by nrdg42 almost 5 years ago
#86 - Remove const qualifier from send/recv in transport interface
Pull Request -
State: closed - Opened by yourslab almost 5 years ago
#85 - Update CBMC proofs to use the latest starter kit.
Pull Request -
State: closed - Opened by markrtuttle almost 5 years ago
#84 - Add a header files list for MQTT
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
- 1 comment
#83 - Resend PUBACK and PUBREC irrespective of the DUP flag
Pull Request -
State: closed - Opened by yourslab almost 5 years ago
- 1 comment
#82 - Rename proof markers to cbmc-proof.txt
Pull Request -
State: closed - Opened by nrdg42 almost 5 years ago
- 1 comment
#81 - Upgrade to latest version of Litani
Pull Request -
State: closed - Opened by karkhaz almost 5 years ago
- 1 comment
#80 - Change wording for MQTT adherence
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#79 - Change cbmc-batch.yaml to wellspring.txt
Pull Request -
State: closed - Opened by nrdg42 almost 5 years ago
#78 - Add coverity config for MISRA etc.
Pull Request -
State: closed - Opened by nateglims almost 5 years ago
#77 - Test PR for CI
Pull Request -
State: closed - Opened by nrdg42 almost 5 years ago
#76 - Fix BUILD_CLONE_SUBMODULES CMake config option
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#75 - Update submodule configuration for hub repo cloning efficiency
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#74 - Fix build warnings and unit test improvements
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#73 - Update coverage threshold in CI
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#72 - Remove unused include directory from the CMakeLists.
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#71 - Set NULL payloads and fix unit test
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#70 - Log test results after running the coverage target
Pull Request -
State: closed - Opened by yourslab almost 5 years ago
#69 - Add link for CBMC tool in README
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#68 - Update README.md
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#67 - Update Readme - remove incorrect youtube link for CBMC.
Pull Request -
State: closed - Opened by abhidixi11 almost 5 years ago
#66 - Fix minor case issue in versioning of files
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#65 - Delete irrelevant comment about memory estimation.
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#64 - Remove duplicate license file
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#63 - Improve Pre-requisites in README
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#62 - Minor update to readme based on Dan Good's feedback
Pull Request -
State: closed - Opened by yngki almost 5 years ago
#61 - Update CHANGELOG.md
Pull Request -
State: closed - Opened by yngki almost 5 years ago
#60 - Update instructions in README to fix unit test build instructions
Pull Request -
State: closed - Opened by leegeth almost 5 years ago
#59 - Update unit test of deserializeConnack
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#58 - Use .dox extension for doxygen files rather than .txt
Pull Request -
State: closed - Opened by yourslab almost 5 years ago
#57 - Update MQTT 3.1.1 compliance text in doxygen and change log
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#56 - Session present flag fix.
Pull Request -
State: closed - Opened by abhidixi11 almost 5 years ago
- 1 comment
#55 - Fix coverity analysis target to include serializer file
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#54 - Update code sizes
Pull Request -
State: closed - Opened by yourslab almost 5 years ago
- 1 comment
#53 - Add version number and missing @file tags
Pull Request -
State: closed - Opened by yourslab almost 5 years ago
#52 - Add Changelog file
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#51 - Add manifest file for coreMQTT
Pull Request -
State: closed - Opened by abhidixi11 almost 5 years ago
#50 - Use MQTT specific anchors for generic targets
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#49 - ReadMe Language
Pull Request -
State: closed - Opened by yngki almost 5 years ago
#48 - Update MISRA doc for 2.3 change
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#47 - Add anchor for CSDK doxygen to reference coreMQTT mainpage.
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#46 - Update the transport_interface for multiple page and section definition warnings in the CSDK hub
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#45 - Improvements to README
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
- 1 comment
#44 - Add MISRA config file
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
- 1 comment
#43 - Use spellcheck from the CSDK repo
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
- 5 comments
#42 - Add documentation for MQTT_DO_NOT_USE_CUSTOM_CONFIG
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#41 - Move lexicon.txt to the top level.
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#40 - Add transport interface docs
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
- 1 comment
#39 - Use Litani for CBMC proofs on master branch
Pull Request -
State: closed - Opened by karkhaz almost 5 years ago
- 1 comment
#38 - Hygiene changes in doxygen configuration
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#37 - Re-adding MQTT library target to test MQTT_DO_NOT_USE_CUSTOM_CONFIG
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#36 - [Test PR, do not merge]
Pull Request -
State: closed - Opened by karkhaz almost 5 years ago
#35 - Create LICENSE.md
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
- 2 comments
#34 - Updating submodule aws-templates-for-cbmc-proofs
Pull Request -
State: closed - Opened by fbbotero-aws almost 5 years ago
#33 - Hygiene update of logging interface macro docs in config defaults
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#32 - Generate a doxygen tag for the hub repo to use.
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#31 - Fix MISRA 10.3 violation
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#30 - Add formatting checks.
Pull Request -
State: closed - Opened by nateglims almost 5 years ago
- 1 comment
#29 - Re-brand lightweight MQTT as MQTT serializer
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#28 - Remove library target, and move CMake files under test folder
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#27 - test-PR
Pull Request -
State: closed - Opened by karkhaz almost 5 years ago
#26 - Add some MQTT design documentation
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#25 - Add documentation for MISRA deviations
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
#24 - Spellcheck github action
Pull Request -
State: closed - Opened by sarenameas almost 5 years ago
#23 - Address MISRA 2.3 Rule violation
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
- 1 comment
#22 - Add config to allow MQTT build without custom config
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#21 - Add spell check support to repository
Pull Request -
State: closed - Opened by aggarw13 almost 5 years ago
#20 - Fix doxygen build due to renamed files
Pull Request -
State: closed - Opened by muneebahmed10 almost 5 years ago
- 3 comments
#19 - Use Litani for running CBMC Proofs
Pull Request -
State: closed - Opened by karkhaz almost 5 years ago
#18 - Add CBMC Batch proof markers
Pull Request -
State: closed - Opened by karkhaz almost 5 years ago
- 2 comments