Skip to content

Issues: sosy-lab/benchexec

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
25 Open 167 Closed
25 Open 167 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

progress bar support enhancement low priority usability
#1034 opened Apr 28, 2024 by gipsyh
3
Error counts in generated table summary tab enhancement GSoC Potential topic for Google Summer of Code HTML table
#974 opened Nov 22, 2023 by sim642
8
Output/UI should not rely on colors enhancement usability
#823 opened Apr 12, 2022 by cyrille-artho
1
Allow skipping runs for which <requiredfiles> does not match enhancement low priority usability
#785 opened Nov 12, 2021 by PhilippWendler
3
Add a title line for overlays when showing log files or source code in HTML tables enhancement GSoC Potential topic for Google Summer of Code HTML table
#745 opened Aug 30, 2021 by kfriedberger
4
User-Defined Extra Information about a Benchmark Run enhancement HTML table usability
#524 opened Nov 22, 2019 by dbeyer
13
Add substitution variable ${datafile_path}, similar to ${logfile_path} enhancement low priority
#472 opened Oct 31, 2019 by dbeyer
2
Hashes of all input that BenchExec gets enhancement low priority
#418 opened Jan 28, 2019 by dbeyer
2
Separate stdout and stderr in determine_result enhancement GSoC Potential topic for Google Summer of Code low priority
#408 opened Jan 15, 2019 by rkkautsar
3
Check input XML files against DTD enhancement low priority
#392 opened Dec 27, 2018 by dbeyer
9
Support GiB as unit enhancement low priority
#379 opened Nov 26, 2018 by danieldietsch
1
Use PID cgroup controller to limit number of tasks cgroups enhancement low priority
#235 opened Mar 21, 2017 by PhilippWendler
2
Add links to raw results to HTML tables enhancement GSoC Potential topic for Google Summer of Code HTML table
#233 opened Mar 8, 2017 by PhilippWendler
2
Measure usage of GPU resources enhancement
#229 opened Feb 21, 2017 by PhilippWendler
Make --commit work even if repository has local changes enhancement
#223 opened Feb 3, 2017 by PhilippWendler
Time stamp filter for log output enhancement GSoC Potential topic for Google Summer of Code low priority
#222 opened Jan 28, 2017 by dbeyer
9
Feature: support multiproperty verification enhancement
#217 opened Jan 12, 2017 by mutilin
22
Ability to re-execute benchmarks enhancement
#194 opened Dec 21, 2016 by PhilippWendler
3 tasks
Create separate cgroup for main BenchExec process cgroups enhancement
#173 opened Dec 9, 2016 by PhilippWendler
3
Filter for only differing and only equal rows in HTML tables enhancement HTML table
#126 opened Feb 9, 2016 by PhilippWendler
2
Derived columns in tables enhancement
#53 opened Oct 26, 2015 by PhilippWendler
Introduce Comparison Column to Output Tables enhancement help wanted
#25 opened Jul 10, 2015 by MontyCarter
2
Allow multiple executions of same command with runexec enhancement
#19 opened May 26, 2015 by PhilippWendler
1
Soft memory limit cgroups enhancement
#16 opened May 13, 2015 by PhilippWendler
1
Support benchmark sets with files with equal names enhancement
#8 opened Feb 24, 2015 by PhilippWendler
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.