Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.
There is a newer version of this record available.

Software Open Access

JuliaReach/LazySets.jl: v2.7.0

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/fb767d6f-2881-491b-a4b3-2d35d3469a63/JuliaReach/LazySets.jl-v2.7.0.zip"
      }, 
      "checksum": "md5:ab0db294b855f6261067bbadb215c13d", 
      "bucket": "fb767d6f-2881-491b-a4b3-2d35d3469a63", 
      "key": "JuliaReach/LazySets.jl-v2.7.0.zip", 
      "type": "zip", 
      "size": 707077
    }
  ], 
  "owners": [
    37855
  ], 
  "doi": "10.5281/zenodo.7746653", 
  "stats": {
    "version_unique_downloads": 251.0, 
    "unique_views": 8.0, 
    "views": 8.0, 
    "version_views": 1707.0, 
    "unique_downloads": 1.0, 
    "version_unique_views": 1568.0, 
    "volume": 707077.0, 
    "version_downloads": 1571.0, 
    "downloads": 1.0, 
    "version_volume": 798180644.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.7746653", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.1161710", 
    "bucket": "https://zenodo.org/api/files/fb767d6f-2881-491b-a4b3-2d35d3469a63", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.1161710.svg", 
    "html": "https://zenodo.org/record/7746653", 
    "latest_html": "https://zenodo.org/record/8286909", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.7746653.svg", 
    "latest": "https://zenodo.org/api/records/8286909"
  }, 
  "conceptdoi": "10.5281/zenodo.1161710", 
  "created": "2023-03-17T18:18:50.330818+00:00", 
  "updated": "2023-08-27T07:34:31.480965+00:00", 
  "conceptrecid": "1161710", 
  "revision": 13, 
  "id": 7746653, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.7746653", 
    "description": "LazySets v2.7.0\n<p><a href=\"https://github.com/JuliaReach/LazySets.jl/compare/v2.6.0...v2.7.0\">Diff since v2.6.0</a></p>\n<p><strong>Closed issues:</strong></p>\n<ul>\n<li>Generalize methods to AbstractPolyhedron (#1078)</li>\n<li>Conversion from simple HRep to list of constraints (#1610)</li>\n<li>Remove N&lt;:Real annotation (#2219)</li>\n<li>vertices_list of an empty HParallelotope is non-empty (#2786)</li>\n<li>Random parallelotope generation often returns an empty set (#3203)</li>\n<li>Documentation Update section causes error (#3242)</li>\n</ul>\n<p><strong>Merged pull requests:</strong></p>\n<ul>\n<li>#2786 - Add consistency check to HParallelotope constructor and use cheap isempty method (#3219) (@schillic)</li>\n<li>#3203 - Make rand of HParallelotope return a nonempty set (#3221) (@schillic)</li>\n<li>#1078 - Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235) (@schillic)</li>\n<li>#2219 - Remove remaining N&lt;:Real annotations (#3236) (@schillic)</li>\n<li>Update manual (getting started) (#3243) (@schillic)</li>\n<li>Move some code to interface files (#3244) (@schillic)</li>\n<li>Remove dependency on JuMP.MOI (#3245) (@schillic)</li>\n</ul>", 
    "license": {
      "id": "other-open"
    }, 
    "title": "JuliaReach/LazySets.jl: v2.7.0", 
    "relations": {
      "version": [
        {
          "count": 138, 
          "index": 127, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "1161710"
          }, 
          "is_last": false, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "8286909"
          }
        }
      ]
    }, 
    "version": "v2.7.0", 
    "publication_date": "2023-03-17", 
    "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.7.0", 
        "relation": "isSupplementTo"
      }, 
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.1161710", 
        "relation": "isVersionOf"
      }
    ]
  }
}
1,707
1,571
views
downloads
All versions This version
Views 1,7078
Downloads 1,5711
Data volume 798.2 MB707.1 kB
Unique views 1,5688
Unique downloads 2511

Share

Cite as