z3/VERSION.txt at 02f195a380afe1c36885fae53361d6a691566377 - mirrors/z3 - Libre-Chip.org

mirrors/z3

mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +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