Search results

Keep models for boringssl separate from the ones for openssl

enhancementNew feature or requestNew feature or request

Status: Open.

#29 In awslabs/aws-verification-model-for-libcrypto;

· feliperodri opened on May 14, 2021

Document a reference implementation for each stubbed function

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#25 In awslabs/aws-verification-model-for-libcrypto;

· SaswatPadhi opened on May 3, 2021

Create separate cbmc_utils.h and cbmc_utils.c for helper functions

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In awslabs/aws-verification-model-for-libcrypto;

· feliperodri opened on Dec 21, 2020

Avoid usage of __CPROVER_havoc_object

bugSomething isn't workingSomething isn't working

Status: Open.

#18 In awslabs/aws-verification-model-for-libcrypto;

· adpaco-aws opened on Dec 3, 2020

Re-evaluate all validity functions

questionFurther information is requestedFurther information is requested

Status: Open.

#17 In awslabs/aws-verification-model-for-libcrypto;

· feliperodri opened on Dec 1, 2020