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.0rc4 - 21-06-2026
- Changed:
Dashboards are now generated in fvm_dashboard output subdirectory
- Changed:
Pin examples/ipv6 version of cloned code
- Changed:
Small typo/expression changes throughout the documentation
- Changed:
Improved comments in the examples in
examples/andconcepts/- Changed:
Improved test suite (added one test and parameterized another)
- Fixed:
Better support for command-line arguments for testing
- Fixed:
Add missing spaces in generated parameters when defining cutpoints
- Fixed:
Fixed error in
prove.simcoverwhen using--guinorun
1.0.0rc3 - 18-06-2026
- 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
- Changed:
Improve CI pipeline times by reusing docker images
- Changed:
Improved ‘remove_from_path’ tests in test suite
- 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
NOTICEfile- Fixed:
Improved documentation
- Fixed:
Typo in docstring of
std_vhdl_std- Fixed:
Add
packagingas dependency- Removed:
Remove
pathlibas dependency
1.0.0rc1 - 22-10-2025
First public release