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
{ "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": "", "creator": [ { "affiliation": "Aalborg University", "@type": "Person", "name": "Christian Schilling" }, { "affiliation": "Universidad de la Rep\u00fablica", "@type": "Person", "name": "Marcelo Forets" }, { "affiliation": "University of Vaasa", "@type": "Person", "name": "Luca Ferranti" }, { "@type": "Person", "name": "Sebasti\u00e1n Guadalupe" }, { "@type": "Person", "name": "kpotomkin" }, { "affiliation": "Facultad de Ingenier\u00eda UdelaR", "@type": "Person", "name": "Mauricio Vanzulli" }, { "@type": "Person", "name": "ueliwechsler" }, { "affiliation": "Urudata Software", "@type": "Person", "name": "Bruno Garate" }, { "@type": "Person", "name": "tomerarnon" }, { "@type": "Person", "name": "Daniel Freire Caporale" }, { "@type": "Person", "name": "Ryan Birmingham" }, { "@type": "Person", "name": "nikos-kekatos" }, { "affiliation": "TU Delft", "@type": "Person", "name": "Frederik Baymler Mathiesen" }, { "affiliation": "Delft University of Technology", "@type": "Person", "name": "Lasse Peters" }, { "affiliation": "University of Utah", "@type": "Person", "name": "Aadesh Deshmukh" }, { "@type": "Person", "name": "David Reguera" }, { "@type": "Person", "name": "Gustavo Goretkin" }, { "@type": "Person", "name": "Julia TagBot" }, { "affiliation": "@JuliaComputing", "@type": "Person", "name": "Morten Piibeleht" }, { "affiliation": "@Shopify", "@type": "Person", "name": "Peng Yu" }, { "@type": "Person", "name": "viryfrederic" } ], "url": "https://zenodo.org/record/7746653", "codeRepository": "https://github.com/JuliaReach/LazySets.jl/tree/v2.7.0", "datePublished": "2023-03-17", "version": "v2.7.0", "@context": "https://schema.org/", "identifier": "https://doi.org/10.5281/zenodo.7746653", "@id": "https://doi.org/10.5281/zenodo.7746653", "@type": "SoftwareSourceCode", "name": "JuliaReach/LazySets.jl: v2.7.0" }
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 |