- minor improvements
- minor bugs fixed
- added MRR language
- minor bugfixes
- updated
README.md
to use Play with Docker - updated documentation
- added unfolding of the Petri nets semantics of RR
- updated model-checker
pymc
- various minor improvement
- minor bugs fixed
- updated documentation
- new interactive graph
- new logo
- added Desktop integration
- added script
bin/ecco.py
to startecco
easily
- various minor improvement
- description of components with Boolean formulas
- fixed installation procedure
- updated documentation
- completely reworked design
- improved example notebooks
- fixed Docker image
- published as a Docker image
- added setup.py
- added example notebooks in doc
- added LICENCE and README
- first public release