Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sosy-lab/benchexec issues and pull requests

#1129 - SVF-SVC prop output

Pull Request - State: closed - Opened by Lasagnenator 2 days ago

#1128 - Adjust how the command line is build, the function

Pull Request - State: closed - Opened by marian-lingsch 2 days ago
Labels: tool support

#1127 - Update cooperace to return datarace subproperty violation

Pull Request - State: closed - Opened by vesalvojdani 2 days ago
Labels: tool support

#1126 - Update concurrentwitness2test.py

Pull Request - State: closed - Opened by leventeBajczi 3 days ago
Labels: tool support

#1124 - Update the toolinfo of WitnessMap for version 0.0.2-dev

Pull Request - State: closed - Opened by marian-lingsch 3 days ago - 11 comments
Labels: tool support

#1123 - Update swat.py

Pull Request - State: closed - Opened by nils-loose 3 days ago
Labels: tool support

#1122 - Hornix: Strip tool name from the version output

Pull Request - State: closed - Opened by blishko 3 days ago
Labels: tool support

#1121 - Enable Deagle to output various FALSE types

Pull Request - State: closed - Opened by Misasasa 3 days ago
Labels: tool support

#1120 - The wrong variable was passed to filter the options

Pull Request - State: closed - Opened by marian-lingsch 4 days ago

#1119 - WitnessMap always returns the version directl

Pull Request - State: closed - Opened by marian-lingsch 4 days ago

#1118 - Hornix: Get only version number, without the name of the tool

Pull Request - State: closed - Opened by blishko 4 days ago - 1 comment
Labels: tool support

#1117 - Korn: fix argument processing

Pull Request - State: closed - Opened by gernst 4 days ago
Labels: tool support

#1116 - SV-COMP 2025: Update the processing of output of Hornix

Pull Request - State: closed - Opened by blishko 4 days ago
Labels: tool support

#1115 - Add required folder to Nacpa Tool Info

Pull Request - State: closed - Opened by ricffb 5 days ago
Labels: tool support

#1114 - Add support for task definitions in format version 2.1

Pull Request - State: closed - Opened by marian-lingsch 6 days ago - 1 comment

#1113 - update datarace verdict for esbmc

Pull Request - State: closed - Opened by Anthonysdu 6 days ago
Labels: tool support

#1112 - RacerF: Specify violated property (data race)

Pull Request - State: closed - Opened by TDacik 6 days ago
Labels: tool support

#1111 - More log messages during start of BenchExec

Issue - State: open - Opened by PhilippWendler 6 days ago
Labels: usability

#1110 - Update MetaVal++ to correctly pass the input file correctly in the command-line

Pull Request - State: closed - Opened by marian-lingsch 10 days ago
Labels: tool support

#1108 - Add the containerImage CLI arg to the BenchCloud Executor

Pull Request - State: closed - Opened by ricffb 11 days ago

#1107 - Ultimate: fix output for data race violations

Pull Request - State: closed - Opened by maul-esel 12 days ago
Labels: tool support

#1106 - Use result.RESULT_FALSE_DATARACE constant in dartagnan

Pull Request - State: closed - Opened by hernanponcedeleon 12 days ago
Labels: tool support

#1105 - Add constant for 'false(no-data-race)'

Pull Request - State: closed - Opened by dbeyer 12 days ago - 1 comment

#1104 - Modify the project_url in aise.py

Pull Request - State: closed - Opened by liar1007 13 days ago
Labels: tool support

#1103 - Consider start method for containerized tool-info module

Issue - State: open - Opened by PhilippWendler 13 days ago - 1 comment
Labels: container

#1102 - Update Ultimate tool info module

Pull Request - State: closed - Opened by maul-esel 18 days ago - 1 comment
Labels: tool support

#1101 - Fix Korn toolinfo module, include data_model

Pull Request - State: closed - Opened by gernst 19 days ago - 1 comment
Labels: tool support

#1100 - update tool-info module of aise for SVCOMP25

Pull Request - State: closed - Opened by liar1007 21 days ago
Labels: tool support

#1099 - Fix regression of runs marked as failed on OOM for cgroupsv2

Pull Request - State: closed - Opened by PhilippWendler 21 days ago
Labels: cgroups

#1097 - Fix race condition when creating a systemd scope for cgroups v2 usage

Pull Request - State: closed - Opened by PhilippWendler 21 days ago
Labels: cgroups

#1096 - AssertionError in _create_systemd_scope_for_us

Issue - State: closed - Opened by PhilippWendler 26 days ago
Labels: bug, cgroups

#1095 - Fix cgroup cleanup in tests

Issue - State: closed - Opened by PhilippWendler 28 days ago
Labels: cgroups

#1094 - SVF-SVC module rename.

Pull Request - State: closed - Opened by Lasagnenator about 1 month ago
Labels: tool support

#1093 - Update all validators to handle Validation tasks

Pull Request - State: closed - Opened by marian-lingsch about 1 month ago - 21 comments
Labels: tool support

#1092 - Inconsistent line endings in tool-info modules

Issue - State: closed - Opened by marian-lingsch about 1 month ago - 1 comment

#1091 - Theta tool-info module update

Pull Request - State: closed - Opened by leventeBajczi about 1 month ago - 2 comments
Labels: tool support

#1090 - Add toolinfo module for meta-verifier CoOpeRace

Pull Request - State: closed - Opened by vesalvojdani about 1 month ago - 1 comment
Labels: tool support

#1089 - SV-COMP 25: Add tool info for RacerF

Pull Request - State: closed - Opened by TDacik about 1 month ago
Labels: tool support

#1088 - Test-comp 2025: Update of script for Fizzer

Pull Request - State: closed - Opened by trtikm about 1 month ago - 4 comments
Labels: tool support

#1087 - Added SV-COMP 2025 marker.

Pull Request - State: closed - Opened by rmetta about 1 month ago - 2 comments
Labels: tool support

#1086 - Add toolinfo module for MetaVal++

Pull Request - State: closed - Opened by marian-lingsch about 1 month ago - 6 comments
Labels: tool support

#1085 - SV-COMP 25 Hornix tool

Pull Request - State: closed - Opened by jankofron about 1 month ago
Labels: tool support

#1084 - Add SVF tool info

Pull Request - State: closed - Opened by Lasagnenator about 1 month ago
Labels: tool support

#1083 - AProVE 2025

Pull Request - State: closed - Opened by nilslommen about 1 month ago
Labels: tool support

#1082 - Add the tool info module for nacpa

Pull Request - State: closed - Opened by ricffb about 1 month ago
Labels: tool support

#1081 - add Ultimate Referee, a witness validator

Pull Request - State: closed - Opened by danieldietsch about 1 month ago
Labels: tool support

#1080 - VeriAbs Updated for Pre-Runs.

Pull Request - State: closed - Opened by ManojAlladawar56 about 2 months ago
Labels: tool support

#1079 - adding tool-info for Sikraken

Pull Request - State: closed - Opened by echancrure about 2 months ago - 7 comments
Labels: tool support

#1078 - Handle validation tasks inside CPAchecker

Pull Request - State: closed - Opened by marian-lingsch 2 months ago - 12 comments

#1077 - Fix bogus warning message "subprocess is still running"

Pull Request - State: closed - Opened by schroeding 3 months ago

#1074 - Warn about --no-container because of evasion of limits and measurements

Issue - State: open - Opened by PhilippWendler 3 months ago
Labels: container

#1073 - Fix warnings about "subproccess is still running"

Issue - State: closed - Opened by PhilippWendler 3 months ago - 1 comment

#1072 - Extend LXCFS integration

Pull Request - State: closed - Opened by PhilippWendler 3 months ago - 2 comments
Labels: enhancement, container

#1071 - Add tool-info module for super_prove

Pull Request - State: closed - Opened by Po-Chun-Chien 4 months ago
Labels: enhancement, tool support

#1070 - Virtualized /proc/cpuinfo via LXCFS not working

Issue - State: closed - Opened by PhilippWendler 4 months ago - 2 comments
Labels: bug, container

#1069 - Use LXCFS to provide virtualized /sys as well

Issue - State: closed - Opened by PhilippWendler 4 months ago
Labels: container

#1068 - Fix typo in log message

Pull Request - State: closed - Opened by younghojan 4 months ago - 1 comment
Labels: container

#1066 - Add key tool info module

Pull Request - State: closed - Opened by ricffb 4 months ago
Labels: enhancement, tool support

#1065 - Unify table on the home page

Pull Request - State: open - Opened by EshaanAgg 4 months ago - 21 comments
Labels: HTML table

#1064 - TIMEOUT (true): both timeout and solved - race condition?

Issue - State: closed - Opened by ssardina 4 months ago - 2 comments
Labels: question

#1063 - Update project URL of CPV

Pull Request - State: closed - Opened by Po-Chun-Chien 5 months ago
Labels: tool support

#1062 - Overlay handling with fuse-overlayfs

Pull Request - State: closed - Opened by PhilippWendler 5 months ago - 60 comments
Labels: container

#1061 - Create a tool-info module for Pono

Pull Request - State: closed - Opened by Po-Chun-Chien 5 months ago - 2 comments
Labels: enhancement, tool support

#1060 - Perfom walltime measurements in nanoseconds

Issue - State: open - Opened by PhilippWendler 5 months ago - 2 comments
Labels: low priority

#1059 - Upgrade React Router to V6

Pull Request - State: closed - Opened by EshaanAgg 5 months ago - 11 comments
Labels: HTML table

#1058 - Replace `escape` with `encodeURIComponent`

Issue - State: open - Opened by EshaanAgg 5 months ago
Labels: HTML table

#1057 - Failed to configure container ... overlay mount for '/' failed

Issue - State: closed - Opened by igouy 5 months ago - 1 comment
Labels: container

#1056 - Add --architecture flag to theta

Pull Request - State: closed - Opened by leventeBajczi 5 months ago - 2 comments
Labels: tool support

#1055 - Update CPAchecker tool info module

Pull Request - State: closed - Opened by PhilippWendler 5 months ago - 1 comment
Labels: tool support

#1054 - Upgrade React Router to V6

Pull Request - State: closed - Opened by EshaanAgg 6 months ago - 26 comments
Labels: HTML table

#1053 - Command-line verbs for test_tool_info and check_cgroups

Issue - State: open - Opened by PhilippWendler 6 months ago - 1 comment

#1052 - URL manipulation in HTML tables fails for tables in paths with spaces

Issue - State: closed - Opened by PhilippWendler 6 months ago - 1 comment
Labels: bug, HTML table

#1051 - Update SeaHorn's tool-info module

Pull Request - State: closed - Opened by Po-Chun-Chien 6 months ago - 9 comments
Labels: tool support

#1050 - Docker base image

Issue - State: open - Opened by incaseoftrouble 6 months ago - 4 comments

#1049 - Update Btor2C's tool-info module

Pull Request - State: closed - Opened by Po-Chun-Chien 6 months ago
Labels: tool support

#1048 - Running inside an interactive container

Issue - State: closed - Opened by incaseoftrouble 6 months ago - 19 comments
Labels: cgroups

#1047 - Guard Cgroups against non-existent path

Issue - State: closed - Opened by incaseoftrouble 6 months ago - 2 comments
Labels: cgroups

#1046 - How to prepare cgroups v2 manually for BenchExec?

Issue - State: closed - Opened by incaseoftrouble 6 months ago - 6 comments
Labels: question, cgroups

#1045 - Create a tool-info module for BtorMC

Pull Request - State: closed - Opened by Po-Chun-Chien 6 months ago
Labels: enhancement, tool support

#1044 - Quickstart tutorial

Pull Request - State: closed - Opened by incaseoftrouble 6 months ago - 16 comments
Labels: documentation

#1043 - Use Pytest for test execution

Pull Request - State: closed - Opened by schroeding 6 months ago - 5 comments

#1042 - fix: Add error message output to respond to the impact of Ubuntu 24.04

Pull Request - State: closed - Opened by younghojan 6 months ago - 12 comments
Labels: container

#1041 - BenchExec not working after upgrading from Ubuntu 23.10 to 24.04

Issue - State: closed - Opened by younghojan 6 months ago - 6 comments
Labels: container

#1040 - Fixed bug on task filter clearance

Pull Request - State: closed - Opened by JawHawk 6 months ago - 2 comments
Labels: HTML table

#1039 - refactor: Use logging.INFO instead of "INFO" in setup_logging

Pull Request - State: closed - Opened by younghojan 6 months ago

#1038 - Revert "Update installation instructions for Debian due to #880"

Pull Request - State: closed - Opened by lorenzleutgeb 6 months ago
Labels: documentation

#1037 - Draft: Add a Pytest-based Testsuite

Pull Request - State: closed - Opened by schroeding 7 months ago - 2 comments

#1035 - Bump the npm_and_yarn group across 1 directory with 11 updates

Pull Request - State: open - Opened by dependabot[bot] 7 months ago
Labels: dependencies, javascript

#1034 - progress bar support

Issue - State: open - Opened by gipsyh 7 months ago - 3 comments
Labels: enhancement, low priority, usability

#1033 - ImportError: No module named 'XXXX'

Issue - State: closed - Opened by gipsyh 7 months ago - 5 comments
Labels: container

#1032 - Filters for left-most column remain disabled after clearing Task Filter

Issue - State: closed - Opened by JawHawk 7 months ago - 6 comments
Labels: bug, HTML table

#1031 - Documentation: Part I

Pull Request - State: closed - Opened by incaseoftrouble 8 months ago - 12 comments
Labels: documentation

#1030 - Added reset button to plots

Pull Request - State: closed - Opened by JawHawk 8 months ago - 1 comment
Labels: HTML table

#1029 - Documentation: Part I

Pull Request - State: closed - Opened by incaseoftrouble 8 months ago - 1 comment
Labels: documentation