Archit Aggarwal
227c31e53e
Update versioning case ( #66 )
2020-09-16 11:36:03 -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
Muneeb Ahmed
e914df6d22
Fix MISRA 10.3 violation ( #31 )
...
* Change a UL to a U for a uint32_t
2020-09-03 11:26:14 -07:00
Muneeb Ahmed
f0a8b3c1b3
Fix doxygen build due to renamed files ( #20 )
...
* Fix doxygen build due to renamed files
* ci: combine doxygen stderr into stdout
2020-09-01 12:25:24 -07:00
Muneeb Ahmed
b6bf2005ca
Fix bug that may sometimes disable keep alive ( #7 )
...
* Reset the waitingForPingResp flag in every MQTT_Connect
2020-08-31 12:45:46 -07:00
Archit Aggarwal
e83fadcfc7
Rename MQTT files, and Relocate CBMC and unit-test files ( #12 )
...
* Relocate CBMC to test/cbmc and unit test files to test/unit-test
* Rename all library and test files to use "core_" prefix
2020-08-31 10:02:38 -07:00
