sr.comp.cli

CLI tools for srcomp repositories

These details have not been verified by PyPI

Project description

A set of command line tools for accessing SR compstate repositories.

Install:

pip install git+https://github.com/PeterJCLaw/srcomp git+https://github.com/PeterJCLaw/srcomp-cli

Bash completions are also available, see the bash-completion file in the root of the repo.

Install:

pip install git+https://github.com/PeterJCLaw/srcomp
pip install -e .

Test: ./run-tests

These details have not been verified by PyPI

1.9.0

Sep 2, 2023

1.8.0

Aug 5, 2023

1.7.0

Feb 18, 2023

1.6.1

Feb 18, 2023

1.6.0

Jan 21, 2023

1.5.0

Jan 21, 2023

1.4.0

Apr 24, 2021

1.3.1

Apr 24, 2021

1.3.0

Mar 12, 2021

This version

1.2.0

Mar 12, 2021

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Uploaded Mar 12, 2021 Source

Uploaded Mar 12, 2021 Python 3

Hashes for sr.comp.cli-1.2.0.tar.gz
Algorithm	Hash digest
SHA256	`cfba5be351269ddfca3cf2f1ba4036cc1bee042990756343e0f80482a942b152`
MD5	`ef635ef0b60eaf4b5dac8d6fb6a4ffdd`
BLAKE2b-256	`610da133c57f7eff2efaf820961a584cc128a5d5648eb1b180d6648d9ae09518`

Hashes for sr.comp.cli-1.2.0-py3-none-any.whl
Algorithm	Hash digest
SHA256	`9650c3e15adb94b33ac806bfe62da30a70ca1cc1980dcf2a71d33c33d5dd827c`
MD5	`b649ed31ec1151d1686983a1e9fbf56c`
BLAKE2b-256	`9fe59e2ebfce28a0ab90886e951d9d5beb5f34f7538651e3e9bfab63455ce7a5`