Merge pull request #4 from marcofavorito/develop

Release 0.2.0

.github/ISSUE_TEMPLATE/bug-report.md

@@ -0,0 +1,17 @@
+### Subject of the issue
+Describe your issue here.
+
+### Your environment
+- OS: [e.g. iOS]
+- Python version: [e.g. 3.7.2]
+- Package Version [e.g. 0.1.2]
+- Anything else you consider helpful.
+
+### Steps to reproduce
+Tell us how to reproduce this issue.
+
+### Expected behaviour
+Tell us what should happen
+
+### Actual behaviour
+Tell us what happens instead

.github/ISSUE_TEMPLATE/feature-request.md

@@ -0,0 +1,20 @@
+---
+name: Feature request
+about: Suggest an idea for this project
+title: ''
+labels: ''
+assignees: ''
+
+---
+
+**Is your feature request related to a problem? Please describe.**
+A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]
+
+**Describe the solution you'd like**
+A clear and concise description of what you want to happen.
+
+**Describe alternatives you've considered**
+A clear and concise description of any alternative solutions or features you've considered.
+
+**Additional context**
+Add any other context or screenshots about the feature request here.

.github/PULL_REQUEST_TEMPLATE.md

@@ -0,0 +1,29 @@
+## Proposed changes
+
+Describe the big picture of your changes here to communicate to the maintainers why we should accept this pull request.
+
+## Fixes
+
+If it fixes a bug or resolves a feature request, be sure to link to that issue.
+
+## Types of changes
+
+What types of changes does your code introduce to agents-tac?
+_Put an `x` in the boxes that apply_
+
+- [ ] Bugfix (non-breaking change which fixes an issue)
+- [ ] New feature (non-breaking change which adds functionality)
+- [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
+
+## Checklist
+
+_Put an `x` in the boxes that apply._
+
+- [ ] I have read the [CONTRIBUTING](../master/CONTRIBUTING.rst) doc
+- [ ] I am making a pull request against the `develop` branch (left side). Also you should start your branch off our `develop`.
+- [ ] Lint and unit tests pass locally with my changes
+- [ ] I have added tests that prove my fix is effective or that my feature works
+
+## Further comments
+
+If this is a relatively large or complex change, kick off the discussion by explaining why you chose the solution you did and what alternatives you considered, etc...

.github/RELEASE_PR.md

@@ -0,0 +1,29 @@
+## Release summary
+
+Version number: [e.g. 1.0.1]
+
+## Release details
+
+Describe in short the main changes with the new release.
+
+## Checklist
+
+_Put an `x` in the boxes that apply._
+
+- [ ] I have read the [CONTRIBUTING](../master/CONTRIBUTING.rst) doc
+- [ ] I am making a pull request against the `master` branch (left side), from `develop`
+- [ ] I've updated the dependencies versions in `Pipfile` to the latest, wherever is possible.
+- [ ] Lint and unit tests pass locally
+- [ ] I built the documentation and updated it with the latest changes
+- [ ] I've added an item in `HISTORY.md` for this release
+- [ ] I bumped the version number in the `__version__.py` file.
+- [ ] I published the latest version on TestPyPI and checked that the following command work:
+       ```pip install flloat==<version-number> --index-url https://test.pypi.org/simple --force --no-cache-dir --no-deps```
+- [ ] After merging the PR, I'll publish the build also on PyPI. Then, I'll make sure the following
+      command will work:
+      ```pip install flloat==<version_number> --force --no-cache-dir --no-deps```  
+
+
+## Further comments
+
+Write here any other comment about the release, if any.

.travis.yml

@@ -1,24 +1,23 @@
 dist: xenial   # required for Python >= 3.7
 language: python
-python:
-  - "3.7"
-  - "3.6"
-  - "3.5"
-install:
-  - pip install pipenv
-  - pipenv install --dev
+install: pip install -U tox-travis coveralls
+
+matrix:
+  include:
+    - python: 3.7
+      env: TOXENV=py37
+    - python: 3.7
+      env: TOXENV=flake8
+#    - python: 3.7
+#      env: TOXENV=mypy
+    - python: 3.7
+      env: TOXENV=docs
+
+    - python: 3.6
+      env: TOXENV=py36
+
 script:
   - tox
-deploy:
-  provider: pypi
-  distributions: sdist bdist_wheel
-  user: A library for generating automata from LTL and LDL formulas with finite-trace
-    semantics.
-  password:
-    secure: uGSJn+VDyktOnEJqWlfkMOIpmR+I4TYUId0o0xJ8aXhNqduxOEJVoFDvHcBxhkaw7+5Sn6UuzDh56AaJ50WzN3fJG42r+jkcvTF/8zhRqxl6fO8EvjIaPto1xxS0a4m3BrhsGORiPHAUKfikvaKtkHvF9SmdEUUxgQ+Y9//f/9Zv+W/6IBJi1e/aCwbphVJYblwylx2oTIkNDLm3xbb5HBGrnkCM/tlv0uAMCTX5KkvZXnRrEr1UXKIXfdquZUeTrYlqZot8OwGsqOI5bb0Og/WTbNryZdS4VZKyX9LJwg1igFdxkZ0OIMQE0+L+CDAfWPZFx7hcdFKaxUIA781ImBmvgsXMtM7cmyC1x+hMz6jnFqytS0J1bWpaRetBTLPJ8ehL1Na7f9RJuqmLPucEK/g0aF8cCu/VW/ix22od0f2fRv+xpWMS5C+49WqCRwc5SiMcX+P2yU4HvW+8Ew2EmIxk/4Aoq+ae/hj1yL2aNkLqJSyPN00L6bGxh4KsgIqynLfmrLgj8xbCRPDAg6hwqL10VwdtHX/BXC0CP28NOaLgWhJNboXfh8aZjb7fArKUsBNK7+u29TcHjsC98NxuSt0BJL2r3FFZ2dK8wGjyvB9A3uKdBllIraUcT4Ry7jXHta5IPWtHYEG+85MyJJUT3er4uzxPggPCyypC6zTxHbk=
-  on:
-    tags: true
-    repo: MarcoFavorito/flloat
-    python: 3.7
+
 after_success:
-  - codecov
+  - coveralls

AUTHORS.md

@@ -0,0 +1,9 @@
+# Credits
+
+## Maintainer
+
+* [Marco Favorito](https://github.com/marcofavorito) <[marco.favorito@gmail.com](mailto:marco.favorito@gmail.com)>
+
+## Contributors
+
+None yet. [Why not be the first](./contributing.md)? 

CONTRIBUTING.md

@@ -0,0 +1,10 @@
+# Contributing
+
+Contributions are welcome, and they are greatly appreciated! Every little bit helps, and credit will always be given.
+
+If you need support, want to report/fix a bug, ask for/implement features, you can check the
+[Issues page](https://github.com/marcofavorito/flloat/issues)
+or [submit a Pull request](https://github.com/marcofavorito/flloat/pulls).
+
+For other kinds of feedback, you can contact one of the
+[authors](./authors.md) by email.

HISTORY.rst → HISTORY.md

@@ -1,21 +1,21 @@
-=======
-History
-=======
+# History
+
+## 0.1.0 (2018-04-11)
 
-0.1.0 (2018-04-11)
-------------------
 
 * First release on PyPI.
 
-0.1.1 (2018-04-15)
-------------------
+## 0.1.1 (2018-04-15)
 
 * Syntax, semantics and parsing support for the following formal languages:
     * Propositional Logic;
     * Linear Dynamic Logic on Finite Traces;
 * Conversion from LDLf formula to NFA, DFA and DFA on-the-fly
 
-0.1.3 (2018-04-20)
-------------------
+## 0.1.3 (2018-04-20)
 
 * Support for LTLf formulas and conversion into NFA, DFA and DFA on-the-fly
+
+## 0.2.0 (2019-10-06)
+
+* Main refactoring of the package. No new features.