cls-python 0.1.4

Python implementation of the CLS framework.

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 <[e-mail]>

• Constantin Chaumet <[e-mail]>

• Anne Meyer <[e-mail]>

• Daniel Scholtyssek <[e-mail]>

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.