FSM Composer for open-autonomy framework
Project description
Open Autonomy Compose
A framework for working with FSM based ABCI applications
Install
pip3 install open-autonomy-compose
Generate FSM Specification
If you have an ABCI app composition and you want to generate a specification for the same run
compose fsm from-app PATH_TO_ABCI_APP
Perform consistency checks
To peform consistency check on an ABCI app run
compose check PATH_TO_ABCI_APP
Supported consistency checks
- SyncDB
- Pre/Post Conditions for round transitions
- Static analyser for checking if the required updates are being performed or not
Inspect the ABCI App
To inspect the ABCI app run
compose inspect PATH_TO_ABCI_APP
Running this will start an http server, open the URL for HTTP server and you can inspect the ABCI app in the browser
Development
-
Ensure your machine satisfies the following requirements:
-
Clone the repository:
git clone git@github.com:valory-xyz/open-autonomy.git
-
Create a development environment
poetry install
-
Launch poetry shell in start developing
poetry shell
Cite
If you are using our software in a publication, please consider to cite it with the following BibTex entry:
@misc{open-autonomy-compose,
Author = {Viraj Patel},
Title = {Open Autonomy Compose},
Year = {2023},
}
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for open_autonomy_compose-0.1.0rc1.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0ec397f6afa4e1506bc0d6d2f2faa570eb3f2f4c0fa6fea810a51a41600e55a3 |
|
MD5 | ae5ab87d677748a9dfe740a1e49735f2 |
|
BLAKE2b-256 | 01c5de200b80b365467d5041c05b972d1b9cf2ba8c4f319e8beed607de62bb61 |
Hashes for open_autonomy_compose-0.1.0rc1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2f73ce26bf6fb2a0dddfc7523ab30bd5b16561e466d7cbddaf75974b3652b95f |
|
MD5 | e0958c411d67f425e733d847c95b7aa1 |
|
BLAKE2b-256 | bcf659f3efa07971550096bfcad5c8cf98c9d1d939dc5acfd6e83c8a33c30059 |