ChangeLog

Changes added to each version of this project will be documented in this file

The format used here is a .rst version of the Keep a Changelog format, with Added/Changed/Fixed/Deprecated/Removed change categories.

This project adheres to Semantic Versioning.

Note

If you want to access a specific release, you can find:

• All releases on PyPI: https://pypi.org/project/fvm-formal/#history

• All releases on Gitlab: https://gitlab.com/fvmformal/fvm/-/tags

• All releases on the Github mirror: https://github.com/fvmformal/fvm/tags

• Documentation for all releases: https://fvm.us.es/doc/ (Use the ‘Other Versions’ selector at the bottom left and click on the version you want)

1.0.0rc3 - 18-06-2026

Changed:

Improve CI pipeline times by reusing docker images

Changed:

Improved ‘remove_from_path’ tests in test suite

Added:

Use nox inside CI to run the test suite for all python versions between 3.9 and 3.15

Added:

Use deptry inside CI to detect unused and undeclared dependencies

Added:

Added test to detect API-breaking changes, using griffe

Fixed:

Fix build of internal API doc

1.0.0rc2 - 24-02-2026

Added:

Add CHANGELOG.rst (this file)

Added:

Add minimalist copyright header to sources

Added:

Add NOTICE file

Fixed:

Improved documentation

Fixed:

Typo in docstring of std_vhdl_std

Fixed:

Add packaging as dependency

Removed:

Remove pathlib as dependency

1.0.0rc1 - 22-10-2025

• First public release