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

1488 commits

Author SHA1 Message Date
Nikolaj Bjorner d58de2f8e4 java build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-08 10:20:32 -07:00
Nikolaj Bjorner a71ce54c34 freeze functions with callbacks for ocaml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-08 10:04:50 -07:00
Nikolaj Bjorner cf4149d53e freeze functions with callbacks for ocaml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-08 10:02:41 -07:00
Nikolaj Bjorner 1ab7be67d0 java build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-08 09:58:43 -07:00
Nikolaj Bjorner a3b066f0b4 ml: VOIDP -> ptr 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-07 12:49:05 -07:00
Nikolaj Bjorner b633947762 don't log function pointers 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-07 12:41:51 -07:00
Nikolaj Bjorner 6d40e6f401 java 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-07 11:24:46 -07:00
Nikolaj Bjorner 14214c5a07 exposing user propagators over .Net 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-07 11:08:40 -07:00
Nikolaj Bjorner 3ae781039b inc version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-05 07:09:54 -07:00
Nikolaj Bjorner d420706eae enable pypi release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-04 17:16:30 -07:00
Nikolaj Bjorner 47459ca795 pre-release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-05-04 12:04:51 -07:00
Nikolaj Bjorner 0b453a4af5 set release version 2022-04-25 08:57:32 +01:00
Nikolaj Bjorner 33ffd464cf inc version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-24 12:17:07 +01:00
Nikolaj Bjorner 0529e88589 enable pypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-23 19:51:25 +01:00
Nikolaj Bjorner 8e509d34b5 remove test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-23 19:05:42 +01:00
Nikolaj Bjorner 8778f4d43f updated release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-23 17:59:23 +01:00
Nikolaj Bjorner e6e00d894f update nightly/release scripts to produce arm64 for what is tested 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-21 10:18:40 +01:00
Nikolaj Bjorner c996a66da0 separate pre-processing, add callback parameter to push/pop in python API 2022-04-11 17:05:59 +02:00
Nikolaj Bjorner fe834b9e4e update regex 2022-04-09 07:40:48 +02:00
Nikolaj Bjorner c98eda03f7 nightly osx arm64 wheel 2022-04-09 06:55:31 +02:00
Nikolaj Bjorner fbd35fb58d skip unit tests for arm 2022-04-08 16:55:39 +02:00
Nikolaj Bjorner 91ca02864c arm64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-08 14:59:22 +02:00
Nikolaj Bjorner 3821eb4134 fpflags 2022-04-08 14:47:38 +02:00
Nikolaj Bjorner 67434a3096 again 2022-04-08 14:40:55 +02:00
Nikolaj Bjorner 9533dbaf5c missing arg specifier 2022-04-08 14:34:52 +02:00
Nikolaj Bjorner 746a4161af more passing of parameters 2022-04-08 14:24:21 +02:00
Nikolaj Bjorner cb6aba2315 more arm 2022-04-08 14:07:56 +02:00
Nikolaj Bjorner 79553261d1 no uname on nt 2022-04-08 07:02:32 +02:00
Nikolaj Bjorner babac78c99 syntax error? 2022-04-08 06:59:07 +02:00
Nikolaj Bjorner 83d2aa85ec add arm64 build path 2022-04-08 06:35:25 +02:00
Nikolaj Bjorner 2e91d66888 Update mk_util.py 
use more meaningful name
 2022-04-08 06:28:36 +02:00
Nikolaj Bjorner c47bd1d01f add arm64 auto-detect 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-07 13:43:35 +02:00
Nikolaj Bjorner 8c2909f52b working on python make for arm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-07 13:36:23 +02:00
fleisherdev a863a91b13
Allow nightly builds to complete even if package signing fails - NOT published to nuget.org (#5951) 
Co-authored-by: jofleish <jofleish@microsoft.com>
 2022-04-07 08:19:21 +02:00
Nikolaj Bjorner 05ec77cb56 revert 2022-04-03 12:20:10 -07:00
Nikolaj Bjorner 321745fdb1 #5941 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-04-03 11:07:54 -07:00
Nikolaj Bjorner b0605a9d36 Update nightly.yaml 2022-03-27 18:29:55 -10:00
Nikolaj Bjorner cb1e16fd76 Update nightly.yaml for Azure Pipelines 2022-03-27 17:42:16 -10:00
Nikolaj Bjorner da00deead8 disable arm 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-27 17:40:03 -10:00
Nikolaj Bjorner ae07a53764 Update nightly.yaml for Azure Pipelines 2022-03-26 17:14:31 -10:00
Nikolaj Bjorner a9a843294e try add ARM path for MacOS 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-03-26 17:10:23 -10:00
jofleish 42da9760f9 Continue on error in GitHub tagging 2022-03-24 12:35:10 -04:00
jofleish a4af26e2f0 Shorten public feed to Z3Nightly 2022-03-23 16:25:34 -04:00
jofleish bb4a2b97b6 remove project from public/org level feed 2022-03-23 14:28:43 -04:00
jofleish b8c61ca278 continue on error in deploy 2022-03-23 12:31:35 -04:00
jofleish 3ffc3c2f97 continue on github tagging error 2022-03-23 12:30:52 -04:00
jofleish 1ee3de5409 temporary workaround for build 2022-03-23 12:25:31 -04:00
jofleish d9e93d5f7c revert to buildid in version number 2022-03-23 09:53:15 -04:00
jofleish 13a33a3966 fix authentication input 2022-03-23 08:51:20 -04:00
jofleish 16f47954c0 Use camel case service name 2022-03-23 08:50:14 -04:00