Transfer aws_hash_iter_overrides to AWS C Common

aws / aws-encryption-sdk-c

AWS Encryption SDK for C

Apache License 2.0

60 stars 56 forks source link

Transfer aws_hash_iter_overrides to AWS C Common #535

Open feliperodri opened 4 years ago

feliperodri commented 4 years ago

There are proofs in ESDK-C that require a new version of the stubs aws_hash_iter_overrides; however, they need to live in AWS C Common project along with the aws_hash_table implementation.

feliperodri commented 4 years ago

We should also transfer file Makefile.aws_hash_table.