Kareem Khazem
7a4c4c0960
Add script for running all proofs in parallel
2020-09-22 02:43:38 +01:00
Kareem Khazem
49912f3c2a
Give each proof a different HARNESS_ENTRY
2020-09-22 02:43:38 +01:00
Kareem Khazem
3820656539
Add Makefile definitions for litani
2020-09-22 02:43:38 +01:00
Kareem Khazem
a0679de032
Use Litani-compatible starter kit
2020-09-22 02:43:38 +01:00
Kareem Khazem
af98fb492f
Add Litani submodule
2020-09-22 02:43:38 +01:00
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
SarenaAWS
ea7d08f9bd
Move lexicon.txt to the top level. ( #41 )
2020-09-09 09:16:19 -07:00
Archit Aggarwal
3b0958bb4d
Hygiene changes in doxygen configuration ( #38 )
...
* Replace mqtt_config with core_mqtt_config in CBMC comments
* Update doxygen to generate configurations page with core_mqtt_config page name
2020-09-08 13:59:33 -07:00
fbbotero-aws
f9917f0721
Updating submodule aws-templates-for-cbmc-proofs to include CBMC change to use Kissat and speed up proofs ( #34 )
2020-09-04 13:19:42 -07:00
Archit Aggarwal
d355bfa259
Re-brand lightweight MQTT as MQTT serializer ( #29 )
...
Rename all instance of "lightweight" MQTT with "serializer" in files and documentation
2020-09-03 14:56:32 -07:00
Nathan Glimsdale
b591004ba5
Add formatting checks. ( #30 )
...
* Add formatting checks.
Co-authored-by: Sarena Meas <sarem@amazon.com>
Co-authored-by: Archit Aggarwal <architag@amazon.com>
2020-09-03 14:40:28 -07:00
Kareem Khazem
b73a02959a
Add CBMC Batch proof markers
2020-09-02 22:27:54 +01:00
SarenaAWS
bf48e6d0b6
Spellcheck github action ( #24 )
2020-09-02 10:38:17 -07:00
Archit Aggarwal
09fbf71a3f
Enable CBMC proof builds ( #16 )
2020-08-31 16:23:26 -07:00
Muneeb Ahmed
54b54e78ad
Add define guards and change spellings ( #15 )
...
* Add checks for definition of false and true
* Prefer American spellings for optimize and acknowledgment
2020-08-31 14:51:21 -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
