-
Notifications
You must be signed in to change notification settings - Fork 199
Pull requests: sosy-lab/benchexec
Author
Label
Milestones
Reviews
Assignee
Sort
Pull requests list
Update all validators to handle Validation tasks
tool support
#1093
opened Oct 24, 2024 by
marian-lingsch
•
Draft
Test-comp 2025: Update of script for Fizzer
tool support
#1088
opened Oct 19, 2024 by
trtikm
Loading…
Bump the npm_and_yarn group across 1 directory with 11 updates
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#1035
opened May 2, 2024 by
dependabot
bot
Loading…
Bump minimatch and recursive-readdir in /benchexec/tablegenerator/react-table
dependencies
Pull requests that update a dependency file
#897
opened Jan 30, 2023 by
dependabot
bot
Loading…
Draft: Update core assignment algorithm in benchexec/resources.py
resource allocation
related to allocation of resources like CPU cores and memory
ProTip!
Updated in the last three days: updated:>2024-11-13.