Merge requests · SYNC-Lab / ETCetera · GitLab

Quantitative

!18 · created Oct 26, 2021 by Gabriel Albuquerque Gleizer HSCC tool paper
Feature request
- Merged
updated Oct 26, 2021
Resolve "Logical error when running example_nl_perturbed.py"

!17 · created Oct 26, 2021 by Ivo Straalen
- Merged
updated Oct 26, 2021
Add warning for when grid_points_per_dim is specified when not necessary

!16 · created Oct 26, 2021 by Ivo Straalen HSCC tool paper
Feature request
- Merged
updated Oct 26, 2021
Resolve "Change 'nr_cones_big_angle' and 'nr_cones_small_angles' to 'angles_discretization'"

!15 · created Oct 25, 2021 by Ivo Straalen HSCC tool paper
Feature request
- Merged
updated Oct 25, 2021
Resolve "IndexError + logical error running nl_disturbances.txt"

!14 · created Oct 25, 2021 by Ivo Straalen
Bug
- Merged
updated Oct 25, 2021
Nl fixes

!13 · created Oct 25, 2021 by Ivo Straalen
- Merged
updated Oct 25, 2021
Removed python3.8-pip and python3.8-wheel (not necessary)

!12 · created Oct 25, 2021 by Ivo Straalen
- Merged
updated Oct 25, 2021
Nl fixes

!11 · created Oct 25, 2021 by Ivo Straalen
- Merged
updated Oct 25, 2021
Giannis

!10 · created Oct 22, 2021 by Ivo Straalen
- Merged
updated Oct 22, 2021
Add import statement

!9 · created Oct 20, 2021 by Ivo Straalen
- Merged
updated Oct 20, 2021
Development

!8 · created Oct 19, 2021 by Ivo Straalen
- Merged
updated Oct 19, 2021
Update README.md

!7 · created Oct 13, 2021 by Manuel Mazo Espinosa
- Merged
- Approved
updated Oct 13, 2021
Refactor

!6 · created Sep 22, 2021 by Ivo Straalen Development
- Merged
updated Sep 22, 2021
Resolve "Error handling for input file is not informative"

!5 · created May 20, 2021 by Ivo Straalen Refactor
- Merged
updated May 20, 2021
Resolve "Help of the main tool is absent"

!3 · created May 20, 2021 by Ivo Straalen Development
- Merged
- 1
updated May 20, 2021
Fixes

!2 · created Jan 08, 2021 by Ivo Straalen
- Merged
updated Jan 18, 2021
Merged changes from etctime (mostly documentation).

!1 · created Sep 18, 2020 by Gabriel Albuquerque Gleizer
- Merged
updated Sep 28, 2020