updates to byte buffer apis and streams
Pre-release
Pre-release
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 <[email protected]>