jasonpcarroll
|
e7ca765d8f
|
Fixes to timeout of sendMessageVector and refactor of sendBuffer for consistency (#224)
* Fixes to timeout of sendMessageVector and refactor of sendBuffer for consistency.
* Update size table.
* Fixing some small MISRA related issues
* Formatting fix
* Minor fixes for CBMC.
* Updated logical flow to break instead.
* Revert "Updated logical flow to break instead."
This reverts commit 0ac1c6a61876fe2ee049ce400b46b43b7a3a69e9.
* Updated unit tests for coverage.
* Fix MQTT_Publish Proof
* Fix proofs for connect/sub/unsub API functions
* New timing scheme.
* Update config defaults to reflect new timing change.
* Fix doxygen. Fix formatting. Fix memory table.
* Doxygen fixes.
* Fix CBMC proofs
* Added License identifier back.
* Swapped from warning to error for Visual Studio.
Co-authored-by: Jason Carroll <czjaso@amazon.com>
Co-authored-by: Soren Ptak <skptak@amazon.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
|
2022-10-13 12:03:07 -07:00 |
|