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
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
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
