Code of Conduct We expect anyone who contributes to AdaCore GitHub to follow the AdaCore Code of Conduct.