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
{ "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<: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<: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" } ] } }
All versions | This version | |
---|---|---|
Views | 1,707 | 8 |
Downloads | 1,571 | 1 |
Data volume | 798.2 MB | 707.1 kB |
Unique views | 1,568 | 8 |
Unique downloads | 251 | 1 |