https://github.com/homalg-project/homalg_project
fix segfault as suggested by @ChrisJefferson
- HEAD
- refs/heads/gh-pages
- refs/heads/master
- refs/tags/4ti2Interface-2015.10.29
- refs/tags/4ti2Interface-2015.11.06
- refs/tags/4ti2Interface-2017.01.05
- refs/tags/4ti2Interface-2017.09.01
- refs/tags/4ti2Interface-2017.09.02
- refs/tags/4ti2Interface-2017.10.04
- refs/tags/4ti2Interface-2018.07.06
- refs/tags/4ti2Interface-2019.06.01
- refs/tags/4ti2Interface-2019.06.02
- refs/tags/4ti2Interface-2019.09.02
- refs/tags/4ti2Interface-2019.09.03
- refs/tags/4ti2Interface-2020.04.01
- refs/tags/4ti2Interface-2020.04.15
- refs/tags/4ti2Interface-2020.04.20
- refs/tags/4ti2Interface-2020.04.25
- refs/tags/4ti2Interface-2020.04.26
- refs/tags/4ti2Interface-2020.05.04
- refs/tags/4ti2Interface-2020.05.05
- refs/tags/4ti2Interface-2020.05.10
- refs/tags/4ti2Interface-2020.05.11
- refs/tags/4ti2Interface-2020.06.19
- refs/tags/4ti2Interface-2020.07.19
- refs/tags/4ti2Interface-2020.10-02
- refs/tags/4ti2Interface-2020.10.01
- refs/tags/4ti2Interface-2022.03-01
- refs/tags/4ti2Interface-2022.08-01
- refs/tags/4ti2Interface-2022.08-02
- refs/tags/4ti2Interface-2022.08-03
- refs/tags/4ti2Interface-2022.09-01
- refs/tags/4ti2Interface-2023.01-01
- refs/tags/4ti2Interface-2023.02-01
- refs/tags/4ti2Interface-2023.02-02
- refs/tags/4ti2Interface-2023.02-03
- refs/tags/4ti2Interface-2023.02-04
- refs/tags/Convex-2015.10.29
- refs/tags/Convex-2015.11.06
- refs/tags/Convex-2017.09.01
- refs/tags/Convex-2017.09.02
- refs/tags/Convex-2019.05.01
- refs/tags/Convex-2019.06.01
- refs/tags/Convex-2019.09.02
- refs/tags/Convex-2020.04.30
- refs/tags/ExamplesForHomalg-2015.10.29
- refs/tags/ExamplesForHomalg-2015.11.06
- refs/tags/ExamplesForHomalg-2017.05.25
- refs/tags/ExamplesForHomalg-2017.09.01
- refs/tags/ExamplesForHomalg-2017.09.02
- refs/tags/ExamplesForHomalg-2018.05.29
- refs/tags/ExamplesForHomalg-2019.01.07
- refs/tags/ExamplesForHomalg-2019.06.01
- refs/tags/ExamplesForHomalg-2019.08.01
- refs/tags/ExamplesForHomalg-2019.09.02
- refs/tags/ExamplesForHomalg-2020.04.17
- refs/tags/ExamplesForHomalg-2020.04.26
- refs/tags/ExamplesForHomalg-2020.04.30
- refs/tags/ExamplesForHomalg-2020.05.07
- refs/tags/ExamplesForHomalg-2020.05.09
- refs/tags/ExamplesForHomalg-2020.10-02
- refs/tags/ExamplesForHomalg-2020.10.01
- refs/tags/ExamplesForHomalg-2021.10-01
- refs/tags/ExamplesForHomalg-2022.03-01
- refs/tags/ExamplesForHomalg-2022.08-01
- refs/tags/ExamplesForHomalg-2022.08-02
- refs/tags/ExamplesForHomalg-2022.08-03
- refs/tags/ExamplesForHomalg-2022.08-04
- refs/tags/ExamplesForHomalg-2022.10-01
- refs/tags/ExamplesForHomalg-2022.11-01
- refs/tags/ExamplesForHomalg-2023.02-01
- refs/tags/ExamplesForHomalg-2023.02-02
- refs/tags/ExamplesForHomalg-2023.02-03
- refs/tags/ExamplesForHomalg-2023.02-04
- refs/tags/ExamplesForHomalg-2023.07-01
- refs/tags/ExamplesForHomalg-2023.08-01
- refs/tags/ExamplesForHomalg-2023.08-02
- refs/tags/ExamplesForHomalg-2023.09-01
- refs/tags/ExamplesForHomalg-2023.10-01
- refs/tags/Gauss-2015.10.29
- refs/tags/Gauss-2015.11.06
- refs/tags/Gauss-2017.06.14
- refs/tags/Gauss-2017.09.01
- refs/tags/Gauss-2017.09.02
- refs/tags/Gauss-2017.12.07
- refs/tags/Gauss-2018.02.05
- refs/tags/Gauss-2018.04.03
- refs/tags/Gauss-2018.09.08
- refs/tags/Gauss-2019.06.01
- refs/tags/Gauss-2019.09.02
- refs/tags/Gauss-2020.02.05
- refs/tags/Gauss-2020.04.30
- refs/tags/Gauss-2020.06.27
- refs/tags/Gauss-2020.10-02
- refs/tags/Gauss-2020.10.01
- refs/tags/Gauss-2021.04-01
- refs/tags/Gauss-2022.02-01
- refs/tags/Gauss-2022.03-01
- refs/tags/Gauss-2022.08-01
- refs/tags/Gauss-2022.08-02
- refs/tags/Gauss-2022.08-03
- refs/tags/Gauss-2022.08-04
- refs/tags/Gauss-2022.08-05
- refs/tags/Gauss-2022.09-01
- refs/tags/Gauss-2022.10-01
- refs/tags/Gauss-2022.11-01
- refs/tags/Gauss-2022.12-01
- refs/tags/Gauss-2023.01-01
- refs/tags/Gauss-2023.02-01
- refs/tags/Gauss-2023.02-02
- refs/tags/Gauss-2023.02-03
- refs/tags/Gauss-2023.02-04
- refs/tags/GaussForHomalg-2015.10.29
- refs/tags/GaussForHomalg-2015.11.06
- refs/tags/GaussForHomalg-2017.09.01
- refs/tags/GaussForHomalg-2017.09.02
- refs/tags/GaussForHomalg-2018.02.04
- refs/tags/GaussForHomalg-2018.02.05
- refs/tags/GaussForHomalg-2018.06.01
- refs/tags/GaussForHomalg-2019.01.10
- refs/tags/GaussForHomalg-2019.06.01
- refs/tags/GaussForHomalg-2019.06.02
- refs/tags/GaussForHomalg-2019.09.01
- refs/tags/GaussForHomalg-2019.09.02
- refs/tags/GaussForHomalg-2020.02.05
- refs/tags/GaussForHomalg-2020.04.30
- refs/tags/GaussForHomalg-2020.06.27
- refs/tags/GaussForHomalg-2020.10-02
- refs/tags/GaussForHomalg-2020.10.01
- refs/tags/GaussForHomalg-2021.04-01
- refs/tags/GaussForHomalg-2021.04-02
- refs/tags/GaussForHomalg-2022.03-01
- refs/tags/GaussForHomalg-2022.06-01
- refs/tags/GaussForHomalg-2022.08-01
- refs/tags/GaussForHomalg-2022.08-02
- refs/tags/GaussForHomalg-2022.08-03
- refs/tags/GaussForHomalg-2023.02-01
- refs/tags/GaussForHomalg-2023.02-02
- refs/tags/GaussForHomalg-2023.02-03
- refs/tags/GaussForHomalg-2023.02-04
- refs/tags/GaussForHomalg-2023.08-01
- refs/tags/GaussForHomalg-2023.10-01
- refs/tags/GaussForHomalg-2023.11-01
- refs/tags/GradedModules-2015.10.29
- refs/tags/GradedModules-2015.11.06
- refs/tags/GradedModules-2015.12.04
- refs/tags/GradedModules-2017.05.10
- refs/tags/GradedModules-2017.09.01
- refs/tags/GradedModules-2017.09.02
- refs/tags/GradedModules-2018.02.04
- refs/tags/GradedModules-2019.01.05
- refs/tags/GradedModules-2019.06.01
- refs/tags/GradedModules-2019.08.01
- refs/tags/GradedModules-2019.09.02
- refs/tags/GradedModules-2020.01.01
- refs/tags/GradedModules-2020.01.02
- refs/tags/GradedModules-2020.02.05
- refs/tags/GradedModules-2020.04.17
- refs/tags/GradedModules-2020.04.30
- refs/tags/GradedModules-2020.10-02
- refs/tags/GradedModules-2020.10.01
- refs/tags/GradedModules-2021.02-01
- refs/tags/GradedModules-2021.02-06
- refs/tags/GradedModules-2021.02-07
- refs/tags/GradedModules-2021.03-01
- refs/tags/GradedModules-2021.04-01
- refs/tags/GradedModules-2021.04-02
- refs/tags/GradedModules-2021.04-03
- refs/tags/GradedModules-2022.02-01
- refs/tags/GradedModules-2022.03-01
- refs/tags/GradedModules-2022.08-01
- refs/tags/GradedModules-2022.08-02
- refs/tags/GradedModules-2022.09-01
- refs/tags/GradedModules-2022.09-02
- refs/tags/GradedModules-2023.02-01
- refs/tags/GradedModules-2023.02-02
- refs/tags/GradedModules-2023.02-03
- refs/tags/GradedModules-2023.02-04
- refs/tags/GradedModules-2023.08-01
- refs/tags/GradedModules-2023.09-01
- refs/tags/GradedModules-2024.01-01
- refs/tags/GradedRingForHomalg-2015.10.29
- refs/tags/GradedRingForHomalg-2015.11.06
- refs/tags/GradedRingForHomalg-2015.12.04
- refs/tags/GradedRingForHomalg-2017.05.26
- refs/tags/GradedRingForHomalg-2017.09.01
- refs/tags/GradedRingForHomalg-2017.09.02
- refs/tags/GradedRingForHomalg-2018.02.04
- refs/tags/GradedRingForHomalg-2019.03.20
- refs/tags/GradedRingForHomalg-2019.03.21
- refs/tags/GradedRingForHomalg-2019.04.01
- refs/tags/GradedRingForHomalg-2019.04.02
- refs/tags/GradedRingForHomalg-2019.04.03
- refs/tags/GradedRingForHomalg-2019.06.01
- refs/tags/GradedRingForHomalg-2019.06.04
- refs/tags/GradedRingForHomalg-2019.08.07
- refs/tags/GradedRingForHomalg-2019.09.02
- refs/tags/GradedRingForHomalg-2019.09.03
- refs/tags/GradedRingForHomalg-2020.01.02
- refs/tags/GradedRingForHomalg-2020.02.05
- refs/tags/GradedRingForHomalg-2020.04.15
- refs/tags/GradedRingForHomalg-2020.04.16
- refs/tags/GradedRingForHomalg-2020.04.25
- refs/tags/GradedRingForHomalg-2020.04.30
- refs/tags/GradedRingForHomalg-2020.05.01
- refs/tags/GradedRingForHomalg-2020.06.27
- refs/tags/GradedRingForHomalg-2020.10-02
- refs/tags/GradedRingForHomalg-2020.10.01
- refs/tags/GradedRingForHomalg-2021.02-01
- refs/tags/GradedRingForHomalg-2021.02-02
- refs/tags/GradedRingForHomalg-2021.02-04
- refs/tags/GradedRingForHomalg-2021.03-01
- refs/tags/GradedRingForHomalg-2021.03-02
- refs/tags/GradedRingForHomalg-2021.03-03
- refs/tags/GradedRingForHomalg-2021.10-01
- refs/tags/GradedRingForHomalg-2022.03-01
- refs/tags/GradedRingForHomalg-2022.06-01
- refs/tags/GradedRingForHomalg-2022.07-01
- refs/tags/GradedRingForHomalg-2022.08-01
- refs/tags/GradedRingForHomalg-2022.08-02
- refs/tags/GradedRingForHomalg-2022.10-01
- refs/tags/GradedRingForHomalg-2022.11-01
- refs/tags/GradedRingForHomalg-2023.02-01
- refs/tags/GradedRingForHomalg-2023.02-02
- refs/tags/GradedRingForHomalg-2023.02-03
- refs/tags/GradedRingForHomalg-2023.02-04
- refs/tags/GradedRingForHomalg-2023.08-01
- refs/tags/HomalgToCAS-2015.10.29
- refs/tags/HomalgToCAS-2015.11.06
- refs/tags/HomalgToCAS-2015.12.08
- refs/tags/HomalgToCAS-2017.05.10
- refs/tags/HomalgToCAS-2017.08.01
- refs/tags/HomalgToCAS-2017.09.01
- refs/tags/HomalgToCAS-2017.09.02
- refs/tags/HomalgToCAS-2017.11.25
- refs/tags/HomalgToCAS-2017.11.26
- refs/tags/HomalgToCAS-2018.03.19
- refs/tags/HomalgToCAS-2018.06.15
- refs/tags/HomalgToCAS-2018.12.08
- refs/tags/HomalgToCAS-2018.12.11
- refs/tags/HomalgToCAS-2019.06.01
- refs/tags/HomalgToCAS-2019.09.01
- refs/tags/HomalgToCAS-2019.09.02
- refs/tags/HomalgToCAS-2019.12.08
- refs/tags/HomalgToCAS-2020.02.01
- refs/tags/HomalgToCAS-2020.02.26
- refs/tags/HomalgToCAS-2020.04.25
- refs/tags/HomalgToCAS-2020.04.30
- refs/tags/HomalgToCAS-2020.05.19
- refs/tags/HomalgToCAS-2020.06.27
- refs/tags/HomalgToCAS-2020.10-02
- refs/tags/HomalgToCAS-2020.10.01
- refs/tags/HomalgToCAS-2021.01-01
- refs/tags/HomalgToCAS-2021.01-02
- refs/tags/HomalgToCAS-2021.10-01
- refs/tags/HomalgToCAS-2022.03-01
- refs/tags/HomalgToCAS-2022.07-01
- refs/tags/HomalgToCAS-2022.08-01
- refs/tags/HomalgToCAS-2022.08-02
- refs/tags/HomalgToCAS-2022.09-01
- refs/tags/HomalgToCAS-2022.10-01
- refs/tags/HomalgToCAS-2022.11-01
- refs/tags/HomalgToCAS-2022.11-02
- refs/tags/HomalgToCAS-2023.02-01
- refs/tags/HomalgToCAS-2023.02-02
- refs/tags/HomalgToCAS-2023.02-03
- refs/tags/HomalgToCAS-2023.02-04
- refs/tags/HomalgToCAS-2023.08-01
- refs/tags/HomalgToCAS-2023.11-01
- refs/tags/IO_ForHomalg-2015.10.29
- refs/tags/IO_ForHomalg-2015.11.06
- refs/tags/IO_ForHomalg-2017.04.01
- refs/tags/IO_ForHomalg-2017.07.01
- refs/tags/IO_ForHomalg-2017.09.01
- refs/tags/IO_ForHomalg-2017.09.02
- refs/tags/IO_ForHomalg-2019.01.01
- refs/tags/IO_ForHomalg-2019.06.01
- refs/tags/IO_ForHomalg-2019.09.02
- refs/tags/IO_ForHomalg-2020.01.01
- refs/tags/IO_ForHomalg-2020.02.26
- refs/tags/IO_ForHomalg-2020.04.30
- refs/tags/IO_ForHomalg-2020.10-02
- refs/tags/IO_ForHomalg-2020.10.01
- refs/tags/IO_ForHomalg-2022.03-01
- refs/tags/IO_ForHomalg-2022.08-01
- refs/tags/IO_ForHomalg-2022.08-02
- refs/tags/IO_ForHomalg-2022.08-03
- refs/tags/IO_ForHomalg-2022.09-01
- refs/tags/IO_ForHomalg-2022.11-01
- refs/tags/IO_ForHomalg-2023.02-01
- refs/tags/IO_ForHomalg-2023.02-02
- refs/tags/IO_ForHomalg-2023.02-03
- refs/tags/IO_ForHomalg-2023.02-04
- refs/tags/LocalizeRingForHomalg-2015.10.29
- refs/tags/LocalizeRingForHomalg-2015.11.06
- refs/tags/LocalizeRingForHomalg-2017.05.02
- refs/tags/LocalizeRingForHomalg-2017.07.17
- refs/tags/LocalizeRingForHomalg-2017.09.01
- refs/tags/LocalizeRingForHomalg-2017.09.02
- refs/tags/LocalizeRingForHomalg-2018.02.04
- refs/tags/LocalizeRingForHomalg-2019.06.01
- refs/tags/LocalizeRingForHomalg-2019.08.01
- refs/tags/LocalizeRingForHomalg-2019.09.02
- refs/tags/LocalizeRingForHomalg-2020.02.05
- refs/tags/LocalizeRingForHomalg-2020.04.30
- refs/tags/LocalizeRingForHomalg-2020.06.27
- refs/tags/LocalizeRingForHomalg-2020.10-02
- refs/tags/LocalizeRingForHomalg-2020.10.01
- refs/tags/LocalizeRingForHomalg-2022.03-01
- refs/tags/LocalizeRingForHomalg-2022.08-01
- refs/tags/LocalizeRingForHomalg-2022.08-02
- refs/tags/LocalizeRingForHomalg-2022.09-01
- refs/tags/LocalizeRingForHomalg-2022.11-01
- refs/tags/LocalizeRingForHomalg-2023.02-01
- refs/tags/LocalizeRingForHomalg-2023.02-02
- refs/tags/LocalizeRingForHomalg-2023.02-03
- refs/tags/LocalizeRingForHomalg-2023.02-04
- refs/tags/LocalizeRingForHomalg-2023.08-01
- refs/tags/LocalizeRingForHomalg-2023.08-02
- refs/tags/LocalizeRingForHomalg-2023.10-01
- refs/tags/MatricesForHomalg-2015.10.29
- refs/tags/MatricesForHomalg-2015.11.06
- refs/tags/MatricesForHomalg-2017.06.21
- refs/tags/MatricesForHomalg-2017.07.21
- refs/tags/MatricesForHomalg-2017.08.02
- refs/tags/MatricesForHomalg-2017.09.01
- refs/tags/MatricesForHomalg-2017.09.02
- refs/tags/MatricesForHomalg-2017.09.10
- refs/tags/MatricesForHomalg-2017.11.01
- refs/tags/MatricesForHomalg-2017.11.03
- refs/tags/MatricesForHomalg-2017.12.21
- refs/tags/MatricesForHomalg-2017.12.30
- refs/tags/MatricesForHomalg-2018.01.07
- refs/tags/MatricesForHomalg-2018.01.17
- refs/tags/MatricesForHomalg-2018.02.04
- refs/tags/MatricesForHomalg-2018.04.03
- refs/tags/MatricesForHomalg-2018.04.05
- refs/tags/MatricesForHomalg-2018.04.06
- refs/tags/MatricesForHomalg-2018.05.28
- refs/tags/MatricesForHomalg-2018.05.29
- refs/tags/MatricesForHomalg-2018.06.01
- refs/tags/MatricesForHomalg-2018.06.02
- refs/tags/MatricesForHomalg-2018.06.03
- refs/tags/MatricesForHomalg-2018.08.02
- refs/tags/MatricesForHomalg-2018.08.24
- refs/tags/MatricesForHomalg-2018.08.25
- refs/tags/MatricesForHomalg-2018.12.09
- refs/tags/MatricesForHomalg-2019.01.16
- refs/tags/MatricesForHomalg-2019.01.17
- refs/tags/MatricesForHomalg-2019.01.26
- refs/tags/MatricesForHomalg-2019.01.27
- refs/tags/MatricesForHomalg-2019.01.29
- refs/tags/MatricesForHomalg-2019.01.30
- refs/tags/MatricesForHomalg-2019.02.02
- refs/tags/MatricesForHomalg-2019.02.04
- refs/tags/MatricesForHomalg-2019.02.05
- refs/tags/MatricesForHomalg-2019.02.10
- refs/tags/MatricesForHomalg-2019.02.11
- refs/tags/MatricesForHomalg-2019.02.13
- refs/tags/MatricesForHomalg-2019.02.16
- refs/tags/MatricesForHomalg-2019.03.01
- refs/tags/MatricesForHomalg-2019.03.03
- refs/tags/MatricesForHomalg-2019.03.04
- refs/tags/MatricesForHomalg-2019.03.06
- refs/tags/MatricesForHomalg-2019.03.07
- refs/tags/MatricesForHomalg-2019.03.08
- refs/tags/MatricesForHomalg-2019.06.01
- refs/tags/MatricesForHomalg-2019.06.02
- refs/tags/MatricesForHomalg-2019.06.03
- refs/tags/MatricesForHomalg-2019.06.04
- refs/tags/MatricesForHomalg-2019.07.01
- refs/tags/MatricesForHomalg-2019.07.02
- refs/tags/MatricesForHomalg-2019.08.26
- refs/tags/MatricesForHomalg-2019.08.27
- refs/tags/MatricesForHomalg-2019.08.28
- refs/tags/MatricesForHomalg-2019.10.01
- refs/tags/MatricesForHomalg-2019.11.01
- refs/tags/MatricesForHomalg-2019.11.13
- refs/tags/MatricesForHomalg-2019.11.14
- refs/tags/MatricesForHomalg-2019.11.28
- refs/tags/MatricesForHomalg-2019.11.29
- refs/tags/MatricesForHomalg-2019.11.30
- refs/tags/MatricesForHomalg-2019.12.01
- refs/tags/MatricesForHomalg-2019.12.02
- refs/tags/MatricesForHomalg-2019.12.03
- refs/tags/MatricesForHomalg-2019.12.06
- refs/tags/MatricesForHomalg-2019.12.07
- refs/tags/MatricesForHomalg-2019.12.08
- refs/tags/MatricesForHomalg-2020.01.01
- refs/tags/MatricesForHomalg-2020.01.02
- refs/tags/MatricesForHomalg-2020.02.01
- refs/tags/MatricesForHomalg-2020.02.02
- refs/tags/MatricesForHomalg-2020.02.03
- refs/tags/MatricesForHomalg-2020.02.04
- refs/tags/MatricesForHomalg-2020.02.05
- refs/tags/MatricesForHomalg-2020.02.06
- refs/tags/MatricesForHomalg-2020.04.18
- refs/tags/MatricesForHomalg-2020.04.19
- refs/tags/MatricesForHomalg-2020.04.21
- refs/tags/MatricesForHomalg-2020.04.22
- refs/tags/MatricesForHomalg-2020.04.30
- refs/tags/MatricesForHomalg-2020.05.02
- refs/tags/MatricesForHomalg-2020.05.03
- refs/tags/MatricesForHomalg-2020.05.05
- refs/tags/MatricesForHomalg-2020.05.07
- refs/tags/MatricesForHomalg-2020.05.08
- refs/tags/MatricesForHomalg-2020.05.09
- refs/tags/MatricesForHomalg-2020.05.14
- refs/tags/MatricesForHomalg-2020.05.15
- refs/tags/MatricesForHomalg-2020.05.19
- refs/tags/MatricesForHomalg-2020.05.20
- refs/tags/MatricesForHomalg-2020.05.21
- refs/tags/MatricesForHomalg-2020.06.27
- refs/tags/MatricesForHomalg-2020.06.28
- refs/tags/MatricesForHomalg-2020.06.29
- refs/tags/MatricesForHomalg-2020.06.30
- refs/tags/MatricesForHomalg-2020.08.01
- refs/tags/MatricesForHomalg-2020.08.30
- refs/tags/MatricesForHomalg-2020.09.01
- refs/tags/MatricesForHomalg-2020.09.02
- refs/tags/MatricesForHomalg-2020.09.03
- refs/tags/MatricesForHomalg-2020.09.04
- refs/tags/MatricesForHomalg-2020.09.05
- refs/tags/MatricesForHomalg-2020.09.06
- refs/tags/MatricesForHomalg-2020.09.30
- refs/tags/MatricesForHomalg-2020.10-03
- refs/tags/MatricesForHomalg-2020.10-04
- refs/tags/MatricesForHomalg-2020.10.01
- refs/tags/MatricesForHomalg-2020.10.02
- refs/tags/MatricesForHomalg-2021.01-01
- refs/tags/MatricesForHomalg-2021.02-01
- refs/tags/MatricesForHomalg-2021.02-02
- refs/tags/MatricesForHomalg-2021.02-03
- refs/tags/MatricesForHomalg-2021.02-04
- refs/tags/MatricesForHomalg-2021.03-01
- refs/tags/MatricesForHomalg-2021.04-01
- refs/tags/MatricesForHomalg-2021.04-02
- refs/tags/MatricesForHomalg-2021.04-04
- refs/tags/MatricesForHomalg-2021.04-05
- refs/tags/MatricesForHomalg-2021.04-06
- refs/tags/MatricesForHomalg-2021.05-01
- refs/tags/MatricesForHomalg-2021.06-01
- refs/tags/MatricesForHomalg-2021.06-02
- refs/tags/MatricesForHomalg-2021.06-03
- refs/tags/MatricesForHomalg-2021.07-01
- refs/tags/MatricesForHomalg-2021.08-01
- refs/tags/MatricesForHomalg-2021.11-01
- refs/tags/MatricesForHomalg-2021.12-01
- refs/tags/MatricesForHomalg-2022.02-01
- refs/tags/MatricesForHomalg-2022.02-02
- refs/tags/MatricesForHomalg-2022.03-01
- refs/tags/MatricesForHomalg-2022.03-02
- refs/tags/MatricesForHomalg-2022.04-01
- refs/tags/MatricesForHomalg-2022.06-01
- refs/tags/MatricesForHomalg-2022.08-01
- refs/tags/MatricesForHomalg-2022.08-02
- refs/tags/MatricesForHomalg-2022.08-03
- refs/tags/MatricesForHomalg-2022.08-04
- refs/tags/MatricesForHomalg-2022.09-01
- refs/tags/MatricesForHomalg-2022.10-01
- refs/tags/MatricesForHomalg-2022.10-02
- refs/tags/MatricesForHomalg-2022.10-03
- refs/tags/MatricesForHomalg-2022.10-04
- refs/tags/MatricesForHomalg-2022.10-05
- refs/tags/MatricesForHomalg-2022.10-06
- refs/tags/MatricesForHomalg-2022.11-01
- refs/tags/MatricesForHomalg-2022.11-02
- refs/tags/MatricesForHomalg-2022.11-03
- refs/tags/MatricesForHomalg-2022.12-01
- refs/tags/MatricesForHomalg-2023.01-01
- refs/tags/MatricesForHomalg-2023.02-01
- refs/tags/MatricesForHomalg-2023.02-02
- refs/tags/MatricesForHomalg-2023.02-03
- refs/tags/MatricesForHomalg-2023.02-04
- refs/tags/MatricesForHomalg-2023.08-01
- refs/tags/MatricesForHomalg-2023.08-02
- refs/tags/MatricesForHomalg-2023.10-01
- refs/tags/MatricesForHomalg-2023.11-01
- refs/tags/MatricesForHomalg-2023.11-02
- refs/tags/MatricesForHomalg-2024.02-01
- refs/tags/Modules-2015.10.29
- refs/tags/Modules-2015.11.06
- refs/tags/Modules-2016.01.20
- refs/tags/Modules-2017.06.22
- refs/tags/Modules-2017.07.17
- refs/tags/Modules-2017.09.01
- refs/tags/Modules-2017.09.02
- refs/tags/Modules-2017.12.21
- refs/tags/Modules-2018.01.07
- refs/tags/Modules-2018.02.04
- refs/tags/Modules-2018.03.20
- refs/tags/Modules-2018.05.31
- refs/tags/Modules-2018.07.06
- refs/tags/Modules-2018.07.24
- refs/tags/Modules-2018.08.01
- refs/tags/Modules-2018.08.24
- refs/tags/Modules-2018.08.25
- refs/tags/Modules-2019.01.08
- refs/tags/Modules-2019.01.09
- refs/tags/Modules-2019.02.01
- refs/tags/Modules-2019.02.02
- refs/tags/Modules-2019.02.03
- refs/tags/Modules-2019.06.01
- refs/tags/Modules-2019.06.02
- refs/tags/Modules-2019.06.04
- refs/tags/Modules-2019.08.01
- refs/tags/Modules-2019.09.01
- refs/tags/Modules-2019.09.02
- refs/tags/Modules-2020.02.02
- refs/tags/Modules-2020.02.05
- refs/tags/Modules-2020.04.30
- refs/tags/Modules-2020.05.09
- refs/tags/Modules-2020.05.15
- refs/tags/Modules-2020.10-02
- refs/tags/Modules-2020.10.01
- refs/tags/Modules-2021.02-01
- refs/tags/Modules-2021.02-02
- refs/tags/Modules-2021.03-01
- refs/tags/Modules-2021.03-02
- refs/tags/Modules-2021.03-03
- refs/tags/Modules-2021.03-04
- refs/tags/Modules-2021.04-01
- refs/tags/Modules-2021.11-01
- refs/tags/Modules-2022.02-01
- refs/tags/Modules-2022.03-01
- refs/tags/Modules-2022.08-01
- refs/tags/Modules-2022.08-02
- refs/tags/Modules-2022.08-03
- refs/tags/Modules-2022.09-01
- refs/tags/Modules-2022.11-01
- refs/tags/Modules-2023.02-01
- refs/tags/Modules-2023.02-02
- refs/tags/Modules-2023.02-03
- refs/tags/Modules-2023.02-04
- refs/tags/Modules-2023.08-01
- refs/tags/Modules-2023.08-02
- refs/tags/Modules-2023.10-01
- refs/tags/Modules-2024.01-01
- refs/tags/PolymakeInterface-2015.10.29
- refs/tags/PolymakeInterface-2015.11.06
- refs/tags/PolymakeInterface-2016.11.24
- refs/tags/PolymakeInterface-2017.07.12
- refs/tags/PolymakeInterface-2018.09.25
- refs/tags/PolymakeInterface-2019.03.26
- refs/tags/PolymakeInterface-2019.06.01
- refs/tags/PolymakeInterface-2019.09.02
- refs/tags/PolymakeInterface-2020.04.30
- refs/tags/RingsForHomalg-2015.10.29
- refs/tags/RingsForHomalg-2015.11.06
- refs/tags/RingsForHomalg-2016.01.20
- refs/tags/RingsForHomalg-2017.06.21
- refs/tags/RingsForHomalg-2017.07.19
- refs/tags/RingsForHomalg-2017.08.02
- refs/tags/RingsForHomalg-2017.09.01
- refs/tags/RingsForHomalg-2017.09.02
- refs/tags/RingsForHomalg-2017.11.01
- refs/tags/RingsForHomalg-2017.11.03
- refs/tags/RingsForHomalg-2018.01.07
- refs/tags/RingsForHomalg-2018.02.04
- refs/tags/RingsForHomalg-2018.04.04
- refs/tags/RingsForHomalg-2018.12.10
- refs/tags/RingsForHomalg-2019.01.14
- refs/tags/RingsForHomalg-2019.06.01
- refs/tags/RingsForHomalg-2019.09.01
- refs/tags/RingsForHomalg-2019.11.29
- refs/tags/RingsForHomalg-2019.12.08
- refs/tags/RingsForHomalg-2020.02.02
- refs/tags/RingsForHomalg-2020.02.04
- refs/tags/RingsForHomalg-2020.02.05
- refs/tags/RingsForHomalg-2020.04.17
- refs/tags/RingsForHomalg-2020.04.18
- refs/tags/RingsForHomalg-2020.04.19
- refs/tags/RingsForHomalg-2020.04.20
- refs/tags/RingsForHomalg-2020.04.21
- refs/tags/RingsForHomalg-2020.04.25
- refs/tags/RingsForHomalg-2020.04.26
- refs/tags/RingsForHomalg-2020.04.30
- refs/tags/RingsForHomalg-2020.05.07
- refs/tags/RingsForHomalg-2020.05.09
- refs/tags/RingsForHomalg-2020.05.10
- refs/tags/RingsForHomalg-2020.05.15
- refs/tags/RingsForHomalg-2020.05.17
- refs/tags/RingsForHomalg-2020.05.19
- refs/tags/RingsForHomalg-2020.05.20
- refs/tags/RingsForHomalg-2020.05.22
- refs/tags/RingsForHomalg-2020.06.27
- refs/tags/RingsForHomalg-2020.06.28
- refs/tags/RingsForHomalg-2020.06.29
- refs/tags/RingsForHomalg-2020.06.30
- refs/tags/RingsForHomalg-2020.09.01
- refs/tags/RingsForHomalg-2020.09.02
- refs/tags/RingsForHomalg-2020.09.10
- refs/tags/RingsForHomalg-2020.10-04
- refs/tags/RingsForHomalg-2020.10-05
- refs/tags/RingsForHomalg-2020.10.01
- refs/tags/RingsForHomalg-2020.10.02
- refs/tags/RingsForHomalg-2020.10.03
- refs/tags/RingsForHomalg-2020.11-01
- refs/tags/RingsForHomalg-2021.01-01
- refs/tags/RingsForHomalg-2021.02-02
- refs/tags/RingsForHomalg-2021.02-03
- refs/tags/RingsForHomalg-2021.03-01
- refs/tags/RingsForHomalg-2021.04-01
- refs/tags/RingsForHomalg-2021.04-02
- refs/tags/RingsForHomalg-2021.06-01
- refs/tags/RingsForHomalg-2021.06-02
- refs/tags/RingsForHomalg-2021.06-03
- refs/tags/RingsForHomalg-2021.06-04
- refs/tags/RingsForHomalg-2021.10-01
- refs/tags/RingsForHomalg-2022.03-01
- refs/tags/RingsForHomalg-2022.04-01
- refs/tags/RingsForHomalg-2022.07-01
- refs/tags/RingsForHomalg-2022.08-01
- refs/tags/RingsForHomalg-2022.08-02
- refs/tags/RingsForHomalg-2022.08-03
- refs/tags/RingsForHomalg-2022.08-04
- refs/tags/RingsForHomalg-2022.09-01
- refs/tags/RingsForHomalg-2022.10-01
- refs/tags/RingsForHomalg-2022.10-02
- refs/tags/RingsForHomalg-2022.11-01
- refs/tags/RingsForHomalg-2023.02-01
- refs/tags/RingsForHomalg-2023.02-02
- refs/tags/RingsForHomalg-2023.02-03
- refs/tags/RingsForHomalg-2023.02-04
- refs/tags/RingsForHomalg-2023.02-05
- refs/tags/RingsForHomalg-2023.08-01
- refs/tags/RingsForHomalg-2023.08-02
- refs/tags/RingsForHomalg-2023.09-01
- refs/tags/RingsForHomalg-2023.11-01
- refs/tags/RingsForHomalg-2023.11-02
- refs/tags/SCO-2015.10.29
- refs/tags/SCO-2015.11.06
- refs/tags/SCO-2017.09.01
- refs/tags/SCO-2017.09.02
- refs/tags/SCO-2019.06.01
- refs/tags/SCO-2019.09.02
- refs/tags/SCO-2020.10-02
- refs/tags/SCO-2020.10.01
- refs/tags/SCO-2022.03-01
- refs/tags/SCO-2022.08-01
- refs/tags/SCO-2022.08-02
- refs/tags/SCO-2022.09-01
- refs/tags/SCO-2023.02-01
- refs/tags/SCO-2023.02-02
- refs/tags/SCO-2023.02-03
- refs/tags/SCO-2023.02-04
- refs/tags/SCO-2023.08-01
- refs/tags/ToolsForHomalg-2015.10.29
- refs/tags/ToolsForHomalg-2015.11.06
- refs/tags/ToolsForHomalg-2015.11.23
- refs/tags/ToolsForHomalg-2015.12.08
- refs/tags/ToolsForHomalg-2016.01.17
- refs/tags/ToolsForHomalg-2016.02.17
- refs/tags/ToolsForHomalg-2017.05.10
- refs/tags/ToolsForHomalg-2017.09.01
- refs/tags/ToolsForHomalg-2017.09.02
- refs/tags/ToolsForHomalg-2017.11.05
- refs/tags/ToolsForHomalg-2018.01.25
- refs/tags/ToolsForHomalg-2018.01.30
- refs/tags/ToolsForHomalg-2018.05.22
- refs/tags/ToolsForHomalg-2018.12.03
- refs/tags/ToolsForHomalg-2018.12.15
- refs/tags/ToolsForHomalg-2019.02.16
- refs/tags/ToolsForHomalg-2019.02.17
- refs/tags/ToolsForHomalg-2019.06.01
- refs/tags/ToolsForHomalg-2019.06.02
- refs/tags/ToolsForHomalg-2019.09.02
- refs/tags/ToolsForHomalg-2020.04.30
- refs/tags/ToolsForHomalg-2020.05.12
- refs/tags/ToolsForHomalg-2020.08.01
- refs/tags/ToolsForHomalg-2020.08.02
- refs/tags/ToolsForHomalg-2020.09.01
- refs/tags/ToolsForHomalg-2020.09.02
- refs/tags/ToolsForHomalg-2020.09.06
- refs/tags/ToolsForHomalg-2020.10-02
- refs/tags/ToolsForHomalg-2020.10-03
- refs/tags/ToolsForHomalg-2020.10.01
- refs/tags/ToolsForHomalg-2021.02-01
- refs/tags/ToolsForHomalg-2021.03-01
- refs/tags/ToolsForHomalg-2021.03-02
- refs/tags/ToolsForHomalg-2021.05-01
- refs/tags/ToolsForHomalg-2021.05-02
- refs/tags/ToolsForHomalg-2021.06-01
- refs/tags/ToolsForHomalg-2021.08-01
- refs/tags/ToolsForHomalg-2021.10-01
- refs/tags/ToolsForHomalg-2021.10-02
- refs/tags/ToolsForHomalg-2021.11-01
- refs/tags/ToolsForHomalg-2021.12-01
- refs/tags/ToolsForHomalg-2021.12-02
- refs/tags/ToolsForHomalg-2022.01-01
- refs/tags/ToolsForHomalg-2022.02-01
- refs/tags/ToolsForHomalg-2022.03-01
- refs/tags/ToolsForHomalg-2022.04-01
- refs/tags/ToolsForHomalg-2022.04-02
- refs/tags/ToolsForHomalg-2022.04-03
- refs/tags/ToolsForHomalg-2022.05-01
- refs/tags/ToolsForHomalg-2022.08-01
- refs/tags/ToolsForHomalg-2022.08-02
- refs/tags/ToolsForHomalg-2022.08-03
- refs/tags/ToolsForHomalg-2022.09-01
- refs/tags/ToolsForHomalg-2022.09-02
- refs/tags/ToolsForHomalg-2022.09-03
- refs/tags/ToolsForHomalg-2022.09-04
- refs/tags/ToolsForHomalg-2022.09-05
- refs/tags/ToolsForHomalg-2022.09-06
- refs/tags/ToolsForHomalg-2022.09-07
- refs/tags/ToolsForHomalg-2022.09-08
- refs/tags/ToolsForHomalg-2022.10-01
- refs/tags/ToolsForHomalg-2022.12-01
- refs/tags/ToolsForHomalg-2023.01-01
- refs/tags/ToolsForHomalg-2023.02-01
- refs/tags/ToolsForHomalg-2023.02-02
- refs/tags/ToolsForHomalg-2023.02-03
- refs/tags/ToolsForHomalg-2023.02-04
- refs/tags/ToolsForHomalg-2023.02-05
- refs/tags/ToolsForHomalg-2023.02-06
- refs/tags/ToolsForHomalg-2023.03-01
- refs/tags/ToolsForHomalg-2023.05-01
- refs/tags/ToolsForHomalg-2023.07-01
- refs/tags/ToolsForHomalg-2023.10-01
- refs/tags/ToolsForHomalg-2023.11-01
- refs/tags/ToricVarieties-2015.10.29
- refs/tags/ToricVarieties-2015.11.06
- refs/tags/ToricVarieties-2017.03.31
- refs/tags/ToricVarieties-2018.10.12
- refs/tags/ToricVarieties-2019.03.28
- refs/tags/ToricVarieties-2019.04.01
- refs/tags/ToricVarieties-2019.04.02
- refs/tags/ToricVarieties-2019.06.02
- refs/tags/ToricVarieties-2019.07.01
- refs/tags/ToricVarieties-2019.07.02
- refs/tags/ToricVarieties-2019.09.02
- refs/tags/ToricVarieties-2019.09.03
- refs/tags/ToricVarieties-2019.12.05
- refs/tags/ToricVarieties-2019.12.06
- refs/tags/ToricVarieties-2020.04.25
- refs/tags/homalg-2015.11.05
- refs/tags/homalg-2017.05.10
- refs/tags/homalg-2017.09.01
- refs/tags/homalg-2017.09.02
- refs/tags/homalg-2017.10.26
- refs/tags/homalg-2019.02.03
- refs/tags/homalg-2019.06.01
- refs/tags/homalg-2019.06.02
- refs/tags/homalg-2019.09.01
- refs/tags/homalg-2020.02.20
- refs/tags/homalg-2020.04.30
- refs/tags/homalg-2020.10-02
- refs/tags/homalg-2020.10.01
- refs/tags/homalg-2021.06-01
- refs/tags/homalg-2022.02-01
- refs/tags/homalg-2022.03-01
- refs/tags/homalg-2022.08-01
- refs/tags/homalg-2022.08-02
- refs/tags/homalg-2022.08-03
- refs/tags/homalg-2022.08-04
- refs/tags/homalg-2022.11-01
- refs/tags/homalg-2022.12-01
- refs/tags/homalg-2022.12-02
- refs/tags/homalg-2023.02-01
- refs/tags/homalg-2023.02-02
- refs/tags/homalg-2023.02-03
- refs/tags/homalg-2023.02-04
- refs/tags/homalg-2023.02-05
- refs/tags/homalg-2023.08-01
- refs/tags/homalg-2023.08-02
- refs/tags/homalg-2023.10-01
- refs/tags/homalg-2024.01-01
- b9190b69400b3cf4aa1809e261a2f25b149f2fb8
Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier None into a standard tar.gz archive
.
Are you sure you want to continue ?
Download a directory from the Software Heritage Vault
You have requested the download of the directory with identifier None as a standard tar.gz archive
.
Are you sure you want to continue ?
Cook and download a revision from the Software Heritage Vault
You have requested the cooking of the history heading to revision with identifier swh:1:rev:b9190b69400b3cf4aa1809e261a2f25b149f2fb8 into a bare git archive
.
Are you sure you want to continue ?
Download a revision from the Software Heritage Vault
You have requested the download of the history heading to revision with identifier swh:1:rev:b9190b69400b3cf4aa1809e261a2f25b149f2fb8 as a bare git archive
.
Are you sure you want to continue ?
Invalid Email !
The provided email is not well-formed.
Download link has expired
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
Take a new snapshot of a software origin
If the archived software origin currently browsed is not synchronized with its upstream version (for instance when new commits have been issued), you can explicitly request Software Heritage to take a new snapshot of it.
Use the form below to proceed. Once a request has been submitted and accepted, it will be processed as soon as possible. You can then check its processing state by visiting this dedicated page.Processing "take a new snapshot" request ...
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
Merge pull request #561 from mohamed-barakat/devel
#!/usr/bin/python3
#######################################################
# You should only use the coverage annotations for
# a) lines around errors and warnings,
# b) code solely existing for debugging purposes,
# c) calls of `TryNextMethod` leading to external code.
#######################################################
# This script applies three rules to all coverage*.json files below the current working directory:
# a) Remove all coverage information of files not below the current working directory
# (this technically includes "tst/testall.g" because it is not referenced by an absolute path).
# b) Strip the current working directory from the paths of files below the current working directory.
# c) Ignore lines with one of the "COVERAGE_IGNORE_..." annotations (see below).
import json
import re
import os
from pathlib import Path
regex_block_start = re.compile("^\s*# COVERAGE_IGNORE_BLOCK_START$")
regex_block_end = re.compile("^\s*# COVERAGE_IGNORE_BLOCK_END$")
regex_next_line = re.compile("^\s*# COVERAGE_IGNORE_NEXT_LINE$")
regex_return_void = re.compile("^\s*return;$")
for coverage_filename in Path("../").glob("**/coverage*.json"):
print("processing coverage file " + str(coverage_filename))
new_data = {}
new_data["coverage"] = {}
with open(coverage_filename) as json_file:
data = json.load(json_file)
files = data["coverage"]
for filename, lines_covered in files.items():
if filename.startswith(os.getcwd() + "/"):
print(" processing code file " + filename)
# ignored lines will be delete from lines_covered in-place
new_data["coverage"][filename.replace(os.getcwd() + "/", "", 1)] = lines_covered
line_number = 0
ignoring = False
ignored_lines = []
with open(filename) as file:
while True:
line_number += 1
line = file.readline()
if not line:
break
if regex_block_start.match(line) is not None:
if ignoring:
print("Error in line " + str(line_number) + ": start ignoring while already ignoring")
exit(1)
ignoring = True
if regex_block_end.match(line) is not None:
if not ignoring:
print("Error in line " + str(line_number) + ": end ignoring while not ignoring")
exit(1)
ignoring = False
if regex_next_line.match(line) is not None:
if ignoring:
print("Error in line " + str(line_number) + ": ignoring next line while already ignoring block")
exit(1)
ignored_lines.append(line_number + 1)
# ignore empty return statements in precompiled code
# those are inserted automatically by GAP and are never executed
if "precompiled_categories" in filename and regex_return_void.match(line) is not None:
if ignoring:
print("Error in line " + str(line_number) + ": ignoring empty return statement while already ignoring block")
exit(1)
ignored_lines.append(line_number)
if ignoring:
ignored_lines.append(line_number)
if ignoring:
print("Error: ignoring until the end of the file")
exit(1)
for line_number in ignored_lines:
if str(line_number) in lines_covered:
if lines_covered[str(line_number)] != "0":
print("Error in line " + str(line_number) + ": an ignored line is covered")
exit(1)
del lines_covered[str(line_number)]
with open(coverage_filename, "w") as outfile:
json.dump(new_data, outfile, indent=0)
Computing file changes ...