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 |
|