March 17, 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

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.7746653", 
  "title": "JuliaReach/LazySets.jl: v2.7.0", 
  "issued": {
    "date-parts": [
      [
        2023, 
        3, 
        17
      ]
    ]
  }, 
  "abstract": "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>", 
  "author": [
    {
      "family": "Christian Schilling"
    }, 
    {
      "family": "Marcelo Forets"
    }, 
    {
      "family": "Luca Ferranti"
    }, 
    {
      "family": "Sebasti\u00e1n Guadalupe"
    }, 
    {
      "family": "kpotomkin"
    }, 
    {
      "family": "Mauricio Vanzulli"
    }, 
    {
      "family": "ueliwechsler"
    }, 
    {
      "family": "Bruno Garate"
    }, 
    {
      "family": "tomerarnon"
    }, 
    {
      "family": "Daniel Freire Caporale"
    }, 
    {
      "family": "Ryan Birmingham"
    }, 
    {
      "family": "nikos-kekatos"
    }, 
    {
      "family": "Frederik Baymler Mathiesen"
    }, 
    {
      "family": "Lasse Peters"
    }, 
    {
      "family": "Aadesh Deshmukh"
    }, 
    {
      "family": "David Reguera"
    }, 
    {
      "family": "Gustavo Goretkin"
    }, 
    {
      "family": "Julia TagBot"
    }, 
    {
      "family": "Morten Piibeleht"
    }, 
    {
      "family": "Peng Yu"
    }, 
    {
      "family": "viryfrederic"
    }
  ], 
  "version": "v2.7.0", 
  "type": "article", 
  "id": "7746653"
}