Depend on pthreads via Threads rather than manually (awslabs#473)

Ensure error list stays in sync (awslabs#454)

Add yaml file for aws_byte_buf_cat proof (awslabs#448)

* Proof harness for aws_byte_buf_cat with a fixed number of arguments

Task log (awslabs#419)

* Task and scheduler logging

Fixed typo that broke osx build. (awslabs#425)

Parse (<function>+<addr>) backtrace format on POSIX systems (awslabs#422

)

* Parse (<function>+<addr>) backgtrace format on POSIX systems awslabs#356

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

)

* Re-enabled unknown pragma warnings, wrapped CPROVER pragmas

Fixes to clang-tidy failures in dependent libs (awslabs#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

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

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

fix shared lib builds (awslabs#389)