Home
last modified time | relevance | path

Searched full:use (Results 1 – 25 of 82) sorted by relevance

1234

/CoreMQTT-Agent-v1.2.0/tools/coverity/
HDmisra.config23 …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.2.0/
HDLICENSE6 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.2.0/test/cbmc/proofs/MQTTAgent_Disconnect/
HDREADME.md14 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:
HDMQTTAgent_Disconnect_harness.c8 * 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.2.0/test/cbmc/proofs/MQTTAgent_Init/
HDREADME.md14 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.2.0/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/
HDREADME.md17 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:
HDMQTTAgentCommand_ProcessLoop_harness.c8 * 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.2.0/test/cbmc/proofs/MQTTAgentCommand_Publish/
HDREADME.md17 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.2.0/test/cbmc/proofs/MQTTAgentCommand_Ping/
HDREADME.md17 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:
HDMQTTAgentCommand_Ping_harness.c8 * 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.2.0/test/cbmc/proofs/MQTTAgentCommand_Disconnect/
HDREADME.md17 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:
HDMQTTAgentCommand_Disconnect_harness.c8 * 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.2.0/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/
HDREADME.md17 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.2.0/test/cbmc/proofs/MQTTAgent_CancelAll/
HDREADME.md17 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.2.0/test/cbmc/proofs/MQTTAgentCommand_Terminate/
HDREADME.md17 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.2.0/test/cbmc/proofs/MQTTAgentCommand_Subscribe/
HDREADME.md17 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.2.0/test/cbmc/proofs/MQTTAgentCommand_Connect/
HDREADME.md17 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.2.0/test/cbmc/proofs/MQTTAgent_CommandLoop/
HDMQTTAgent_CommandLoop_harness.c8 * 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.2.0/test/cbmc/proofs/MQTTAgent_Unsubscribe/
HDREADME.md30 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.2.0/test/cbmc/proofs/MQTTAgent_Publish/
HDREADME.md30 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.2.0/test/cbmc/proofs/MQTTAgent_ProcessLoop/
HDREADME.md30 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.2.0/test/cbmc/proofs/MQTTAgent_Subscribe/
HDREADME.md30 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.2.0/test/cbmc/proofs/MQTTAgent_Ping/
HDREADME.md30 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.2.0/test/cbmc/proofs/MQTTAgent_Connect/
HDREADME.md29 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.2.0/test/cbmc/proofs/MQTTAgent_Terminate/
HDREADME.md29 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:

1234