Search results

Idea: add a command to aid in dropping out teams

Status: Open.

#40 In PeterJCLaw/srcomp-cli;

· PeterJCLaw opened on May 24, 2025

Add a connectivity test command

Status: Open.

#30 In PeterJCLaw/srcomp-cli;

· PeterJCLaw opened on Mar 9, 2024

import-schedule needs an --ignore-teams to enable partial schedules

Status: Open.

#29 In PeterJCLaw/srcomp-cli;

· PeterJCLaw opened on Mar 7, 2024

Automatically install shell completions

enhancement

Status: Open.

#25 In PeterJCLaw/srcomp-cli;

· PeterJCLaw opened on Feb 18, 2023

Add tooling to support analysis commentators

Status: Open.

#20 In PeterJCLaw/srcomp-cli;

· PeterJCLaw opened on May 1, 2021

Implicit specification of the target compstate

Status: Open.

#6 In PeterJCLaw/srcomp-cli;

· PeterJCLaw opened on Jun 2, 2019