Skip to content

Release 3.9
Compare
Choose a tag to compare
@PhilippWendler PhilippWendler released this 28 Sep 14:13
3.9
This tag was signed with the committer’s verified signature.
PhilippWendler Philipp Wendler
GPG key ID: 62C0F78C31A9DE8C
Learn about vigilant mode.
0631758
  • Improved container mode to make it work more easily inside LXC containers.
  • The scatter plot in HTML tables produced by table-generator can now show a linear-regression graph using ordinary least squares.
    A tooltip shows more information such as the regression coefficient.
  • The library that is used for rendering the actual tables in the HTML tables got a major upgrade, which required some work.
    If you notice any regression in table behavior, please file an issue.
  • One new tool-info module.

For people using the git repository of BenchExec:
Immediately after the release of BenchExec 3.9, the default branch of the repository will be renamed to main.
Please adjust forks and checkouts if required.

Assets 8
Loading