mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-04 16:44:07 +00:00
Code Activity
19575 commits 22 branches 48 tags 155 MiB
Commit graph

123 commits

Author SHA1 Message Date
Nikolaj Bjorner 96e323384f Update azure-pipelines.yml for Azure Pipelines 
set timeout to 90 minutes to see if this helps
 2025-02-17 21:42:15 -08:00
Nikolaj Bjorner f5db6bf92b install Julia for macos build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-03 12:48:15 -07:00
Nikolaj Bjorner ec14ef765e Update Ubuntu job name in Azure pipeline and add string variable creation in C API example 2024-09-23 17:42:39 +01:00
Nikolaj Bjorner 95d2e009ef Update OCaml jobs to use Ubuntu-latest in Azure Pipelines configuration 2024-09-23 17:25:44 +01:00
Nikolaj Bjorner ea93f073ad
Update azure-pipelines.yml 2024-08-28 15:41:18 -07:00
Nikolaj Bjorner cd89867320 add back auditwheel 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-28 14:10:21 -07:00
Nikolaj Bjorner 954dddbfb3 retain pip install build, remove audit 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-28 09:44:28 -07:00
Nikolaj Bjorner f6dbaee6ce adding to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-27 17:17:53 -07:00
Audrey Dutcher e1f1d677ff
New python packaging and tests (#7356) 
* Simplify/modernize python packaging

* Modify azure CI to utilize new python packaging
 2024-08-27 17:12:31 -07:00
Nikolaj Bjorner d6040ee5ab do not copy artifacts from CI pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-03 09:29:11 -07:00
Steven Moy e873664fe8
Downgrade arm cross compile toolchain to glibc 2.34 (#7153) 2024-03-06 20:14:06 -08:00
Steven Moy aad8cbdd9d
Add LinuxBuildsArm64 ci azure-pipelines for testing (#7152) 2024-03-06 13:21:17 -08:00
Nikolaj Bjorner e722dc7777 add status badge for windows build, remove windows build from Azure pipelines 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-20 16:30:08 -08:00
Nikolaj Bjorner 1b3929099b try to remove version spec 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-11 13:36:07 -08:00
Nikolaj Bjorner b239371265 try to remove version spec 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-11 13:30:42 -08:00
Nikolaj Bjorner aa4e1b34bb update Julia versions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-01-11 13:15:45 -08:00
Nikolaj Bjorner 4d86d73942 disable also tests for Windows x86, does not work with CI pipeline 2022-11-08 17:15:59 -08:00
Nikolaj Bjorner 823cd23ecc building x64 windows tests during ci is too slow, skipping tests 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-11-08 15:37:56 -08:00
jofleish 88f4664c65 Standardize ubutu-latest vmImage 2022-08-15 07:55:45 -07:00
Nikolaj Bjorner d745d03afd switch to vs 2022 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-10 08:55:43 +02:00
Nikolaj Bjorner da154b2f7e disable macos with ocaml as it fails too often 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-02 19:44:20 -08:00
Nikolaj Bjorner 76e8e57204 Update azure-pipelines.yml for Azure Pipelines 
remove flaky MacOS build tests
 2021-12-26 13:12:50 -08:00
Nikolaj Bjorner 78222f274c remove action that fails too often 2021-12-22 07:56:09 -08:00
Nikolaj Bjorner 036b38a97f ubuntu 16 is no more 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-02 14:55:38 -07:00
Nikolaj Bjorner d1fbf013eb
Update azure-pipelines.yml 
make it green
 2021-10-29 15:54:43 +02:00
Weng Shiwei 723b755ca7
Fix the command of install_name_tool -id. (#5622) 
* Fix the command of `install_name_tool -id`.

* Fix: don't call `ml_example.byte`.
 2021-10-27 11:10:45 +02:00
Nikolaj Bjorner 4cfc73779a update build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-10-25 16:11:43 +02:00
Nikolaj Bjorner 4b7c08d08d Update azure-pipelines.yml for Azure Pipelines 2021-10-25 11:30:56 +02:00
Nikolaj Bjorner 09bda6f21c Update azure-pipelines.yml for Azure Pipelines 2021-10-25 11:30:18 +02:00
Nikolaj Bjorner cd4481bca3 Update azure-pipelines.yml for Azure Pipelines 2021-10-25 11:29:20 +02:00
Weng Shiwei 066076557f
Add post-install testing for ocaml binding. (#5617) 
* Add path flags for cc loader (linux).

* Fix os linking and loading problem (maybe on #4840).

* Add post-install test of OCaml binding on ubuntu.

* Minor.

* Tentative CI for macos.
 2021-10-25 11:21:02 +02:00
Simon Cruanes 6302b864c8
tweak GC in OCaml bindings (#5600) 
* feat(api/ml): use custom block hints to guide the GC

this forces the GC to collect garbage when a few _large_ objects
(solver, etc.) are dead. The current code would let arbitrarily many
such objects die and not trigger a GC (which would have to come from
OCaml code instead)

* tuning

* try to use caml_alloc_custom_mem with fake sizes

* try to fix leak by explicitly finalizing OCaml context

* chore: use more recent ubuntu for azure CI

* remove finalizer causing segfault in example
 2021-10-14 12:46:14 -07:00
Nikolaj Bjorner 9122ec9cd6 comment out for now 2021-08-18 14:52:59 -07:00
Nikolaj Bjorner 93c3fc2bda try without semi-colon 2021-08-18 14:52:12 -07:00
Nikolaj Bjorner 2492278a4b Update test for java 2021-08-18 13:32:51 -07:00
Nikolaj Bjorner 810b9d003d move examples to python based build 2021-08-18 10:06:02 -07:00
Nikolaj Bjorner 55f5603714 remove coverage job from azure-pipeline as it is now in a self-contained action 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-31 17:17:00 -07:00
0152la 72d3074a44
Add Ubuntu CMake Coverage CI step (#5442) 
Adds an extra step to CI jobs which executes the Z3 test suite with
coverage enabled, and additionally executed coverage-enhancing tests
added to z3test.
 2021-07-29 11:29:49 -07:00
Nuno Lopes d6ce9cce95 fix clang warnings 2021-02-19 10:59:22 +00:00
Nikolaj Bjorner 7068ccdebd have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 16:01:42 -08:00
Nikolaj Bjorner 987efced76 upgrade compilers 2021-01-21 14:25:08 -08:00
Nikolaj Bjorner 80033a5527 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 23:21:47 -08:00
Nikolaj Bjorner 7c34a54e8a try different command-line 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 04:28:22 -08:00
Nikolaj Bjorner bb3faf527c Update azure-pipelines.yml for Azure Pipelines 2020-12-07 10:34:50 -08:00
Nikolaj Bjorner b3366bae5a remove test-examples from MacOS build, re-add maxsat example 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-19 13:52:44 -07:00
Nikolaj Bjorner 5fe0eeda63 disable regressions in ST mode 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-19 09:37:06 -07:00
Alexey Vishnyakov 6d96f96cc3
Fix single threaded azure pipeline (#4329) 2020-05-15 08:50:47 -07:00
Nikolaj Bjorner b81ab94db7
pipeline with release mode (#4206) 
* pipeline with release mode

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-04 12:30:03 -07:00
Nikolaj Bjorner 2a93ac3d81 fix #4200 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-03 18:10:26 -07:00
Nikolaj Bjorner 6f48c9ce51 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-03 17:27:26 -07:00