There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.9

Philipp Wendler; Dirk Beyer


JSON-LD (schema.org) Export

{
  "description": "<ul>\n<li>Improved container mode to make it work more easily inside LXC containers.</li>\n<li>The scatter plot in HTML tables produced by table-generator can now show a linear-regression graph using ordinary least squares.\nA tooltip shows more information such as the regression coefficient.</li>\n<li>The library that is used for rendering the actual tables in the HTML tables got a major upgrade, which required some work.\nIf you notice any regression in table behavior, please file an <a href=\"https://github.com/sosy-lab/benchexec/issues/new\">issue</a>.</li>\n<li>One new tool-info module.</li>\n</ul>\n<p>For people using the git repository of BenchExec:\nImmediately after the release of BenchExec 3.9, the default branch of the repository will be renamed to <code>main</code>.\nPlease adjust forks and checkouts if required.</p>", 
  "license": "https://opensource.org/licenses/Apache-2.0", 
  "creator": [
    {
      "affiliation": "@sosy-lab, LMU Munich", 
      "@id": "https://orcid.org/0000-0002-5139-341X", 
      "@type": "Person", 
      "name": "Philipp Wendler"
    }, 
    {
      "affiliation": "@sosy-lab, LMU Munich", 
      "@id": "https://orcid.org/0000-0003-4832-7662", 
      "@type": "Person", 
      "name": "Dirk Beyer"
    }
  ], 
  "url": "https://zenodo.org/record/5534435", 
  "datePublished": "2021-09-28", 
  "version": "3.9", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.5534435", 
  "@id": "https://doi.org/10.5281/zenodo.5534435", 
  "@type": "SoftwareSourceCode", 
  "name": "sosy-lab/benchexec: Release 3.9"
}
1,864
114
views
downloads
All versions This version
Views 1,86417
Downloads 1143
Data volume 226.2 MB18.0 MB
Unique views 1,31316
Unique downloads 583

Share

Cite as