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-LD (schema.org) Export

{
  "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": "", 
  "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"
}
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