FreeRTOS/coreMQTT
1
0
Fork 0
mirror of https://github.com/FreeRTOS/coreMQTT synced 2025-06-02 05:51:38 +08:00
Code Issues Releases Wiki Activity
277 Commits 3 Branches 12 Tags
Commit Graph

277 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Archit Aggarwal
a127704e40
Update submodule configuration for hub repo cloning efficiency (#75) 
* Update submodules to not be auto cloned

* Update README about submoduling CMock

* Attempt to fix ci.yml

* Fix submodule init issue

* Add --recursive flags to submodule clone command

* Add section link in README
 2020-09-25 18:11:27 -07:00
SarenaAWS
494684fe1a
Remove unused include directory from the CMakeLists. (#72) 
Removed MQTT_INCLUDE_PRIVATE_DIRS from the CMake config files 
because there are no header files in there and files in that directory are 
not referenced in any #include in any library source, tests, or demos.
 2020-09-25 11:00:49 -07:00
Muneeb Ahmed
788a64a45e
Fix build warnings and unit test improvements (#74) 
* Create a structure to hold parameters for expectProcessLoopCalls
 2020-09-25 10:37:25 -07:00
Archit Aggarwal
297d6beb92
Update coverage threshold in CI (#73) 2020-09-24 16:34:01 -07:00
Kareem Khazem
24c4a5fd92 Change proof and harness names to starter kit 
This commit updates the template starter kit and modifies the proofs and
Makefiles so that they conform to the latest standard. In particular,
this PR introduces the PROOF_UID variable to give each proof a unique
name.
 2020-09-22 02:43:38 +01:00
Kareem Khazem
fd8778575b Highlight differences to 'normal' proof run script 
This commit adds some comments that explain how the run-cbmc-proofs.py
script diverges from similar scripts that we use for other projects. The
comments begin with "# PROJECT SPECIFIC".
 2020-09-22 02:43:38 +01:00
Kareem Khazem
a8c8bb1d19 Make CBMC use Kissat as the backend 
This commit makes Litani run make with the EXTERNAL_SAT_SOLVER variable
set. The template Makefile uses the value of this variable to determine
which external SAT solver CBMC should call out to. We're using Kissat
because the default SAT solver takes too long on two of the proofs,
MQTT_SerializeConnect and MQTT_Connect.
 2020-09-22 02:43:38 +01:00
Kareem Khazem
7a4c4c0960 Add script for running all proofs in parallel 2020-09-22 02:43:38 +01:00
Kareem Khazem
49912f3c2a Give each proof a different HARNESS_ENTRY 2020-09-22 02:43:38 +01:00
Kareem Khazem
3820656539 Add Makefile definitions for litani 2020-09-22 02:43:38 +01:00
Kareem Khazem
a0679de032 Use Litani-compatible starter kit 2020-09-22 02:43:38 +01:00
Kareem Khazem
af98fb492f Add Litani submodule 2020-09-22 02:43:38 +01:00
Muneeb Ahmed
38f24af76c
Set NULL payloads and fix unit test (#71) 
* Set publish payload to NULL when zero length

* Add unit test for zero length payload

* Fix unit tests for deserialize publish

* Rename setupWillInfo to setupPublishInfo

* Remove void * from memset
 2020-09-18 17:40:33 -07:00
Oscar Michael Abrina
c4990cba70
Log test results after running the coverage target (#70) 
CMake is updated to log test results after running the coverage target
 2020-09-17 13:41:05 -07:00
Archit Aggarwal
5b34e9f758
Add link for CBMC in README (#69) 2020-09-17 12:12:11 -07:00
Archit Aggarwal
a867f4cf48
Minor grammar fix in README.md (#68) v1.0.0 2020-09-16 15:46:22 -07:00
abhidixi11
c1cd78b2e4
Update Readme - remove incorrect youtube link for CBMC. (#67) 2020-09-16 15:33:49 -07:00
SarenaAWS
651832c359
Delete irrelevant comment about memory estimation. (#65) 
* Delete irrelevant comment about memory estimation.

* Update the library name and the version to uppercase V.

* Update config.doxyfile
 2020-09-16 11:40:19 -07:00
Archit Aggarwal
227c31e53e
Update versioning case (#66) 2020-09-16 11:36:03 -07:00
Archit Aggarwal
8eaa95ae9d
Remove duplicate license file (#64) 2020-09-15 19:12:42 -07:00
Archit Aggarwal
8c380e19a0
Improve readability of Platform Prequisites section of REAMDE (#63) 2020-09-15 18:19:52 -07:00
yngki
ef7c054f45
Minor update to readme (#62) 2020-09-15 18:12:05 -07:00
yngki
b375d6d072
Update ReadMe language (#49) 2020-09-15 14:58:34 -07:00
abhidixi11
2da16adae3
Add manifest file for coreMQTT (#51) 2020-09-15 12:48:04 -07:00
leegeth
14a004ea79
Update instructions in README to fix unit test build instructions (#60) 2020-09-15 10:55:51 -07:00
Archit Aggarwal
0d7d6b4124
Update unit test of deserializeConnack (#59) 
Add unit test for deserializeConnack session present output parameter bug fixed in #56
 2020-09-15 10:49:34 -07:00
Oscar Michael Abrina
8a2f465e00
Update code sizes in documentation (#54) 
* Update code sizes after adding verison number

* Round as much as possible when multiplying by 1024

* Add code size when no optimisation is used

* Update totals

* Change MQTT RC1 to coreMQTT

* Add link to gcc arm toolchain

* Update link

* Use english spellings

Co-authored-by: Gary Wicker <14828980+gkwicker@users.noreply.github.com>
 2020-09-14 19:54:08 -07:00
Oscar Michael Abrina
0e1f5fb728
Add version number and missing @file tags (#53) 
* Add version numbers

* Add missing @file tags

* Update lexicon.txt

* Update @brief tag for MQTT cbmc state

Co-authored-by: Gary Wicker <14828980+gkwicker@users.noreply.github.com>
 2020-09-14 16:54:24 -07:00
Archit Aggarwal
28a0d090e3
Update MQTT 3.1.1 compliance text in doxygen and change log (#57) 
* Update wording about 3.1.1 compliance

* Address review comments
 2020-09-14 15:40:28 -07:00
Oscar Michael Abrina
ff2725df6f
Change file extension (#58) 2020-09-14 13:53:53 -07:00
abhidixi11
9e62b8daac
Session present flag fix. (#56) 
Update deserializeConnack private function to set output parameter flag when session present bit is not set in CONNACK response
 2020-09-12 13:12:28 -07:00
Archit Aggarwal
627c64e563
Fix coverity_analysis target to include serializer (#55) 2020-09-11 19:25:19 -07:00
Archit Aggarwal
21e80bbb66
Create a CHANGELOG file for release (#52) 2020-09-11 17:21:28 -07:00
Muneeb Ahmed
78f83cbfae
Use MQTT specific anchors for generic targets (#50) 
* Use MQTT specific anchors for porting guide

* Add mqtt specific anchors for log sections
 2020-09-11 14:07:50 -07:00
Archit Aggarwal
b55c844858
Improvements to README (#45) 2020-09-11 13:19:31 -07:00
Muneeb Ahmed
c48cc2521c
Update MISRA doc for 2.3 change (#48) 2020-09-11 12:52:21 -07:00
Muneeb Ahmed
c45f7606b8
Add some MQTT design documentation (#26) 
* Add some sections for MQTT design

* Add design diagrams

Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
 2020-09-11 10:27:39 -07:00
Muneeb Ahmed
a59b6dd3e0
Add porting guide (#6) 
* Add porting guide

Co-authored-by: Sarena Meas <sarem@amazon.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
 2020-09-11 00:20:54 -07:00
SarenaAWS
4f2473671d
Add mqtt anchor for reference to mainpage in the hub. (#47) 2020-09-11 00:14:54 -07:00
SarenaAWS
e8f8c5394c
Update the transport_interface for multiple page and section definition warnings in the CSDK hub (#46) 2020-09-10 16:31:37 -07:00
SarenaAWS
4041d4a173
Use spellcheck from the CSDK repo (#43) 2020-09-09 18:00:52 -07:00
Muneeb Ahmed
f3484dd17f
Add documentation for MISRA deviations (#25) 
* Add documentation for MISRA deviations
 2020-09-09 15:18:12 -07:00
Archit Aggarwal
a5377c8ce8
Re-add MQTT library target to run coverity and test MQTT_DO_NOT_USE_CUSTOM_CONFIG config (#37) 
* Add a library target to run Coverity analysis in CI
* Use the new library target as a mechanism to build the MQTT library without custom config
 2020-09-09 14:23:18 -07:00
SarenaAWS
76cd50a135
Add documentation for MQTT_DO_NOT_USE_CUSTOM_CONFIG (#42) 
Co-authored-by: Archit Aggarwal <architag@amazon.com>
 2020-09-09 13:22:02 -07:00
SarenaAWS
ea7d08f9bd
Move lexicon.txt to the top level. (#41) 2020-09-09 09:16:19 -07:00
SarenaAWS
87856e007f
Generate a doxygen tag for the hub repo to use. (#32) 2020-09-08 15:40:52 -07:00
Archit Aggarwal
9fc6f76b6d
Hygiene update of logging interface macro docs in config defaults (#33) 2020-09-08 14:51:17 -07:00
Archit Aggarwal
3b0958bb4d
Hygiene changes in doxygen configuration (#38) 
* Replace mqtt_config with core_mqtt_config in CBMC comments

* Update doxygen to generate configurations page with core_mqtt_config page name
 2020-09-08 13:59:33 -07:00
SarenaAWS
6631dde60d
Add doxygen docs to transport_interface.h (#40) 2020-09-08 12:49:53 -07:00
Cobus van Eeden
b5634a1cc1 add the MIT License 2020-09-05 16:50:25 -07:00