Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software
Data sources: ZENODO
addClaim

sosy-lab/benchexec: Release 3.35

Authors: Philipp Wendler; Dirk Beyer;

sosy-lab/benchexec: Release 3.35

Abstract

We are planning to remove support for cgroups v1 from BenchExec in April 2027. More information is in issue 1267, please respond there if this is problematic for you. When specifying hyperlinks in table definitions for table-generator, one can now use ${value} in addition to the existing variables in order to refer to the cell's value. Fix bug where directory modes for symlinks were silently ignored, now BenchExec produces an error if this is attempted. Several new and improved tool-info modules, in particular for SAT solvers. Most of the JavaScript code for our HTML tables was migrated to TypeScript. There should be no user-visible changes except for a few small bug fixes, but we are thankful to @Simon1375 for this valuable maintenance improvement!

Powered by OpenAIRE graph
Found an issue? Give us feedback