Skip to content

Pull requests: sosy-lab/benchexec

New pull request New
16 Open 833 Closed
16 Open 833 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Migrate flake8 to ruff
#1291 opened Jul 26, 2026 by Rotzbua Contributor Loading…
1
1
new energy measurement approach using intel-rapl kernel module
#1283 opened Jul 23, 2026 by ronin145 Loading…
@ronin145
Martin
#1282 opened Jul 23, 2026 by martinpycha Loading…
build(deps): bump the npm_and_yarn group across 1 directory with 27 updates dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#1277 opened Jul 9, 2026 by dependabot Bot Loading…
Migrate to YAML input format for sending benchmarking data to BenchCloud BenchCloud related to the BenchCloud integration
#1270 opened Jun 22, 2026 by AkshayWarrier Loading…
42
Add an example script to convert XML results files to simple CSV
#1255 opened Feb 25, 2026 by dbeyer Member Loading…
Migrate some tools to BaseTool2 tool support
#1248 opened Jan 14, 2026 by ricffb Contributor Loading…
@ricffb
2
Fix #1215: Add periodic writes for task-set result files
#1247 opened Jan 12, 2026 by saurabh12nxf Contributor Loading…
1
Add PyInstaller-based bundling support for runexec
#1245 opened Jan 3, 2026 by saurabh12nxf Contributor Loading…
1
added features for runsolver/starexec compatibility
#1201 opened Oct 28, 2025 by geoffgeoffgeoff3 Loading…
16
Add tool-info module for LTSmin tool support
#1171 opened Jun 25, 2025 by dbeyer Member Loading…
@ricffb
7
Stream tool output through BenchExec for truncation prevention
#1170 opened Jun 20, 2025 by t0hsumi Contributor • Draft
11
Add error-output option
#1169 opened Jun 19, 2025 by t0hsumi Contributor Loading…
1
Implemented array-job-based SLURM integration, deprecated old version SLURM related to the (experimental) SLURM integration
#1130 opened Nov 23, 2024 by leventeBajczi Contributor • Draft
Unify table on the home page HTML table
#1065 opened Jul 25, 2024 by EshaanAgg Contributor Loading…
1
30
Draft: Update core assignment algorithm in benchexec/resources.py resource allocation related to allocation of resources like CPU cores and memory
#892 opened Jan 19, 2023 by CGall42 • Draft
2
@CGall42
179
ProTip! Updated in the last three days: updated:>2026-07-26.