sosy-lab/benchexec: Release 3.22

This will be the last release of BenchExec to support Python 3.7. Future versions will require Python 3.8, and in 2025 we are planning to drop support for Python 3.8 and 3.9. Please comment here if these plans would create problems for you. BenchExec is now available as an official package in the NixOS distribution. Thank you @lorenzleutgeb! BenchExec now handles new restrictions imposed by Ubuntu 24.04. Our Ubuntu package is recommended for installation because it automatically does everything for making BenchExec work out of the box. Users of other installation methods need to tweak their system config, and both our documentation and the error message of BenchExec now inform about what is necessary. Thank you @younghojan! BenchExec is now easier to use on systems without systemd but with cgroups v2. This is a common situation in containers, and BenchExec will now automatically use the /benchexec cgroup if it exists and has no running processes. This makes it unnecessary to manually start BenchExec in a fresh cgroup, but the /benchexec cgroup still needs to be created upfront. We give examples how to do this in our documentation. Several robustness improvements to BenchExec's container mode for non-standard environments. This covers for example containers with invalid cgroup mounts, systems with procfs mounts in several places, missing DBus, and Docker Desktop. Several fixes and improvements for the HTML tables produced by table-generator. Thank you @EshaanAgg and @JawHawk! Filters for text columns are now case insensitive. Plots now have a reset button for clearing configuration changes. Text filters now work even if special characters like _ or parentheses are used. Changes to the plot configuration no longer break the application if it was opened from paths with spaces and other special characters. The drop-down area for status filters now immediately shows the correct value when opening a table via a link with preconfigured filters. The filter for the left-most column is now correctly usable again after a task-id filter in the filter sidebar was set and cleared. Fix handling of tools that read from stdin when asked to print their version. In such a case, the tool (and thus BenchExec) would previously hang but now stdin of the tool is connected to /dev/null (just like during the actual execution) and the tool immediately gets EOF. Improvements to our documentation. We now have a quickstart tutorial for runexec and a guide specifically for executing BenchExec in containers. Thank you @incaseoftrouble! Improvements for several tool-info modules. Integration of BenchExec and the cluster management tool SLURM. It is not officially part of BenchExec and we do not provide any guarantees related to it, but our repository now contains an integration of BenchExec and SLURM that users of SLURM might find helpful. Thank you @leventeBajczi! Further contributions in this area are also welcome. We celebrate that this release sets a new record for contributions from non-maintainers and thank all contributors!这将是最后一个支持Python 3.7的BenchExec正式版本。后续版本将仅要求Python 3.8及以上版本，且我们计划于2025年终止对Python 3.8与3.9的支持。若此计划对您造成困扰，欢迎在此留言反馈。BenchExec现已作为官方软件包纳入NixOS发行版。感谢@lorenzleutgeb的贡献！ BenchExec现已适配Ubuntu 24.04新增的系统限制。推荐通过我们提供的Ubuntu软件包进行安装，该包可自动完成所有配置，确保BenchExec开箱即用。使用其他安装方式的用户需手动调整系统配置，目前BenchExec的官方文档与错误提示均已更新，明确告知所需的配置步骤。感谢@younghojan的支持！ 在未搭载systemd但启用cgroups v2的系统上，BenchExec的使用流程已得到简化。这类配置常见于容器环境，若/benchexec cgroup组存在且无运行中的进程，BenchExec将自动调用该组。此举无需用户手动在新建cgroup组中启动BenchExec，但仍需用户预先创建/benchexec cgroup组。官方文档中已提供相关操作示例。 针对非标准环境下的容器模式，BenchExec新增多项鲁棒性优化。优化场景包括存在无效cgroup挂载的容器、多位置挂载procfs的系统、缺失DBus的环境以及Docker Desktop。 table-generator生成的HTML表格现已完成多项修复与优化。感谢@EshaanAgg与@JawHawk的贡献！ 文本列过滤器现已支持大小写不敏感匹配。可视化图表现已新增重置按钮，用于清除所有配置修改。即使文本中包含下划线、括号等特殊字符，文本过滤器仍可正常工作。若通过包含空格或其他特殊字符的路径启动应用，修改图表配置将不再导致程序崩溃。通过携带预配置过滤器的链接打开表格时，状态过滤器的下拉菜单将立即显示正确的筛选值。在筛选侧边栏中设置并清除任务ID过滤器后，最左侧列的过滤器现已恢复正常可用状态。 修复了工具在打印版本信息时读取stdin的处理逻辑。此前此类场景下，工具（以及BenchExec）会陷入挂起状态；如今工具的stdin将被连接至/dev/null（与实际执行场景一致），使工具可立即收到EOF信号。 官方文档亦有多项优化。现已新增runexec快速入门教程，以及针对容器环境下运行BenchExec的专属指南。感谢@incaseoftrouble的贡献！ 多个tool-info模块得到优化。BenchExec与集群管理工具SLURM的集成方案现已收录至代码仓库。该集成并非BenchExec的官方组成部分，我们不提供相关保障，但当前仓库已包含此集成方案，可供SLURM用户参考使用。感谢@leventeBajczi的贡献！欢迎社区继续贡献此类集成方案。 本次版本创下了非维护者贡献数量的新纪录，我们谨向所有贡献者致以诚挚的感谢！