aws / aws/aws-encryption-sdk-c
Improve documentation of DEFINES across all CBMC proofs
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
Research direction
The issue provides no body or file paths. Locate the CBMC proofs and their existing DEFINES documentation, then determine the conventions that need to be documented across them; done means the relevant proof documentation consistently explains DEFINES.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100