Automatic Update

.gitignore

@@ -8,8 +8,7 @@ dist
 intrepyd.egg-info
 intrepid/deps
 libz3.dll
-_api.pyd
-_api.so
+intrepyd/_api.so
 venv
 htmlcov
 .coverage

Dockerfile

@@ -12,7 +12,7 @@ ENV PATH="/home/intrepid/.local/bin:${PATH}"
 ADD --chown=intrepid:intrepid intrepid intrepid
 ADD --chown=intrepid:intrepid intrepyd intrepyd
 ADD --chown=intrepid:intrepid app app
-COPY --chown=intrepid:intrepid requirements.txt Makefile setup.py setup.cfg VERSION intrepid.py docker/app.sh ./
+COPY --chown=intrepid:intrepid requirements.txt Makefile setup.py setup.cfg VERSION intrepid.py docker/app.sh .pylintrc ./
 
 RUN pip3 install -r requirements.txt && \
     mkdir -p libs/linux64/ && \

MANIFEST.in

@@ -1,5 +1,4 @@
 recursive-include libs *.dll *.pyd *.so
-graft benchmarks
 include LICENSE.md
 include CREDITS.md
 include VERSION

README.md

@@ -3,7 +3,11 @@ Intre**py**d is a **python** module that provides a simulator and a model checke
 a rich API, to allow the rapid prototyping of **formal methods** algorithms
 for the rigorous analysis of circuits, specifications, models.
 
+Intrepid may also be run as a containerized web service, which can be used interactively
+via a rich REST API.
+
 # Index
+1  [Presentation](#presentation)
 1. [Installation](#installation)
     1. [Officially Supported OSes](#officially-supported-oses)
     1. [Prerequisites](#prerequisites)
@@ -15,11 +19,17 @@ for the rigorous analysis of circuits, specifications, models.
     1. [Model Checking](#model-checking)
     1. [Benchmarking](#benchmarking)
     1. [Model Checking in the Cloud](#model-checking-in-the-cloud)
+    1. [API documentation](#api-documentation)
 1. [Resources](#resources)
     1. [Formal Methods Little Corner](#formal-methods-little-corner)
     1. [Bug reporting](#bug-reporting)
     1. [Feedback](#feedback)
 
+
+# Presentation
+
+A presentation video may be found [here](https://somepageonyoutube).
+
 # Installation
 Intrepyd is available from PYPI [here][2]. It can be installed simply with
 ```
@@ -60,6 +70,16 @@ TODO
 
 # Resources
 
+## Api Documentation
+
+The documentation for the python API can be found under [here](https://github.com/formalmethods/intrepid/tree/master/docs/intrepyd)
+
+The documentation for the REST API can be found [here](https://www.postman.com/robertobruttomesso/workspace/intrepid-model-checker-rest-api)
+
+## Docker Hub
+
+The docker hub page is available [here](https://hub.docker.com/r/robertobruttomesso/intrepid)
+
 ## Formal Methods Little Corner
 A collection of experiences using Intrepyd can be found [here](https://formalmethods.github.io).
 

VERSION

@@ -1 +1 @@
-0.10.1
+0.10.2