cls-python 0.1.4

Description:

clspython 0.1.4

CLS-Python








TL:DR
Implements the cls-framework in python, as presented and verified in the dissertation A type-theoretic framework for software component synthesis.

Free software: Apache Software License 2.0
Documentation: https://cls-python.github.io/cls-python/readme.html.



Features

Language Agnostic
Formally Verified
Handles Infinite Results
Flexible JSON Import/Export



Credits

Jan Bessai <jan.bessai@tu-dortmund.de>
Constantin Chaumet <constantin.chaumet@tu-dortmund.de>
Anne Meyer <anne2.meyer@tu-dortmund.de>
Daniel Scholtyssek <daniel.scholtyssek@tu-dortmund.de>




History

0.1.4 (2023-02-17)

Add project_urls to setup.py.
bump wheel version to mitigate security issue.



0.1.3 (2023-02-17)

Fix readme link to new gh-page.



0.1.2 (2023-02-17)

Update CI to include build and deploy of gh-page.
New badges for README.



0.1.1 (2023-02-17)

Update CI.
Exclude setup.cfg from trailing whitespace checking to work with bump2version.



0.1.0 (2023-02-16)

First release on PyPI.