Issues

• Idea: add a command to aid in dropping out teams

  PeterJCLaw/srcomp-cli#40 · Filter by author PeterJCLaw opened on May 24, 2025

• Add a connectivity test command

  PeterJCLaw/srcomp-cli#30 · Filter by author PeterJCLaw opened on Mar 9, 2024

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

  PeterJCLaw/srcomp-cli#29 · Filter by author PeterJCLaw opened on Mar 7, 2024
  1

• Automatically install shell completions

  enhancement
  PeterJCLaw/srcomp-cli#25 · Filter by author PeterJCLaw opened on Feb 18, 2023
  2

• Add tooling to support analysis commentators

  PeterJCLaw/srcomp-cli#20 · Filter by author PeterJCLaw opened on May 1, 2021
  3

• Implicit specification of the target compstate

  PeterJCLaw/srcomp-cli#6 · Filter by author PeterJCLaw opened on Jun 2, 2019