mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00
Code Activity
19510 commits 22 branches 48 tags 156 MiB
Commit graph

292 commits

Author SHA1 Message Date
Nikolaj Bjorner 8df45b442b try ubuntu 24 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-03-05 13:58:39 -08:00
Nikolaj Bjorner b47ec2074b try version 75 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-03-05 11:26:12 -08:00
Nikolaj Bjorner 3e7f4839d1 68 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-03-04 17:14:10 -08:00
Nikolaj Bjorner dedfe9019d remove downlevel setup in nightly.yaml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-03-04 07:38:28 -08:00
Nikolaj Bjorner f698dea2b0 downlevel setup 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-03-03 18:25:20 -08:00
Nikolaj Bjorner e6855bb299 disable setup tool install 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-03-03 16:01:45 -08:00
Nikolaj Bjorner fb6ec7d5e7 increase version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-02-18 15:00:26 -08:00
Nikolaj Bjorner d1575af5d2 Update nightly.yaml for Azure Pipelines 
update timeout to 90
 2025-02-17 21:45:10 -08:00
Nikolaj Bjorner 8ae24e2b38 update release version 2025-01-31 09:29:28 -08:00
Nikolaj Bjorner 7a0b58bcd5 increment minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-10 17:27:07 -07:00
Nikolaj Bjorner 6e3b99fb9e downgrade to macos13 in builds until fully supported by pypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-10 14:19:23 -07:00
Nikolaj Bjorner 5dc1b1acd4 remove hard-wired osx=11.0 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-09 13:01:27 -07:00
Nikolaj Bjorner 2ac6f8bb06 increment minor revision number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 07:28:20 -07:00
Nikolaj Bjorner c2b2626e9b remove --java option 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 07:27:15 -07:00
Nikolaj Bjorner 2123d38371 Update nightly.yaml for Azure Pipelines 2024-09-30 04:16:29 +01:00
Nikolaj Bjorner fc1c6b48ce try to build java on linux/arm nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 04:14:12 +01:00
Nikolaj Bjorner 9a8ff74924 update version number and release notes 2024-09-27 17:49:05 +01:00
Nikolaj Bjorner 649c36aa03 align nightly and release yamls 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 13:59:17 +01:00
Nikolaj Bjorner 82eb18674b remove ubuntu build 20 from nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-25 10:40:03 +01:00
Audrey Dutcher 0837e3b8e8
Fix nightly (#7365) 
- add some logic to setup.py to handle cross platform tagging correctly
  this adds a dependency on setuptools>=70
- rearrange the nightly CI to use these new builds correctly
 2024-09-03 16:11:42 -07:00
Nikolaj Bjorner 84b2c2185c Update nightly.yaml for Azure Pipelines 2024-08-29 17:10:36 -07:00
Nikolaj Bjorner dcdb7c4506 wheelhouse 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-29 11:34:47 -07:00
Nikolaj Bjorner 96417d4d47
Update nightly.yaml 
disable signing options
 2024-08-29 10:43:31 -07:00
Nikolaj Bjorner 59853d070b
Update nightly.yaml 
create build artifacts
 2024-08-29 10:41:03 -07:00
Nikolaj Bjorner c79477a939 update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-28 17:41:49 -07:00
Nikolaj Bjorner f6dbaee6ce adding to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-27 17:17:53 -07:00
Nikolaj Bjorner b5c3a6a2e0 skip signing 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-06-19 18:28:07 -07:00
Nikolaj Bjorner 4ca59c51cb update to macOS-latest 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-06-19 17:25:56 -07:00
Nikolaj Bjorner 2654d80aaf revert nightly to 2_28 manylinux 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-06-19 16:19:48 -07:00
Nikolaj Bjorner c0b4d02ae2 update containers for Python, first steps to address #7232 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-06-17 08:06:21 -07:00
Nikolaj Bjorner 648e05754c #7178 copy build tool chains used for manylinux arm64 into ubuntu builds 
alternatively, just remove ubuntuArm64 and use the many-linux builds for Arm64?
 2024-03-21 09:40:50 -07:00
Nikolaj Bjorner a4ecaf1ff5 increment version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-07 11:22:08 -08:00
Steven Moy e873664fe8
Downgrade arm cross compile toolchain to glibc 2.34 (#7153) 2024-03-06 20:14:06 -08:00
Nikolaj Bjorner 364da19122 remove test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-06 13:54:28 -08:00
Steven Moy aad8cbdd9d
Add LinuxBuildsArm64 ci azure-pipelines for testing (#7152) 2024-03-06 13:21:17 -08:00
Steven Moy 017367d7af
Handle cross compile within manylinux (#7150) 2024-03-06 08:27:04 -08:00
Nikolaj Bjorner 10687082f1
Revert "For many linux build, use aarch64 instead of arm64 (#7147)" (#7148) 
This reverts commit 7694bca5f4.
 2024-03-05 12:25:31 -08:00
Steven Moy 7694bca5f4
For many linux build, use aarch64 instead of arm64 (#7147) 2024-03-05 11:27:43 -08:00
Steven Moy 4050a43f2f
Add arm64 for linux python wheels to nightly (#7145) 2024-03-04 17:28:50 -08:00
John Fleisher 2880ea3971
convert formatting tabs to spaces (#7140) 
* Update nightly.yaml for Azure Pipelines

match nightly builds to release builds

* Fix nightly.yaml

* fix indent

* fix indent

* convert tabs to spaces for proper formatting in yaml
 2024-02-26 09:06:28 -08:00
Nikolaj Bjorner c67200ef72 update versions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-26 08:28:18 -08:00
John Fleisher 85425a6e08
Update nightly.yaml for Azure Pipelines (#7139) 
* Update nightly.yaml for Azure Pipelines

match nightly builds to release builds

* Fix nightly.yaml

* fix indent

* fix indent

* Update nightly.yaml

* Update nightly.yaml

* Update nightly.yaml for Azure Pipelines

* Update nightly.yaml for Azure Pipelines

---------

Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-24 02:13:35 -08:00
Nikolaj Bjorner 548b9d091f move libz3.so from lib to bin, remove lib from distribution 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-04 18:23:46 -08:00
Nikolaj Bjorner c9267055c2 update assembly names 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-03 16:14:03 -08:00
Nikolaj Bjorner b9bec1861a copy over dotnet files 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-03 16:08:31 -08:00
Nikolaj Bjorner 24ffef8ac5 fix typo 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-03 12:26:27 -08:00
Nikolaj Bjorner e295ac93af update build-win-signed-cmake 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-03 11:46:11 -08:00
Nikolaj Bjorner 736d6348e6 move windows builds to use mk_win_dist_cmake in nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-02 13:05:01 -08:00
Nikolaj Bjorner cfc8774dac move windows builds to use mk_win_dist_cmake in nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-02 13:04:09 -08:00
Nikolaj Bjorner 05d625bf0b fixing paths and re-add arm64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-02-02 11:07:17 -08:00