Compile warning fixes

Re-enabled unknown pragma warnings, wrapped CPROVER pragmas (#420)

* Re-enabled unknown pragma warnings, wrapped CPROVER pragmas

Miscellaneous cleanup

Fixes to clang-tidy failures in dependent libs (#418)

* fixes to clang-tidy failures in dependent libs

* fixed test harness asserts to prove to clang-tidy that compared values are non-null, initialized out params

* Fixed mis-used asserts and multi-eval of assert values

* preserve existing behavior

C++ build fixes

alter code so it can compile in c++ as well (#395)

* Alter header code so it can compile in c++ as well
* Allow constant expressions in AWS_ASSERT

Fix shared-lib builds

v0.3.10

fix shared lib builds (#389)

Added backtraces to asserts

assert() -> AWS_ASSERT() (#348)

* assert() -> AWS_ASSERT()

* Removed assert.h includes

* rewrote resolve buffer reading to appease gcc

updates to byte buffer apis and streams

 Memory-safety proofs for aws_byte_buf  (#331)

* Memory-safety proofs for aws_byte_buf

Adds invariants and proof harnesses for the following functions:
 - aws_byte_buf_append
 - aws_byte_buf_append_dynamic
 - aws_byte_buf_append_with_lookup
 - aws_byte_buf_clean_up
 - aws_byte_buf_from_array
 - aws_byte_buf_from_empty_array
 - aws_byte_buf_init
 - aws_byte_buf_init_copy_from_cursor
 - aws_byte_buf_reserve
 - aws_byte_buf_secure_zero

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>

Build fixes

• cmake now respects BUILD_TESTING
• Fixed compiler warnings

ByteBuf dynamic growth functions.

Faster CBMC stubs for memset and memcpy (#300)

* new memset and memcpy functions that are often faster for CBMC to analyze

* PR comments addressed

Updates to byte buffer APIs and cmake.

v0.3.5

Byte buf utility functions - append that grows, append with internal …

v0.3.4

• getopt_long() implementation
• Android compile fixes
• Atomics fixes for gcc < 4.6
• Security bug fixes from AWS