z3/VERSION.txt at 21e63dba8d839d942915d2929a143506fe2973c3 - mirrors/z3 - Libre-Chip.org

mirrors/z3

mirror of https://github.com/Z3Prover/z3 synced 2025-08-27 13:39:49 +00:00

Copilot 265265a68c

Create centralized version management with VERSION.txt (#7802 )

* Initial plan

* Create VERSION.txt and update CMakeLists.txt to read version from file

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Complete centralized version management system

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Fix version update script and finalize implementation

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Create centralized version management with VERSION.txt

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

2025-08-20 09:12:33 -07:00

1 line

9 B

Text

Raw Blame History

4.15.4.0