JuliaReachDevDocs

JuliaReachDevDocs hosts resources for JuliaReach org developers.

Contents

• JuliaReachDevDocs
• Contents
• Adding a new package
• Creating the github repository
• Creating the Julia package
• Using JuliaReachTemplatePkg
• Using PkgTemplates
• Deploying the documentation
• Integrating the repository with gitter
• Adding requirements
• Adding code coverage
• Creating a new release
• Choosing a new release version
• Preparing the release
• Creating a new release
• Creating a new release on General (Julia ecosystem packages only)
• Creating a new release on Github
• Clean up the release log
• Coding guidelines
• Source-code guidelines
• Documentation guidelines
• Generating the documentation
• Mathematical notation
• Writing docstrings
• Writing doctests
• Extending the online documentation
• Adding plot recipe docstrings
• Other style guides