Skip to content

Pull requests: sosy-lab/benchexec

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

Pull requests list

Update Btor2C's tool-info module tool support
#1049 opened May 29, 2024 by Po-Chun-Chien Loading…
Create a tool-info module for BtorMC enhancement tool support
#1045 opened May 27, 2024 by Po-Chun-Chien Loading…
@Po-Chun-Chien
10
Quickstart tutorial documentation
#1044 opened May 26, 2024 by incaseoftrouble Loading…
40
Draft: Add a Pytest-based Testsuite
#1043 opened May 26, 2024 by schroeding • Draft
@schroeding
5
fix: Add error message output to respond to the impact of Ubuntu 24.04 container related to container mode
#1042 opened May 24, 2024 by younghojan Loading…
1
19
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…
Draft: Improveme Documentation documentation
#1023 opened Mar 24, 2024 by incaseoftrouble • Draft
1
8
Add tool_pid argument to parent_setup_fn
#990 opened Feb 12, 2024 by charmoniumQ • Draft
18
Test suite optimization: Migrate tests to pytest
#917 opened Jun 30, 2023 by Naman-Priyadarshi • Draft
@Naman-Priyadarshi
29
Add tool-info module for VerCors tool support
#910 opened Apr 3, 2023 by MartinSpiessl Loading…
2
Add tool-info module for VeriFast tool support
#909 opened Apr 3, 2023 by MartinSpiessl Loading…
4
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
#892 opened Jan 19, 2023 by CGall42 • Draft
2
@CGall42
179
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.