mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity
16297 commits 23 branches 48 tags 156 MiB
Commit graph

1435 commits

Author SHA1 Message Date
Nikolaj Bjorner a418678cd4 increment version number 2022-03-20 14:34:34 -07:00
Nikolaj Bjorner 1e8bae01e9 enable pypi in release pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-20 13:12:29 -07:00
Nikolaj Bjorner 9061ca58f1 call it macOSBuild 2022-03-19 15:25:50 -07:00
Nikolaj Bjorner b5b9c85c40 call it UbuntuBuild 2022-03-19 15:24:53 -07:00
Nikolaj Bjorner dfa65443e9 fix name for artifact 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-19 13:51:58 -07:00
Nikolaj Bjorner fd1f5cdd0f fix callback type declarations for propagators 2022-03-19 12:24:46 -07:00
Nikolaj Bjorner eaa2fb76ca update release pipeline with x86 Nuget 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-19 11:46:27 -07:00
Nikolaj Bjorner 81a5e56c89 publish to github 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-18 18:58:27 -07:00
Nikolaj Bjorner 39df8ee372 update win build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-18 17:39:58 -07:00
Nikolaj Bjorner 29e288367e pre-release pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-18 16:22:48 -07:00
Matt Thornton 4e0a2f5968
Dispose of intermediate Z3Objects created in dotnet api. (#5901) 
* Dispose of intermediate Z3Objects created in dotnet api.

* Set C# LangVersion to 8.0.

* Fix build errors.

* Fix warning about empty using statement.

* Fix Xor to only dispose of objects that it creates internally.
 2022-03-17 08:08:05 -07:00
Nikolaj Bjorner e7ded9cdbd update to 2022 2022-03-08 08:36:19 -08:00
Nuno Lopes 689e2d41de remove a bunch of unneeded memory allocations 2022-02-25 16:08:23 +00:00
Emma Jane Bonestell dc110f10a4
Update mk_util.py (#5864) 
Fix dynamic -lib opam builds on MSYS2
 2022-02-23 03:36:46 -08:00
Nikolaj Bjorner 456b8ee682 nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-21 04:18:05 -08:00
Nikolaj Bjorner c47e5aff60 multi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-20 14:03:13 -08:00
Nikolaj Bjorner cfe9846f0c multi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-20 13:59:42 -08:00
Nikolaj Bjorner b38b6daba3 add option to disable FPMATH 2022-02-20 15:33:13 +02:00
Nikolaj Bjorner 14ee02183c nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-20 13:43:11 +02:00
Nikolaj Bjorner e800269cee na 2022-02-20 13:05:53 +02:00
Nikolaj Bjorner c25d710958 try out arch arm64 on the mac 2022-02-20 10:31:29 +02:00
Nikolaj Bjorner 4f6fcf8ea7 fix #5814 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-02-08 10:20:19 +02:00
Nikolaj Bjorner b259f46f85 dependencies 2022-01-13 12:34:58 -08:00
Nikolaj Bjorner 08294d62e5 separate dependencies for qe_lite 2022-01-12 03:26:22 -08:00
Nikolaj Bjorner 9ac57fc510 update version number for next release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-09 17:11:08 -08:00
Nikolaj Bjorner 174889ad5e id 2022-01-08 16:28:12 -08:00
Nikolaj Bjorner afbfea8ce6 name the package 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-08 15:52:50 -08:00
Nikolaj Bjorner 36ed1ffac2 update name of artifact 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-08 15:13:46 -08:00
Nikolaj Bjorner 40761ebb0d bug in script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-08 12:10:16 -08:00
Nikolaj Bjorner c2aff52dd7 os-info back to common 2022-01-08 11:33:43 -08:00
Nikolaj Bjorner d391043ffd only one arch at a time 2022-01-08 11:32:08 -08:00
Nikolaj Bjorner 2c44454a17 self -> env 2022-01-08 10:58:36 -08:00
Nikolaj Bjorner d6ce05009b try separate x86 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-08 10:14:28 -08:00
Nikolaj Bjorner 5ec7a66a45 change class name, add comment 2022-01-04 22:02:14 -08:00
Nikolaj Bjorner 964a5cd761 lump java together 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-04 20:48:05 -08:00
Nikolaj Bjorner ef3dd32364 some cleanup 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-01-04 20:21:53 -08:00
Nikolaj Bjorner 7d311ac2ef use netstandard 2.0 per recommendations 
seems that now the recommended starting point is 2.0 and not lower.
 2021-12-25 13:44:49 -08:00
Nikolaj Bjorner ecf41972b1 increase minor version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-12-23 14:41:52 -08:00
Nikolaj Bjorner dc09d3c5ea fix typo 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-12-23 14:41:52 -08:00
Nikolaj Bjorner df8f9d7dcb Update release.yml for Azure Pipelines 2021-12-23 12:43:00 -08:00
Nikolaj Bjorner bd2a53c475 Update release.yml for Azure Pipelines 2021-12-23 11:48:08 -08:00
Nikolaj Bjorner 5d4420a763 Update release.yml for Azure Pipelines 2021-12-23 11:46:47 -08:00
Nikolaj Bjorner a00d68fe5a update release scripts and notes in master 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-12-23 11:43:38 -08:00
Anton Kochkov f11fcec082
Migrate from deprecated distutils.sysconfig in scripts (#5729) 2021-12-22 07:59:13 -08:00
Nikolaj Bjorner db62038845 Update nightly.yaml 
see if this gets us past the upload to GitHub issue
 2021-12-16 14:20:40 -08:00
Nikolaj Bjorner 4641a20f4f #5700 - Add download x86 as part of release NuGet 
x86 is part of nightly NuGet but was not added to the release pipeline.
 2021-12-16 13:50:31 -08:00
Nikolaj Bjorner 4587575649 if you read this commit message you probably are a programmer who has no life 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-18 20:25:47 -08:00
Nikolaj Bjorner 43a827c931 Update release.yml for Azure Pipelines 2021-11-18 16:05:22 -08:00
Nikolaj Bjorner 71d5d2486c Update release.yml for Azure Pipelines 2021-11-18 15:01:43 -08:00
Nikolaj Bjorner 72f28f06e4 Update release.yml for Azure Pipelines 2021-11-18 14:05:13 -08:00