Updates

.github/RELEASE_PR.md

@@ -18,10 +18,10 @@ _Put an `x` in the boxes that apply._
 - [ ] 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 fond4ltlfpltlf==<version-number> --index-url https://testpypi.org/simple --force --no-cache-dir --no-deps```
+       ```pip install fond4ltlf==<version-number> --index-url https://testpypi.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 fond4ltlfpltlf==<version_number> --force --no-cache-dir --no-deps```  
+      ```pip install fond4ltlf==<version_number> --force --no-cache-dir --no-deps```  
 
 
 ## Further comments

.github/workflows/docs.yml

@@ -3,7 +3,6 @@ name: docs
 on:
   push:
     branches:
-      - develop
       - master
   pull_request:
 
@@ -14,7 +13,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        python-version: [3.7]
+        python-version: ["3.8", "3.10"]
 
     timeout-minutes: 30
 

.github/workflows/lint.yml

@@ -3,7 +3,6 @@ name: lint
 on:
   push:
     branches:
-      - develop
       - master
   pull_request:
 
@@ -14,7 +13,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        python-version: [3.7]
+        python-version: ["3.8", "3.10"]
 
     timeout-minutes: 30
 
@@ -27,10 +26,7 @@ jobs:
       run:  pip install tox
     - name: Code style check
       run: |
-        tox -e black-check
-        tox -e isort-check
-        tox -e flake8
-    - name: Static type check
-      run: tox -e mypy
+        tox -e ruff-format
+        tox -e ruff-check
     - name: Check copyright
       run: tox -e check-copyright

.github/workflows/test.yml

@@ -3,7 +3,6 @@ name: test
 on:
   push:
     branches:
-      - develop
       - master
   pull_request:
 
@@ -14,7 +13,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        python-version: [3.6, 3.7, 3.8]
+        python-version: ["3.8", "3.9", "3.10"]
 
     timeout-minutes: 30
 
@@ -31,12 +30,10 @@ jobs:
       run: |
         tox -e py${{ matrix.python-version }}
     - name: Upload coverage to Codecov
-      uses: codecov/codecov-action@v1
+      uses: codecov/codecov-action@v4
       with:
-        token: ${{ secrets.CODECOV_TOKEN }}
-        file: ./coverage.xml
-        flags: unittests
-        name: codecov-umbrella
-        fail_ci_if_error: true
+        verbose: true
+      env:
+        CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
     - name: Generate Documentation
       run: tox -e docs

.gitignore

@@ -37,6 +37,9 @@ Temporary Items
 .idea/**/dictionaries
 .idea/**/shelf
 
+#VScode
+.vscode
+
 # Sensitive or high-churn files
 .idea/**/dataSources/
 .idea/**/dataSources.ids

.pre-commit-config.yaml

@@ -0,0 +1,8 @@
+repos:
+  - repo: https://github.com/astral-sh/ruff-pre-commit
+    rev: v0.7.1
+    hooks:
+      - id: ruff
+        args: [ --fix ]
+      - id: ruff-format
+

AUTHORS.md

@@ -2,7 +2,7 @@
 
 ## Maintainer
 
-- [Francesco Fuggitti](https://github.com/francescofuggitti) <[fuggitti@diag.uniroma1.it](mailto:fuggitti@diag.uniroma1.it)>
+- [Francesco Fuggitti](https://github.com/francescofuggitti) <[francesco.fuggitti@gmail.com](mailto:francescco.fuggitti@gmail.com)>
 
 ## Contributors
 

CONTRIBUTING.md

@@ -3,8 +3,8 @@
 Contributions are welcome, and they are greatly appreciated!
 
 If you need support, want to report/fix a bug, ask for/implement features, you can check the
-[Issues page](https://github.com/francescofuggitti/fond4ltlfpltlf/issues)
-or [submit a Pull request](https://github.com/francescofuggitti/fond4ltlfpltlf/pulls).
+[Issues page](https://github.com/francescofuggitti/fond4ltlf/issues)
+or [submit a Pull request](https://github.com/francescofuggitti/fond4ltlf/pulls).
 
 For any other kinds of feedback, you can contact one of the
 [authors](./authors.md) by email.

Dockerfile

@@ -1,4 +1,4 @@
-FROM ubuntu:18.04
+FROM ubuntu:22.04
 
 RUN apt-get update && apt-get install --no-install-recommends -y \
     ca-certificates \
@@ -7,13 +7,12 @@ RUN apt-get update && apt-get install --no-install-recommends -y \
     git             \
     libgmp3-dev     \
     make            \
-    python3         \
     wget            \
     time            \
     zlib1g-dev
 
 # Set up some environment variables.
-ENV CXX g++
+ENV CXX=g++
 
 RUN apt-get install -y mona && \
     apt-get install -y libssl-dev && \
@@ -25,8 +24,8 @@ RUN git clone https://github.com/whitemech/FOND4LTLf.git && \
     cd FOND4LTLf && \
     pip install .
 
-ENV DEBIAN_FRONTEND noninteractive
-ENV LC_ALL C.UTF-8
-ENV LANG C.UTF-8
+ENV DEBIAN_FRONTEND=noninteractive
+ENV LC_ALL=C.UTF-8
+ENV LANG=C.UTF-8
 
-CMD ["fond4ltlfpltlf"]
+CMD ["fond4ltlf"]

HISTORY.md

@@ -12,8 +12,8 @@
 - introduce testing
 - introduce Continuous Integration
 - update `ltlf2dfa` to version 1.0.1
-- update online version at [fond4ltlfpltlf](http://fond4ltlfpltlf.diag.uniroma1.it)
+- update online version at [fond4ltlf](http://fond4ltlf.diag.uniroma1.it)
 
 ## 0.0.1 (2020-03-20)
-- online version at [fond4ltlfpltlf](http://fond4ltlfpltlf.diag.uniroma1.it)
+- online version at [fond4ltlf](http://fond4ltlf.diag.uniroma1.it)
 - update `ltlf2dfa` version