Skip to content

Pull requests: sosy-lab/benchexec

New pull request New
9 Open 279 Closed
9 Open 279 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

Warn when no CPU-time limit is specified when submitting runs to BenchCloud BenchCloud related to the BenchCloud integration
#1254 opened Feb 23, 2026 by Po-Chun-Chien Member Loading…
7
Migrate some tools to BaseTool2 tool support
#1248 opened Jan 14, 2026 by ricffb Contributor Loading…
1
Fix #1215: Add periodic writes for task-set result files
#1247 opened Jan 12, 2026 by saurabh12nxf Contributor Loading…
1
Support value-dependent hyperlinks in table generator HTML table
#1246 opened Jan 9, 2026 by anaslari23 Loading…
1
7
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 TIM for LTSmin
#1171 opened Jun 25, 2025 by dbeyer Member Loading…
@ricffb
6
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
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.