You want to add source code into Cheddar ? If so, your source code should respect the following rules : - Write code in english only - Identifiers have to be composed of several words separated with underscore - Provide Ada specification packages with comments - Provide an updated version of ug.html (Cheddar user's guide) - In the source code, comments should be given before the described function or procedure - Provide Ada main procedure to test your contribution These files have be added into the "framework_examples" directory - Compile with -gnatwu and provide warning less source code - Apply GNAT pretty printer to your source code (gnatpp)