February 23, 2023 Software Open Access

Christian Schilling; Marcelo Forets; Luca Ferranti; Sebastián Guadalupe; kpotomkin; Mauricio Vanzulli; ueliwechsler; Bruno Garate; tomerarnon; Daniel Freire Caporale; Ryan Birmingham; nikos-kekatos; Frederik Baymler Mathiesen; Lasse Peters; Aadesh Deshmukh; David Reguera; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; viryfrederic

JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/1085a148-e5e9-45da-8430-c07db57efc9e/JuliaReach/LazySets.jl-v2.6.0.zip"
      }, 
      "checksum": "md5:0beec3fda34fe7c5735eb42e2ed19f1b", 
      "bucket": "1085a148-e5e9-45da-8430-c07db57efc9e", 
      "key": "JuliaReach/LazySets.jl-v2.6.0.zip", 
      "type": "zip", 
      "size": 706671
    }
  ], 
  "owners": [
    37855
  ], 
  "doi": "10.5281/zenodo.7671635", 
  "stats": {
    "version_unique_downloads": 251.0, 
    "unique_views": 6.0, 
    "views": 6.0, 
    "version_views": 1710.0, 
    "unique_downloads": 1.0, 
    "version_unique_views": 1571.0, 
    "volume": 706671.0, 
    "version_downloads": 1571.0, 
    "downloads": 1.0, 
    "version_volume": 798180644.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.7671635", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.1161710", 
    "bucket": "https://zenodo.org/api/files/1085a148-e5e9-45da-8430-c07db57efc9e", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.1161710.svg", 
    "html": "https://zenodo.org/record/7671635", 
    "latest_html": "https://zenodo.org/record/8286909", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.7671635.svg", 
    "latest": "https://zenodo.org/api/records/8286909"
  }, 
  "conceptdoi": "10.5281/zenodo.1161710", 
  "created": "2023-02-23T18:22:06.270328+00:00", 
  "updated": "2023-08-27T07:34:31.223808+00:00", 
  "conceptrecid": "1161710", 
  "revision": 14, 
  "id": 7671635, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.7671635", 
    "description": "LazySets v2.6.0\n<p><a href=\"https://github.com/JuliaReach/LazySets.jl/compare/v2.5.0...v2.6.0\">Diff since v2.5.0</a></p>\n<p><strong>Closed issues:</strong></p>\n<ul>\n<li>Concrete Minkowski difference for zonotopes (#586)</li>\n<li>HPolygon's addconstraint! should ignore/replace constraints with same normal direction (#653)</li>\n<li>HPolytope's removehredundancy! removes non-redundant constraints (#754)</li>\n<li>Iterative refinement of HPolygon with redundant constraint adds unexpected constraint (#895)</li>\n<li>tohrep(::VPolytope) results in unbounded polytope (#1234)</li>\n<li>Overapproximation of zonotope with polyhedron in constraint representation (#1328)</li>\n<li>Different result for intersection using HPolyhedron or HPolytope (#1348)</li>\n<li>HPolygon should not reorder already-sorted constraints (#1393)</li>\n<li>Convert AbstractPolyhedron to Polyhedra.polyhedron (#1505)</li>\n<li>Docstrings with kwargs (#1650)</li>\n<li>Faster support function for CPA and canonical vectors (#1758)</li>\n<li>Add test for MiniQhull optional dependency (#2077)</li>\n<li>Documentation redefinition in require blocks (#2080)</li>\n<li>Fix warnings with Polyhedra (#2162)</li>\n<li>addconstraint! for HPolygon differs with linear_search option (#2426)</li>\n<li>Error when passing LP solver to Polyhedra (#2542)</li>\n<li>AssertionError in is_tighter_same_dir_2D (#2582)</li>\n<li>Checking equality of Complements Unexpected Behavior. (#2686)</li>\n<li>Fix links in documentation (#2721)</li>\n<li>Undefined LP in remove_redundant_constraints (#2732)</li>\n<li>Overapproximation with zonotope and PolarDirections (CPA algorithm) crashes (#2833)</li>\n<li>MethodError in eps close approx of Bloating (#2894)</li>\n<li><code>rand</code> doesn't work with <code>Rational{Int}</code> (#3019)</li>\n<li>isdisjoint of flat zonotope with polyhedron returns wrong answer (#3038)</li>\n<li>Generalize <code>polyhedron</code> to <code>AbstractPolyhedron</code> (#3060)</li>\n<li>EmptySet is not quite the absorbing operation for CartesianProduct (#3078)</li>\n<li>Support vector of Ball2 in zero direction (#3198)</li>\n<li>constraints_list of flat zonotopes is wrong (#3209)</li>\n<li>Depend on <code>MathOptInterface</code> directly instead of referencing the internal variable of <code>JuMP</code> (#3238)</li>\n</ul>\n<p><strong>Merged pull requests:</strong></p>\n<ul>\n<li>Update publications (#3197) (@schillic)</li>\n<li>#1758 - faster support function/vector for CartesianProduct/CartesianProductArray (#3199) (@schillic)</li>\n<li>#3198 - Fix support vector of Ball2 in zero direction (#3200) (@schillic)</li>\n<li>Overapproximation for intersection of zonotope and hyperplane (#3201) (@schillic)</li>\n<li>Add reference (#3202) (@schillic)</li>\n<li>Add volume method for HParallelotope (#3204) (@schillic)</li>\n<li>Add order-reduction method with parallelotope (#3205) (@schillic)</li>\n<li>#586 - Concrete Minkowski difference for zonotopes (#3206) (@schillic)</li>\n<li>Fix vrep_chull algorithm and simplify code (#3207) (@schillic)</li>\n<li>#3078 - Fix CartesianProduct constructor with EmptySet (#3208) (@schillic)</li>\n<li>#3209 - Fix constraints_list of flat zonotopes (#3210) (@schillic)</li>\n<li>#2833 - Fix automatic generation of template-direction instances (#3211) (@schillic)</li>\n<li>#2426 - Fix binary search in addconstraint! for polygons (#3213) (@schillic)</li>\n<li>#1348 - Improved bound for line search (#3214) (@schillic)</li>\n<li>#2077 - Add test for MiniQhull (#3216) (@schillic)</li>\n<li>#2080 - Pull out documentation from requires blocks (#3217) (@schillic)</li>\n<li>#2732 - Simplify remove_redundant_constraints! code (#3218) (@schillic)</li>\n<li>Use newer version of Makie in tests (#3220) (@schillic)</li>\n<li>Add publications (#3222) (@schillic)</li>\n<li>#3060 - Generalize polyhedron to LazySet (#3223) (@schillic)</li>\n<li>Use rng in all rand calls (#3224) (@schillic)</li>\n<li>#2162 - Fix warning with Polyhedra (#3225) (@schillic)</li>\n<li>Fix check for elimination algorithm type in _minkowski_sum_hrep (#3227) (@Zinoex)</li>\n<li>Fix variable naming error in overapproximate to HPolyhedron (#3228) (@Zinoex)</li>\n<li>Make names dir/dirs consistent (#3229) (@schillic)</li>\n<li>Add test for #3227 (_minkowski_sum_hrep with algorithm given) (#3230) (@schillic)</li>\n<li>Update Symbolics in tests (#3232) (@schillic)</li>\n<li>Remove invoke calls (#3233) (@schillic)</li>\n<li>Fix support vector of unbounded HPolyhedron (#3234) (@schillic)</li>\n<li>Fix #3238 -- MathOptInterface -&gt; MOI (#3239) (@lassepe)</li>\n<li>Update Project.toml (#3240) (@schillic)</li>\n</ul>", 
    "license": {
      "id": "other-open"
    }, 
    "title": "JuliaReach/LazySets.jl: v2.6.0", 
    "relations": {
      "version": [
        {
          "count": 138, 
          "index": 126, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "1161710"
          }, 
          "is_last": false, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "8286909"
          }
        }
      ]
    }, 
    "version": "v2.6.0", 
    "publication_date": "2023-02-23", 
    "creators": [
      {
        "affiliation": "Aalborg University", 
        "name": "Christian Schilling"
      }, 
      {
        "affiliation": "Universidad de la Rep\u00fablica", 
        "name": "Marcelo Forets"
      }, 
      {
        "affiliation": "University of Vaasa", 
        "name": "Luca Ferranti"
      }, 
      {
        "name": "Sebasti\u00e1n Guadalupe"
      }, 
      {
        "name": "kpotomkin"
      }, 
      {
        "affiliation": "Facultad de Ingenier\u00eda UdelaR", 
        "name": "Mauricio Vanzulli"
      }, 
      {
        "name": "ueliwechsler"
      }, 
      {
        "affiliation": "Urudata Software", 
        "name": "Bruno Garate"
      }, 
      {
        "name": "tomerarnon"
      }, 
      {
        "name": "Daniel Freire Caporale"
      }, 
      {
        "name": "Ryan Birmingham"
      }, 
      {
        "name": "nikos-kekatos"
      }, 
      {
        "affiliation": "TU Delft", 
        "name": "Frederik Baymler Mathiesen"
      }, 
      {
        "affiliation": "Delft University of Technology", 
        "name": "Lasse Peters"
      }, 
      {
        "affiliation": "University of Utah", 
        "name": "Aadesh Deshmukh"
      }, 
      {
        "name": "David Reguera"
      }, 
      {
        "name": "Gustavo Goretkin"
      }, 
      {
        "name": "Julia TagBot"
      }, 
      {
        "affiliation": "@JuliaComputing", 
        "name": "Morten Piibeleht"
      }, 
      {
        "affiliation": "@Shopify", 
        "name": "Peng Yu"
      }, 
      {
        "name": "viryfrederic"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "url", 
        "identifier": "https://github.com/JuliaReach/LazySets.jl/tree/v2.6.0", 
        "relation": "isSupplementTo"
      }, 
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.1161710", 
        "relation": "isVersionOf"
      }
    ]
  }
}