This page contains some general information about this project, and recommendations about contributing.
If you like this package, consider contributing!
If you have written code and would like it to be peer reviewed and added to the library, you can fork the repository and send a pull request (see below). Typical contributions include fixing a bug, adding a new feature or improving the documentation (either in source code or the online manual).
You are also welcome to get in touch with us in the JuliaReach Zulip chat.
Below we detail some general comments about contributing to this package. The JuliaReach Developer's Documentation describes coding guidelines; take a look when in doubt about the coding style that is expected for the code that is finally merged into the library.
We use a standard pull request policy: You work in a private branch and eventually add a pull request, which is then reviewed by other programmers and merged into the
Each pull request should be pushed in a new branch with the name of the author followed by a descriptive name, e.g.,
mforets/my_feature. If the branch is associated to a previous discussion in one issue, we use the name of the issue for easier lookup, e.g.,
This project is synchronized with GitHub Actions such that each PR gets tested before merging (and the build is automatically triggered after each new commit). For the maintainability of this project, it is important to make all unit tests pass.
To run the unit tests locally, you can do:
julia> using Pkg
We also advise adding new unit tests when adding new features to ensure long-term support of your contributions.
New functions and types should be documented according to the JuliaReach Developer's Documentation.
You can view the source-code documentation from inside the REPL by typing
? followed by the name of the type or function. For example, the following command will print the documentation of the
The documentation you are currently reading is written in Markdown, and it relies on the package Documenter.jl to produce the HTML layout. The sources for creating this documentation are found in
docs/src. You can easily include the documentation that you wrote for your functions or types there (see the source code or
Documenter's guidefor examples).
To generate the documentation locally, run
make.jl, e.g., by executing the following command in the terminal:
$ julia --color=yes docs/make.jl
Note that this also runs all doctests which will take some time.
The project 3PLIB is a Java Library developed by Frédéric Viry, and it is one of the previous works that led to the creation of
LazySets.jl. 3PLIB is specialized to planar projections of convex polyhedra. It was initially created to embed this feature in Java applications, and also provides a backend for visualization of high-dimensional reach set approximations computed with SpaceEx.
Here we list the names of the maintainers of the
LazySets.jl library, as well as past and present contributors (in alphabetic order).
- Tomer Arnon, Stanford University
- Luca Ferranti, University of Vaasa
- Daniel Freire Caporale, Universidad de la República
- Sebastián Guadalupe, Universidad de la República
- Kostiantyn Potomkin, Australian National University
- Frédéric Viry, CERFACS, France
- Ueli Wechsler, ETH Zurich
We are grateful to the following persons for enlightening discussions: