Skip to content

Commit 3a65abd

Browse files
committed
Merge branch 'ralph/verifier-fixes'
# Conflicts: # configs/selected_benchmark_tasks.json # ralph-abc-checks/prd.json # ralph-abc-checks/progress.txt # ralph-metadata/prd.json # ralph-metadata/progress.txt # scripts/abc_audit.py
2 parents dbe9006 + ff70c7c commit 3a65abd

File tree

100 files changed

+323
-437
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

100 files changed

+323
-437
lines changed

benchmarks/csb_org_compliance/ccx-compliance-052/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-compliance-052"
1010
repo = "sg-evals/envoy--v1.31.2"
1111
category = "compliance-audit"
12-
language = "c++"
12+
language = "cpp"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_compliance"

benchmarks/csb_org_compliance/ccx-compliance-124/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-compliance-124"
1010
repo = "sg-evals/firefox--871325b8"
1111
category = "compliance-audit"
12-
language = "c++"
12+
language = "cpp"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_compliance"

benchmarks/csb_org_compliance/ccx-compliance-185/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-compliance-185"
1010
repo = "org/repo"
1111
category = "compliance-audit"
12-
language = "unknown"
12+
language = "go"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_compliance"

benchmarks/csb_org_compliance/ccx-compliance-186/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-compliance-186"
1010
repo = "org/repo"
1111
category = "compliance-audit"
12-
language = "unknown"
12+
language = "go"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_compliance"

benchmarks/csb_org_compliance/ccx-compliance-187/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-compliance-187"
1010
repo = "sg-evals/envoy--v1.31.2"
1111
category = "compliance-audit"
12-
language = "c++"
12+
language = "cpp"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_compliance"

benchmarks/csb_org_compliance/ccx-compliance-292/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-compliance-292"
1010
repo = "sg-evals/godot--4.3-stable"
1111
category = "compliance-audit"
12-
language = "c++"
12+
language = "cpp"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_compliance"

benchmarks/csb_org_crossorg/ccx-crossorg-062/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-crossorg-062"
1010
repo = "sg-evals/envoy--v1.31.2"
1111
category = "cross-org-discovery"
12-
language = "c++"
12+
language = "cpp"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_crossorg"

benchmarks/csb_org_crossorg/ccx-crossorg-121/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-crossorg-121"
1010
repo = "sg-evals/firefox--871325b8"
1111
category = "cross-org-discovery"
12-
language = "c++"
12+
language = "cpp"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_crossorg"

benchmarks/csb_org_crossorg/ccx-crossorg-208/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-crossorg-208"
1010
repo = "org/repo"
1111
category = "cross-org-discovery"
12-
language = "unknown"
12+
language = "go"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_crossorg"

benchmarks/csb_org_crossorg/ccx-crossorg-209/task.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ license = "Apache-2.0"
99
id = "CCX-crossorg-209"
1010
repo = "org/repo"
1111
category = "cross-org-discovery"
12-
language = "unknown"
12+
language = "go"
1313
difficulty = "hard"
1414
time_limit_sec = 900
1515
mcp_suite = "csb_org_crossorg"

0 commit comments

Comments
 (0)