Nikolaj Bjorner
fc792b645c
update version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-18 21:02:32 -08:00
Nikolaj Bjorner
fa5f5c5824
update version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-18 21:02:27 -08:00
Nikolaj Bjorner
36342f9821
increment minor version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-18 21:02:24 -08:00
Nikolaj Bjorner
5b54e4197e
bump version to prepare for release with wheels and npm
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-18 21:02:23 -08:00
Nikolaj Bjorner
b8cfce92a8
update release
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-18 21:02:16 -08:00
Nikolaj Bjorner
a7dbe1698b
update to next version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-18 21:02:16 -08:00
Nikolaj Bjorner
d24561005d
update version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-18 20:58:08 -08:00
Nikolaj Bjorner
ccaa346a46
update version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-18 20:58:07 -08:00
Nikolaj Bjorner
a4d73e3c03
bump version for release
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2025-10-30 02:57:54 -07:00
Copilot
300e0ae69e
Move VERSION.txt to scripts directory and update all references ( #7811 )
...
* Initial plan
* Move VERSION.txt to scripts/ and update all references
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-24 16:36:05 -07: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
Nikolaj Bjorner
4542fc0b3b
update version number to 4.15.4
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2025-08-17 17:09:56 -07:00
Nikolaj Bjorner
2f2289eaff
update minor version number
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2025-06-25 09:14:13 -07:00
Nikolaj Bjorner
e1661759db
update version to 4.15.2
2025-06-10 15:55:54 -07:00
Nikhil Idiculla
bcedb66911
Expose z3_static target for Bazel build ( #7660 )
2025-06-03 11:51:18 +02:00
Steffen Smolka
0b26f7e0ee
Add support for building Z3 using Bazel. ( #7646 )
...
Signed-off-by: Steffen Smolka <smolkaj@google.com>
2025-05-15 08:47:29 -07:00
