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 |
|
Nikolaj Bjorner
|
ee94f8f5ce
|
update release script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-07-10 13:52:41 +01:00 |
|
Nikolaj Bjorner
|
8e2ad4e461
|
#2379 and #2380
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-07-04 07:08:47 +07:00 |
|
Nikolaj Bjorner
|
90098633ef
|
remove target from nightl'
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-30 08:36:37 +03:00 |
|
Nikolaj Bjorner
|
6f08c0788f
|
put back delete step in nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-29 21:00:41 +03:00 |
|
Nikolaj Bjorner
|
6e994f9279
|
temporarily disable delete
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-29 20:09:33 +03:00 |
|
Nikolaj Bjorner
|
8a129a3e6f
|
try replace for nightly to address #2362
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-28 21:23:52 -07:00 |
|
Nikolaj Bjorner
|
14e9020f20
|
more templates
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-12 08:35:34 -07:00 |
|
Nikolaj Bjorner
|
84520a0ffa
|
separate failing java test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-12 08:13:57 -07:00 |
|