mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-15 08:56:40 +00:00
Code Activity
18751 commits 42 branches 51 tags 169 MiB
Commit graph

266 commits

Author SHA1 Message Date
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
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
d391043ffd only one arch at a time 2022-01-08 11:32:08 -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
5194aa186a nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-17 09:36:50 -08:00
Nikolaj Bjorner
1752055aa6 update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-11-16 09:49:16 -08:00
Nikolaj Bjorner
7ce88ec032 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:02:00 -07:00
Nikolaj Bjorner
dea7c92730 updated nightly 2021-06-04 10:54:32 -07:00
Nikolaj Bjorner
a59dcfdeab update python tag 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-20 15:23:39 -07:00
Nikolaj Bjorner
a166aca48e na 2021-04-08 15:48:07 -07:00
Nikolaj Bjorner
9ef7cf1e81 test old connection 2021-04-08 12:14:29 -07:00
Nikolaj Bjorner
6e1ac19c44 new name 2021-04-07 17:43:32 -07:00
Nikolaj Bjorner
85f0084e9c set options and change VS for nightly 2021-02-12 13:41:30 -08:00
Nikolaj Bjorner
80d297dca2 Try to move using windows latest instead of VS2017 2021-02-12 12:45:21 -08:00
Nikolaj Bjorner
d0c96abe30 log classificaiton 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 14:44:05 -08:00
Nikolaj Bjorner
98eae28fca try to update setup.py to libc naming 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 11:52:05 -08:00
Nikolaj Bjorner
b6294ab235 is glibc the new centos? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 11:17:33 -08:00
Nikolaj Bjorner
c03bd5e1c8 is glibc the new centos? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 11:17:04 -08:00
Nikolaj Bjorner
5d46ac0aca is glibc the new centos? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 11:14:39 -08:00
Nikolaj Bjorner
b7d1d03b08 try revert to u18 for centos zip 2021-02-11 10:36:48 -08:00
Nikolaj Bjorner
2301fce65e it helps to spell 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 09:44:03 -08:00
Nikolaj Bjorner
9883a0b983 downgrade to Ubuntu 18 for ocaml doc build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-02-11 09:43:22 -08:00
Don Syme
504b6559ab
[WIP] Suggestion: build .NET package for both x86 and x64 and rename (#5021) 
* build package for x86

* build package for x86

* build package for x86

Co-authored-by: Don Syme <donsyme@fastmail.com>
 2021-02-11 09:29:32 -08:00
Nikolaj Bjorner
c623e2db28 typo 2021-02-01 09:14:26 -08:00
Nikolaj Bjorner
60cc9d8182 set unicode by default 2021-01-31 11:32:33 -08:00
Nikolaj Bjorner
39bfdbd8c0 make the right diretory 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-30 05:01:16 -08:00
Nikolaj Bjorner
c99b805c14 mld 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 18:37:38 -08:00
Nikolaj Bjorner
34c34b68ee one more nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 16:40:59 -08:00
Nikolaj Bjorner
41a4d102f4 try ocamlfind in the loop 
Thanks to @c-cube
 2021-01-29 13:37:16 -08:00
Nikolaj Bjorner
b11203e2d2 try local env 2021-01-29 08:41:14 -08:00
Nikolaj Bjorner
1d7cabaf9a typo 2021-01-29 08:15:40 -08:00
Nikolaj Bjorner
a2d344c401 use build path 2021-01-29 07:32:04 -08:00
Nikolaj Bjorner
1f71aeded9 ocamldoc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 06:47:10 -08:00
Nikolaj Bjorner
5c9b205dfc run mk_api_doc in the same environment as make where opan config env is used 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 06:25:24 -08:00
Nikolaj Bjorner
8a229bf684 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 22:39:02 -08:00
Nikolaj Bjorner
c271a42a2e change zip command 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 21:01:08 -08:00
Nikolaj Bjorner
a526eea123 doc/api not doc/html 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 20:01:46 -08:00
Nikolaj Bjorner
1800b48258 zip doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 19:38:51 -08:00
Nikolaj Bjorner
c8aab1972a have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 16:05:41 -08:00
Nikolaj Bjorner
3d4a43f07b have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 16:04:08 -08: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
d08814a1fe have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 15:57:01 -08:00
Nikolaj Bjorner
fb48481860 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 12:51:48 -08:00
Nikolaj Bjorner
6284f6fb03 Update nightly.yaml for Azure Pipelines 2020-12-22 14:45:15 -08:00