research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore: add PyPI badges

Browse source
This commit is contained in:
Anand Balakrishnan 2023-10-13 15:53:39 -07:00
parent 31845b61ea
commit 69daf21abe
2 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -1,6 +1,8 @@
Argus: Temporal Logic Monitoring Tool Argus: Temporal Logic Monitoring Tool
===================================== =====================================
[![PyPI version](https://badge.fury.io/py/argus-temporal-logic.svg)](https://badge.fury.io/py/argus-temporal-logic)
Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its
different semantics. different semantics.

3
docs/index.rst
View file

@ -1,6 +1,9 @@
Argus: Temporal Logic Monitoring Tool Argus: Temporal Logic Monitoring Tool
===================================== =====================================
.. image:: https://badge.fury.io/py/argus-temporal-logic.svg
:target: https://badge.fury.io/py/argus-temporal-logic
Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its
different semantics. different semantics.