Development guidelines and resources for JuliaReach projects
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
docs
src
test
.gitignore
.travis.yml
LICENSE
Project.toml
README.md
REQUIRE

README.md

JuliaReachDevDocs

Build Status Docs latest license Join the chat at https://gitter.im/JuliaReach/Lobby

JuliaReachDevDocs hosts resources for JuliaReach org developers.

Resources

How to edit the dev docs

To contribute to JuliaReachDevDocs, you can either modify in the online github interface, or fork the repository and push the proposed changes in a new branch.

To build the documentation, use the following command in a command shell:

$ julia --color=yes docs/make.jl

Refer to the official documentation on how to install and run Julia in your system.