aws-c-common icon indicating copy to clipboard operation
aws-c-common copied to clipboard

Published 20 hours ago • verified publisher icon awslabs

Integrate remaining aws_string proofs once necessary CBMC enhancements done

Open danielsn opened this issue 5 years ago • 2 comments

  • [ ] aws_string_new_from_c_str
  • [ ] aws_string_new_from_array
  • [ ] aws_string_new_from_string
  • [ ] aws_array_list_comparator_string

danielsn avatar Mar 20 '19 19:03 danielsn

What's the status of this? Can it be closed?

ColdenCullen avatar Jun 17 '19 21:06 ColdenCullen

@danielsn ?

tautschnig avatar Jun 23 '19 05:06 tautschnig