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

1374 commits

Author SHA1 Message Date
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
Nikolaj Bjorner 9cdb875ba2 remove use of deprecated linux_distribution 2021-02-11 09:40:23 -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 16448104eb add new model event handler for incremental optimization 2021-02-05 17:11:04 -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 87cd3487e5 missing pattern dependency 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-29 16:44:47 -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 de9f215d12 generate Ml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 20:58:43 -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 d2abc9ed0f remove comment #4956 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-21 22:18:24 -08:00
pcarbonn 0eb04df834
fix #4956 (#4958) 2021-01-21 22:16:49 -08:00
Nikolaj Bjorner 987efced76 upgrade compilers 2021-01-21 14:25:08 -08:00
Nikolaj Bjorner 6f09ecb229 set version 2021-01-21 14:24:58 -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 517d907567 Update release.yml for Azure Pipelines 2021-01-20 12:06:47 -08:00
Nikolaj Bjorner af914f101e change to macos latest 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 10:19:00 -08:00
Nikolaj Bjorner 3f2349f0f7 update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 01:36:09 -08:00
Nikolaj Bjorner 80f429c3fb nuget 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 00:33:05 -08:00
Nikolaj Bjorner 3bc18ab0d1 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 23:54:10 -08:00
Nikolaj Bjorner ec5d08ac00 update release script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 23:24:17 -08:00
Nikolaj Bjorner 91c54f6c39 na 2021-01-12 14:03:55 -08:00
Nikolaj Bjorner 8abb644378 add xml file to the mix #4578 2021-01-12 00:23:02 -08:00
Nikita Leshenko d8eba2d72f
scripts/update_api: Replace Z3_LIBRARY_DIRS with Z3_LIB_DIRS (#4915) 
The error message that is printed when libz3.so can't be loaded contains
incorrect instruction to set `Z3_LIBRARY_DIRS` builtin. The correct variable
name is `Z3_LIB_DIRS`.

Signed-off-by: Nikita Leshenko <nikita@leshenko.net>
 2020-12-26 12:27:10 -08:00
Nikolaj Bjorner 6284f6fb03 Update nightly.yaml for Azure Pipelines 2020-12-22 14:45:15 -08:00
Nikolaj Bjorner 9d22cf4d4f add signing to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-22 13:13:04 -08:00
Nikolaj Bjorner 1c3b768ed0 update ubuntu version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-22 12:38:05 -08:00
Nikolaj Bjorner 0ed33af279 Update nightly.yaml for Azure Pipelines 2020-12-22 11:52:09 -08:00
Nikolaj Bjorner 8692fcdf3b Update nightly.yaml for Azure Pipelines 2020-12-22 10:47:33 -08:00
Nikolaj Bjorner d72f6c80df Update nightly.yaml for Azure Pipelines 2020-12-22 09:58:03 -08:00
Nikolaj Bjorner 010d578e8f sym file 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 18:08:23 -08:00
Nikolaj Bjorner 021bd8a994 sym file 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 17:08:38 -08:00
Nikolaj Bjorner f26662d079 na 2020-12-21 16:18:07 -08:00
Nikolaj Bjorner 3576b66e32 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 15:46:42 -08:00
Nikolaj Bjorner 0c94d6dab6 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 13:43:50 -08:00
Nikolaj Bjorner d67f9fb3f1 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 13:07:00 -08:00
Nikolaj Bjorner 835dd9414f nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 13:06:26 -08:00
Nikolaj Bjorner 3121c39a14 nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 13:04:00 -08:00
Nikolaj Bjorner d0fbeb11c9 Update nightly.yaml for Azure Pipelines 2020-12-21 11:57:00 -08:00
Nikolaj Bjorner a72856111b add destination to custom command 2020-12-21 11:42:04 -08:00
Nikolaj Bjorner a164087384 remove cheap-eqs option as there is already propagate_eqs 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 11:04:04 -08:00
Nikolaj Bjorner 5866d6ee3f custom 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 09:40:08 -08:00
Nikolaj Bjorner 84a7f3fcd0 quote? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-21 08:54:46 -08:00
Nikolaj Bjorner 5a20413d04 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 18:03:06 -08:00
Nikolaj Bjorner 715b1fd393 try snupkg parameter 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 17:54:11 -08:00
Nikolaj Bjorner 9e54cd63dc wrap remove/move 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 16:19:21 -08:00
Nikolaj Bjorner 2c313ddb7a wrap remove/move 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 15:46:26 -08:00
Nikolaj Bjorner d94244b236 shutil.remove -> os.remove 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 13:59:17 -08:00
Nikolaj Bjorner 726853de4e add stages 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 13:57:54 -08:00
Nikolaj Bjorner b108f5163d add stages 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 13:56:54 -08:00
Nikolaj Bjorner 6c42e8068c shutil.remove -> os.remove 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 13:47:19 -08:00
Nikolaj Bjorner 6b312a58a3 move/remove 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 12:06:46 -08:00
Nikolaj Bjorner 9e86c8761e move/remove 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 12:06:16 -08:00
Nikolaj Bjorner 8cb1dd29b5 mk-nuget-task where is the icon? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 11:16:47 -08:00
Nikolaj Bjorner dd05c683e0 update license to nuget 4.9 URL 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-20 10:34:24 -08:00
Nikolaj Bjorner 359d66b579 Update nightly.yaml for Azure Pipelines 2020-12-19 18:42:32 -08:00
Nikolaj Bjorner 76a4bf5fa0 Update nightly.yaml for Azure Pipelines 2020-12-19 18:42:10 -08:00
Nikolaj Bjorner 64a92f720b new nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-12-19 18:24:02 -08:00
Nikolaj Bjorner c100a18b37 use ReleaseVersion macro 2020-12-19 17:34:54 -08:00
Nikolaj Bjorner 3cd49d56c2 Update nightly.yaml for Azure Pipelines 2020-12-19 17:29:26 -08:00
Nikolaj Bjorner 5ce3c18fd0 Update nightly.yaml for Azure Pipelines 2020-12-19 16:59:07 -08:00
Nikolaj Bjorner e8b506a172 update for nuget 2020-12-19 16:56:25 -08:00
Nikolaj Bjorner 4039785bb6 initial steps for including symbols 
@ahelwer - seems several steps are involved for enableing snupkg. I will try to see if I can get there. The NugetCommand@2 specifies whether to include symbols, but I haven't found the portion where it allows the user to specify the name of the package (to snukpg instead of nupkg).
 2020-12-19 16:44:05 -08:00
Nikolaj Bjorner 72e57f550d update release similar to nightly 2020-11-11 17:38:07 -08:00
Nikolaj Bjorner fdd3e6c4c2 Update nightly.yaml for Azure Pipelines 2020-11-10 16:26:06 -08:00
Nikolaj Bjorner 8c60e7b8f4 Update nightly.yaml for Azure Pipelines 2020-11-10 16:24:56 -08:00
Nikolaj Bjorner 41cc037204 change manylinux to ubuntu-latest 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-11-10 16:17:35 -08:00
Nikolaj Bjorner 5ace60c812 enforce guard option 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-11-10 09:22:32 -08:00
Nikolaj Bjorner 672e392386 guard 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-11-10 08:01:29 -08:00
Pierre Bouvier 24321e311b
Add support of the SunOS platform (Solaris, OpenSolaris, OpenIndiana) (#4757) 
* Add support of the SunOS plateform (OpenSolaris, OpenIndiana) in scripts/mk_util.py

* Add missing casts for the SunOS plateform (OpenSolaris, OpenIndiana) for the pow function
 2020-10-27 11:39:21 -07:00
Nikolaj Bjorner 72d407a49f
mbp (#4741) 
* adding dt-solver

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

* dt

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

* move mbp to self-contained module

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

* files

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

* Create CMakeLists.txt

* dt

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

* rename to bool_var2expr to indicate type class

* mbp

* na

* add projection

* na

* na

* na

* na

* na

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

* deps

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

* testing arith/q

* na

* newline for model printing

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-10-21 15:48:40 -07:00
Nikolaj Bjorner 2f756da294
adding dt-solver (#4739) 
* adding dt-solver

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

* dt

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

* move mbp to self-contained module

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

* files

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

* Create CMakeLists.txt

* dt

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

* rename to bool_var2expr to indicate type class

* mbp

* na
 2020-10-18 15:28:21 -07:00
Nikolaj Bjorner 44679d8f5b
arith_solver (#4733) 
* porting arithmetic solver

* integrating arithmetic

* lp

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

* na

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

* na

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

* na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-10-16 10:49:46 -07:00
Nikolaj Bjorner fa58a36b9f
model refactor (#4723) 
* refactor model fixing

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

* missing cond macro

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

* file

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

* file

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

* add macros dependency

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

* deps and debug

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

* add dependency to normal forms

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

* na

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

* build issues

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

* compile

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

* fix leal regression

* complete model fixer

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

* fold back private functionality to model_finder

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

* avoid duplicate fixed callbacks

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-10-05 14:13:05 -07:00
Nikolaj Bjorner 79162b96f3 updated dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-10-01 08:11:55 -07:00
Nikolaj Bjorner cddb32a21d remove out 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-09-29 13:43:50 -07:00
Nikolaj Bjorner 4562c07ceb redo egraph 2020-09-29 13:43:49 -07:00
Nikolaj Bjorner 43db7df2b5
user solver (#4709) 
* user solver

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

* na

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

* na

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

* na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-09-24 04:55:34 -07:00
Nikolaj Bjorner d56dd1db7b update version' 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-09-11 04:37:35 -07:00