Code

Revise CONTRIBUTING.md#34

Code

Merged

podhrmic merged 3 commits intomainGaloisInc/VERSE-Toolchain:mainfrom 33-revise-contribution-guidelinesGaloisInc/VERSE-Toolchain:33-revise-contribution-guidelinesCopy head branch name to clipboardApr 25, 2024

+231-114

Commits

Commits on Apr 17, 2024

• Revise CONTRIBUTING.md

  Show description for ce7275a
  thatplguy

  committed
  ce7275a

  Copy full SHA for ce7275a

Commits on Apr 22, 2024

• Address PR comments

  thatplguy

  committed
  6aad28f

  Copy full SHA for 6aad28f

Commits on Apr 25, 2024

• Remove unclear coding principle

  Show description for 1b00cae
  

  thatplguy

  and

  podhrmic

  authored
  1b00cae

  Copy full SHA for 1b00cae