Nikolaj Bjorner
429fc7c408
rename additional build options #2709
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-11-18 23:02:44 -08:00
Nikolaj Bjorner
3729458d14
enable pypi
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-11-18 19:20:15 -08:00
Andrew Helwer
37382d22c4
Updated references to Z3 icon
2019-11-18 12:24:39 -08:00
Nikolaj Bjorner
dd827cae1c
remove IS_GNU
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-11-08 14:49:35 -08:00
Federico Poli
7eb6731ac2
Link pthread with --whole-archive option on Linux
...
This fixes a SIGSEGV on Ubuntu 16.04 when running z3 compiled with `--staticbin` (issue #2457 ). It seems that without the --whole-archive option the linker does not statically link all pthread symbols.
The fix is described here: https://stackoverflow.com/a/45271521/2491528
2019-11-06 11:18:32 +01:00
Samuel Thibault
da061bbcc3
Add hurd support
...
Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
2019-11-03 01:22:44 -08:00
Nikolaj Bjorner
16d4ccd396
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-31 10:06:09 -07:00
philzook58
ed03c1d9e6
Removed incorrect include directories flag in ocaml META file
2019-10-25 18:05:13 -07:00
Nikolaj Bjorner
a8049c7feb
update nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-24 16:34:41 -07:00
Michał Janiszewski
9ae1a6f061
Add MSVC ARM64 job to Azure Pipelines
2019-10-24 15:19:53 -07:00
Nikolaj Bjorner
9847675095
fix #2647
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-22 08:26:40 -07:00
Nikolaj Bjorner
0acbdffacf
update mk_nuget_task
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 15:34:05 -07:00
Nikolaj Bjorner
bfc30440ac
update nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 13:57:45 -07:00
Nikolaj Bjorner
9fae4a16e6
update nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 12:35:12 -07:00
Nikolaj Bjorner
4051fbd8b2
update nuget packaging
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 11:19:28 -07:00
Nikolaj Bjorner
f086f01ae0
update nuget script
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 10:09:37 -07:00
Nikolaj Bjorner
928e08f28f
update nightly runner
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 09:31:28 -07:00
Nikolaj Bjorner
af442cf281
update nightly runner
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 09:29:43 -07:00
Nikolaj Bjorner
0756581a99
add nuget stage to nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 08:22:18 -07:00
Nikolaj Bjorner
5c78f855ad
re-add deletion for nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 07:49:57 -07:00
Nikolaj Bjorner
aef0c19d36
add pdb to distribution components
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-21 07:48:45 -07:00
Nikolaj Bjorner
09523a4bca
temporary remove delete from nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-14 01:44:40 -07:00
Nikolaj Bjorner
8d942ed26c
sudo the install
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-12 04:13:27 -07:00
Nikolaj Bjorner
a90529e3dc
add path to python
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-11 13:44:28 -07:00
Nikolaj Bjorner
8c8a8cee7a
add build step to generate doc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-11 13:12:14 -07:00
Nikolaj Bjorner
7e174f50c1
use Z3_char_ptr
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-08 09:14:10 -07:00
Nikolaj Bjorner
f4b803de95
expose mk_divides over API. Corresponds to a = b (mod m), #723
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-08 08:46:49 -07:00
Nikolaj Bjorner
f8469b65d1
enable default
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-07 20:53:44 -07:00
Nikolaj Bjorner
66b38eac9f
add back dotnet after adding ;*.cs to path
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-10-07 20:07:55 -07:00
philzook58
d4c60f5766
Changed makefile generation for ml bindings to use OCAMLFIND variable
2019-10-02 21:05:59 -07:00
Nikolaj Bjorner
98c3887460
fix #2595
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-28 17:43:48 -07:00
Nikolaj Bjorner
79d4502771
atomics for #2565
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-25 20:22:35 -07:00
Nikolaj Bjorner
6041cb246f
--lpthread -> -lpthread
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-23 09:32:35 -07:00
Nikolaj Bjorner
f3f233cf14
remove link experiment
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-23 02:48:22 -07:00
NikolajBjorner
6b117c0b2c
move to zarith #2471
...
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
2019-09-23 02:46:11 -07:00
Nikolaj Bjorner
5919bc0531
update for next version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-22 09:18:18 -07:00
Nikolaj Bjorner
22b6233e62
increment version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-22 08:31:10 -07:00
Nikolaj Bjorner
80636dd35f
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-20 08:05:11 -07:00
Nikolaj Bjorner
78ed71b8de
update to pypirc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-19 16:43:06 -07:00
Nikolaj Bjorner
bd26301b80
update to pypirc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-19 16:42:03 -07:00
Nikolaj Bjorner
4b96238209
use testpypi
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-18 09:57:03 -07:00
Nikolaj Bjorner
df2f0416e2
undo atomic
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-17 21:56:28 -04:00
Nikolaj Bjorner
c68cfe878e
#2565 use atomic
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-17 18:15:19 -07:00
Nikolaj Bjorner
3b1a73b9e8
add smt to project.py dependencies
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-09-07 18:04:32 +03:00
Audrey Dutcher
ec5b148ecc
Add python packaging build and deployment with Azure
2019-08-14 22:00:21 -07:00
Nikolaj Bjorner
74631265b9
remove stale assertions due to lambda #2446
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-07-30 14:32:06 +08:00
Nikolaj Bjorner
c7fb1e4c9f
fix spelling of target folder
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-07-11 09:56:08 +01:00
Nikolaj Bjorner
77df8ebd12
try to copy artifacts
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-07-10 16:23:02 +01:00
Nikolaj Bjorner
8d9a631c5d
try to copy artifacts
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-07-10 16:21:14 +01:00
Nikolaj Bjorner
09328d5bec
remove unknown option /RELEASE in python build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-07-10 14:52:41 +01:00