Linter for FOdot used in the IDP-Z3 system
Project description
README for FOLint
FOLint is a linting tool for FO(·) which looks for errors and helps enforcing a coding standard.
Documentation about FO(·) (https://fo-dot.readthedocs.io/en/latest/FO-dot.html)
Source code FOLint (https://github.com/larsver/folint)
Installation
pip install folint
FOLint in editors
Use of folint in editors, see folder folint-in-editors (https://github.com/larsver/folint)).
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
folint-0.0.2.tar.gz
(57.9 kB
view details)
Built Distribution
folint-0.0.2-py3-none-any.whl
(67.3 kB
view details)
File details
Details for the file folint-0.0.2.tar.gz.
File metadata
- Download URL: folint-0.0.2.tar.gz
- Upload date:
- Size: 57.9 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/34.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.1 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.9.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 167d12000a77abe9adf5939ffd76313f047d4d53bfabb2cf2f42e7a92617712a |
|
| MD5 | 87ef567f9373e9ad6dcc787b01ef7b48 |
|
| BLAKE2b-256 | c532511ca7ecca2c4124896c8fbdcad1d48823c924161bab44a91b49b6e02520 |
File details
Details for the file folint-0.0.2-py3-none-any.whl.
File metadata
- Download URL: folint-0.0.2-py3-none-any.whl
- Upload date:
- Size: 67.3 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/34.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.1 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.9.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | bff636d532a27291529a1b3da937d18ed68c9bc98b6f95dc86627e5f34192934 |
|
| MD5 | cda95cb8aa37623debe5c8e5f436ced6 |
|
| BLAKE2b-256 | c601abb4bbf277fe5395ba02f9ef50127490f8292c5af533f12f9885bc2bf269 |
