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

996 commits

Author SHA1 Message Date
Nikolaj Bjorner 3297ab181e Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:45:18 +02:00
Nikolaj Bjorner 5ea5cf4937 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:42:35 +02:00
Nikolaj Bjorner 35e2e6c82c Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:37:30 +02:00
Nikolaj Bjorner 5ae1de314d Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:11:16 +02:00
Nikolaj Bjorner f2098dc863 vs pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 15:08:03 -07:00
Nikolaj Bjorner 53514281d2 vs2017 pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 14:56:33 -07:00
Nikolaj Bjorner d19eae1876 pipe v1 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 12:41:43 -07:00
Nikolaj Bjorner 11d7fca4d6 integrating another update by jfc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 08:15:11 -07:00
Nikolaj Bjorner 1155a29c6e spelling 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-02 17:26:49 -07:00
Nikolaj Bjorner 51b75a132c signed char -> int, update mk_util to catch warnings on fptest, thanks to jfc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-02 17:22:36 -07:00
Nikolaj Bjorner 60e4cad7f1 increase minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-31 17:01:42 -07:00
Nikolaj Bjorner 4d30639fd7 merge dotnetcore into dotnet 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-30 13:01:48 -07:00
Nikolaj Bjorner 6604aab1a2 remove dotnet as a build option 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-29 17:08:45 -07:00
Nikolaj Bjorner 30411b319a update build scripts 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-29 17:02:45 -07:00
Louis Gesbert 5c0ad963c1 Fix z3 static link options 2019-05-23 09:49:32 +02:00
Nikolaj Bjorner 112e13eeea
Merge pull request #2292 from AltGr/ocaml-static-linking 
Fix and enable OCaml static linking by default when --staticlib is specified
 2019-05-22 17:26:00 +04:00
Louis Gesbert 9bb0c882fa OCaml API build: provide static linking options by default 
when --staticlib is enabled, the linker will still choose to
dynamically link upon encountering `-lz3` when generating an
executable through OCaml.

The interaction between the underlying C linker and OCaml make it very
hard to choose the static version instead. The present patch works
around this issue by copying `libz3.a` to `libz3-static.a`, and using
`-lz3-static` instead: the static version is chosen since no dynamic
one is found.

One can get back to dynamically linking by compiling without
`--staticlib`, or switching back to `-lz3`, but will in the latter
case run into the same problem with specifying the option; if that
needs to be made easier, we could provide two versions of the `cm(x)a`
which differ only by their linking options.

One last solution would be to remove `lz3` altogether from the linking
options included in the cm(x)a, requiring either `-lz3` or
`-lz3-static` to be specified at link time. Simpler and most flexible,
but requires an update of all users that link with the Z3 ml api...
 2019-05-21 17:45:19 +02:00
Louis Gesbert 8d5466e781 OCaml / static: fix linking options 2019-05-21 16:09:18 +02:00
Kate 7d43a4bca5 Fix Makefile generation for the OCaml api 2019-04-10 15:18:03 +01:00
Nikolaj Bjorner 7e7cdf3635 update dependencies in legacy build system 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-04-01 12:13:50 -07:00
Nikolaj Bjorner 433064dee9 Merge branch 'master' of https://github.com/z3prover/z3 2019-03-16 11:53:02 -07:00
Nikolaj Bjorner 869cb66736 step 1 in aligning version tweaks for #2184 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-03-16 11:52:55 -07:00
Andrew Helwer a492eb0209 Fixed missed renamed variable 2019-03-15 15:23:33 -07:00
Andrew Helwer f0aebb1600 Fixed nuget package spec generation code 2019-03-15 15:20:32 -07:00
Nikolaj Bjorner e19c119496 copyright 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-03-14 15:41:52 -07:00
Nikolaj Bjorner 001c120169 x64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-03-14 15:35:33 -07:00
Nikolaj Bjorner 038f992ff4 remove platformtarget for dotnetcore spec 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-03-14 12:48:27 -07:00
Nikolaj Bjorner d642ed5591 adding targets 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-03-13 18:03:18 -07:00
Nuno Lopes 70ada9919e cmake: fix windows build with long absolute directory names 2019-03-07 11:09:25 +00:00
Nuno Lopes deb2deb4ad fix linking of .so on old build system 2019-03-07 10:04:06 +00:00
Nuno Lopes c0f7afacc4 bump cmake minimum version to 3.4 as it was released 3+ years ago 
some misc compiler flags cleanup
 2019-03-07 09:58:36 +00:00
Nuno Lopes 7ad4ced12f librt no longer needed(?) 2019-03-06 12:16:48 +00:00
Nikolaj Bjorner a2dcf87e10 add ESRP signing of nuget packages 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-02-27 14:43:39 -08:00
Audrey Dutcher c2cb2c9fad python bindings: add core functions with _bytes suffix that do not decode strings 2019-02-18 23:59:27 -07:00
Audrey Dutcher 591abead4b Revert "Don't delete the reference to the native library in the python bindings" 
This reverts commit 3339be6d22.
 2019-02-18 23:51:11 -07:00
Audrey Dutcher 3339be6d22 Don't delete the reference to the native library in the python bindings 2019-02-10 14:05:45 -08:00
Nikolaj Bjorner 9dd41ba554 remove offending assert, disable assembly-info for dotnet core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-01-20 11:13:03 -08:00
Nikolaj Bjorner 4caadc6519 add note about libgomp dependency 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-01-18 10:13:04 -08:00
Carsten Varming e1a9154555 Specify UTF-8 encoding in python build scripts 2019-01-05 13:48:15 -05:00
Mathias Soeken 878f297dac Make Ubuntu package more generic. 2019-01-01 17:20:33 +01:00
Nikolaj Bjorner e1dc553228 inc version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-20 13:15:50 -08:00
Nikolaj Bjorner c5ada288c2 updated script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-12 12:46:28 -08:00
Nikolaj Bjorner 8d23ad2f7e fix generation of assembly-sign-input to take escape sequences and absolute paths 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-12 10:14:38 -08:00
Nikolaj Bjorner db3e5ce070
Merge pull request #1997 from waywardmonkeys/change-64-bit-configuration-strategy 
Change how 64 bit builds are detected.
 2018-12-12 09:55:13 -08:00
Nikolaj Bjorner 02f01fcef1 adding esrp feature 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-11 17:31:09 -08:00
Nikolaj Bjorner 93c59ffbd9 update script to sign assembly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-11 15:48:33 -08:00
Bruce Mitchener 51a947b73d Change how 64 bit builds are detected. 
Instead of doing this at configure time, we look at the actual
compile time status. This also avoids hardcoding checks based on
what CPU architecture is present, which doesn't work when Z3 is
being built on non-x86_64 platforms.
 2018-12-09 16:16:20 +07:00
Mathias Soeken 9a0a1dd818 Changes to NuGet release script. 2018-12-06 16:19:03 +01:00
Travis Nielsen dad58073d3
Fix typo 2018-12-01 16:47:19 -06:00
Nikolaj Bjorner eea9b79035
Merge pull request #1975 from Bronsa/null_wrapped 
Guard against null wrapped functions in OCaml API
 2018-11-27 10:44:20 -08:00