Code of Conduct


We expect this code of conduct to be followed by anyone who contributes to AdaCore-maintained community spaces such as Github repositories, public and private mailing lists, issue trackers, wikis, blogs, Twitter, and any other communication channel maintained by AdaCore, and by anyone who participates to an activity organised by AdaCore. It applies equally to users, moderators, administrators, AdaCore staff, partners, and community members.

This code is not exhaustive or complete. It serves to distill our common understanding of a collaborative, shared environment and goals. We expect it to be followed in spirit as much as in the letter, so that it can enrich all of us and the technical communities in which we participate.

Diversity Statement

AdaCore welcomes and encourages participation by everyone. We are committed to being a community that everyone feels good about joining. Although we may not be able to satisfy everyone, we will always work to treat everyone well.

No matter how you identify yourself or how others perceive you: we welcome you.


  1. We are committed to providing a friendly, safe and welcoming environment for all, regardless of level of experience, gender identity and expression, sexual orientation, disability, personal appearance, body size, race, ethnicity, age, religion, nationality, or other similar characteristic.
  2. Please be kind and courteous. There’s no need to be mean or rude. Insult, libel, demeaning or harassing any person, group (particularly socially marginalized groups or minorities), or entities will not be tolerated. Cursing is allowed, but never targeting another person, and never in a hateful manner.
  3. Likewise, any spamming, trolling, flaming, baiting or other attention-stealing behavior will not be tolerated.
  4. Please avoid using overtly sexual aliases or other nicknames that might detract from a friendly, safe and welcoming environment for all.
  5. Respect that people have differences of opinion and that every design or implementation choice carries a trade-off and numerous costs. There is seldom a right answer.
  6. Please keep discussions focused on the topic at hand.
  7. Please make sure that your comments are positively framed either in the form of encouragements or in the form of suggestions of improvement. If you have solid ideas you want to experiment with, make a fork and see how it works.
  8. Private harassment is also unacceptable. Whether you’re a regular contributor or a newcomer, we care about making this community a safe place for you and we’ve got your back.


These are the policies for upholding our community’s standards of conduct. If you feel that a thread needs moderation, please contact us at (see below).

  1. Illegal content and content that violates the AdaCore Code of Conduct are not allowed.
  2. Even if not explicitly prohibited under the code of conduct, content detrimental to a friendly, safe, and welcoming environment may also be sanctioned.
  3. No matter who you are, if you feel you have been or are being harassed or if you see a violation of the code of conduct by a community member, please contact our team of moderators immediately (see Point of Contact below).
  4. Depending on the history of offences and the severity of each offense, the moderators may take one or several of the following actions:
    • Sending of a warning message to the offender;
    • Contingent on the features provided by the platform, hiding or removal of the offending content.
    • Contingent of the features provided by the platform, temporarily or permanently banning the offender.
  5. At their discretion, moderators may choose to un-ban the offender, for instance if it was their first offense and they offered the offended party a genuine apology.
  6. If a moderator bans someone and you think it was unjustified, please contact us, in private (see Point of Contact below). Complaints about bans in-channel are not allowed.
  7. Moderators are held to a higher standard than other community members. If a moderator creates an inappropriate situation, they should expect less leeway than others.


If someone takes issue with something you said or did, resist the urge to be defensive. Consider stopping doing what it was they complained about and apologizing. Even if you feel you were misinterpreted or unfairly accused, chances are there was something you could have communicated better — remember that it’s your responsibility to make your fellow contributors comfortable. Everyone wants to get along and we are here first and foremost because we want to talk about cool technology. You will find that people will be eager to assume good intent and forgive as long as you earn their trust.

Point of Contact

If you believe someone is violating this code of conduct, if you disagree with moderators on the application for the code of conduct, or if you have any questions about this document, please send an email to Your message will be handled in confidence by the moderators. Complaints about moderators will be handled by the team of AdaCore employees in charge of the Code of Conduct. Please read our privacy policy if you want to know more about how we process your personal data and your rights about this processing.

Adapted from the Rust Code of Conduct and Apache Code of Conduct