3 Commits

Author	SHA1	Message	Date
Angelo Nakos	257695d218	Change SPDX identifier in CBMC proof Makefile from Apache-2.0 to MIT-0	2022-07-15 10:56:02 -07:00
Archit Aggarwal	09fbf71a3f	Enable CBMC proof builds (#16)	2020-08-31 16:23:26 -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