Skip to content

Commit

Permalink
[InstCombine] Add contributor guide (#79007)
Browse files Browse the repository at this point in the history 
Document expectations for contributions to InstCombine, especially
regarding test coverage and alive2 proofs.
  • Loading branch information
@nikic
nikic committed Mar 21, 2024
1 parent b4b5e82 commit 6898147
Show file tree
Hide file tree
Showing 2 changed files with 561 additions and 0 deletions.

0 comments on commit 6898147

Please sign in to comment.