Searched full:use (Results 1 – 25 of 78) sorted by relevance
1234
| /CoreMQTT-Agent-v1.1.0/tools/coverity/ |
| HD | misra.config | 23 …ypes. coreMQTT Library headers define types intended for the application's use, but are not used b…
31 …ros. coreMQTT Library headers define macros intended for the application's use, but are not used b…
39 …s from void *. Contexts are passed as void * and must be cast to the correct data type before use."
|
| /CoreMQTT-Agent-v1.1.0/ |
| HD | LICENSE | 6 to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
18 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Disconnect/ |
| HD | README.md | 14 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
18 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| HD | MQTTAgent_Disconnect_harness.c | 8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
20 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Init/ |
| HD | README.md | 14 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
18 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Disconnect/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_CancelAll/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| HD | MQTTAgent_CancelAll_harness.c | 8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
20 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Connect/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Terminate/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Subscribe/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Publish/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Ping/ |
| HD | README.md | 17 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
21 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ProcessLoop/ |
| HD | README.md | 30 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
34 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Publish/ |
| HD | README.md | 30 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
34 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Connect/ |
| HD | README.md | 29 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
33 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Unsubscribe/ |
| HD | README.md | 30 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
34 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Terminate/ |
| HD | README.md | 29 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
33 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Subscribe/ |
| HD | README.md | 30 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
34 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Ping/ |
| HD | README.md | 30 To use [`arpa`](https://github.com/awslabs/aws-proof-build-assistant) to simplify writing Makefiles.
34 * Use Makefile.arpa as the starting point for your proof Makefile by:
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_CommandLoop/ |
| HD | MQTTAgent_CommandLoop_harness.c | 8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
20 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ResumeSession/ |
| HD | MQTTAgent_ResumeSession_harness.c | 8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
20 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/include/ |
| HD | get_time_stub.h | 8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
20 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
1234
