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

1260 commits

Author SHA1 Message Date
Nikolaj Bjorner 40a4326ad4 add anf 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-01-05 16:46:49 -08:00
Andrew Helwer a72f848fde Nightly pipeline now uses SNK file in repo 2020-01-03 13:15:51 -08:00
Andrew Helwer 7dbb69ff32 Now consume SNK file in repo instead as build secret 2020-01-02 17:41:12 -08:00
Nikolaj Bjorner 1d0572354b add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-01-01 20:14:20 -08:00
Nikolaj Bjorner 4a94abe7d7 Update nightly.yaml 
update name
 2019-12-20 23:18:19 -08:00
Nikolaj Bjorner b13e7b9df3 Update nightly.yaml 
again
 2019-12-20 22:29:47 -08:00
Nikolaj Bjorner c8703cbc42 Update nightly.yaml 
try again
 2019-12-20 22:26:14 -08:00
Nikolaj Bjorner 8a75e9090b Update nightly.yaml 
mac -> osx
 2019-12-20 21:16:11 -08:00
Nikolaj Bjorner c5d31be613 Update nightly.yaml 
add Python top zip
 2019-12-20 21:12:13 -08:00
Nikolaj Bjorner 495658e07a try adding macos to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-20 20:16:28 -08:00
Nikolaj Bjorner 469f618742 build dependencies, invariant annotation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-18 13:48:27 -08:00
Nikolaj Bjorner 1fdde9e056 move bdd to separate space 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-12-17 10:03:01 -08:00
Federico Poli 8ebbc094eb Link librt when compiling with --staticbin on Linux 
Fixes issue #2457. The workaround is described here: https://stackoverflow.com/questions/58848694/gcc-whole-archive-recipe-for-static-linking-to-pthread-stopped-working-in-rec
 2019-11-27 09:16:48 -08:00
Nikolaj Bjorner 07dcb0a98b
Merge pull request #2477 from evmaus/master 
MSAN Integration Build
 2019-11-26 09:31:23 -08:00
Nikolaj Bjorner e45bafe9bf increase version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-19 14:17:48 -08:00
Nikolaj Bjorner 30e7c225cd upgrade pip 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-19 12:58:44 -08:00
Nikolaj Bjorner f170e655d5 add importlib_metatada 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-19 10:56:56 -08:00
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
Everett Maus bf3bc1432f Fixing a bug. 2019-08-08 19:17:40 -07:00
Everett Maus 3dc898384f Fixing a chmod issue. 2019-08-08 19:12:05 -07:00
Everett Maus ed29e1ffa5 Second pass at getting MSAN working with azure pipelines 2019-08-08 18:36:33 -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
Nikolaj Bjorner f9677fdfd2 update pipelines 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-12 01:25:43 -07:00
Kyung Mo Beak 930db75979 Add build options:/GF Enables the compiler to create a single copy of identical strings in the program image and in memory during execution. This is an optimization called string pooling that can create smaller programs /Gy Allows the compiler to package individual functions in the form of packaged functions /profile This informs the linker to emit full fixup information so that Vulcan completely identifies code and data cross-references 2019-06-11 19:37:45 -07:00
Nikolaj Bjorner 0ac462108f templatize regression test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-11 11:56:05 -07:00
Nikolaj Bjorner 9b68072797 templatize regression test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-11 11:55:26 -07:00
Nikolaj Bjorner 5005fcc0e0 extract jupyter template 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-11 11:52:42 -07:00
Nikolaj Bjorner 4b782c8c6c Update release.yml for Azure Pipelines 2019-06-11 19:46:47 +02:00
Nikolaj Bjorner d51f8c90f9 release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-11 10:41:51 -07:00
Nikolaj Bjorner 165c0ef3e1 disable windows validation for now 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:42:47 -07:00
Nikolaj Bjorner da6e3efa97 try with \ instead of / 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:28:27 -07:00
Nikolaj Bjorner 9d783628db add regression tests to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 16:55:02 -07:00
Nikolaj Bjorner 6bbe924063 try with create action to change commit id 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 16:48:59 -07:00
Nikolaj Bjorner 9f02acffbb use tmp 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 14:51:33 -07:00
Nikolaj Bjorner bd0ecdd6de omit target path 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 14:48:44 -07:00
Nikolaj Bjorner af8f0a7312 try consolidation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 13:50:06 -07:00
Nikolaj Bjorner 66283a1722 update pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 09:58:35 -07:00
Nikolaj Bjorner 549ccb190a remove obsolete 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 20:44:25 -07:00
Nikolaj Bjorner 9b4f327e29 set upload mode to replace 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 20:03:20 -07:00
Nikolaj Bjorner e0a1db869f consolidate nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 18:50:37 -07:00
Nikolaj Bjorner 4f9a27693d Update nightly-windows.yaml for Azure Pipelines 2019-06-07 02:06:44 +02:00
Nikolaj Bjorner 783f998892 Update nightly-windows.yaml for Azure Pipelines 2019-06-06 17:31:18 +02:00
Nikolaj Bjorner 8f1325d5c5 Update nightly-ubuntu.yaml for Azure Pipelines 2019-06-06 17:29:23 +02:00
Nikolaj Bjorner 2d75bf9d12 edit 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 23:47:53 -07:00
Nikolaj Bjorner f0f37411a2 macos 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 20:15:11 -07:00
Nikolaj Bjorner dc452b92e1 update tag 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 20:11:00 -07:00
Nikolaj Bjorner 87116b7086 Merge branch 'nomp' of https://github.com/z3prover/z3 into nomp 2019-06-05 19:40:31 -07:00
Nikolaj Bjorner 75b92df1d0 change cp command 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 19:40:24 -07:00
Nikolaj Bjorner 7c034827cb Update nightly-ubuntu.yaml for Azure Pipelines 2019-06-06 04:15:43 +02:00
Nikolaj Bjorner ae93469e17 Set up CI with Azure Pipelines 
[skip ci]
 2019-06-06 02:29:06 +02:00
Nikolaj Bjorner 5687cda101 add ubuntu nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 17:25:21 -07:00
Nikolaj Bjorner d846511fce Merge branch 'nomp' of https://github.com/z3prover/z3 into nomp 2019-06-05 17:22:18 -07:00
Nikolaj Bjorner c8ce31a04b rename nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 17:22:13 -07:00
Nikolaj Bjorner a753c38c6f Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 01:44:10 +02:00
Nikolaj Bjorner 327321cce4 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:51:25 +02:00
Nikolaj Bjorner 19a64a6540 update dist 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 15:51:07 -07:00
Nikolaj Bjorner c9817ff74d Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:38:46 +02:00
Nikolaj Bjorner e115a60ddf Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:34:12 +02:00
Nikolaj Bjorner 4a5155a735 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:32:32 +02:00
Nikolaj Bjorner 5341e24b5d Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:31:07 +02:00
Nikolaj Bjorner 7ecf2f1136 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:29:43 +02:00
Nikolaj Bjorner 77ba793f3b Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:27:38 +02:00
Nikolaj Bjorner 4307c28d17 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:11:40 +02:00
Nikolaj Bjorner 0714f800d5 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-06 00:07:55 +02:00
Nikolaj Bjorner 39dcd1b320 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 23:57:31 +02:00
Nikolaj Bjorner d4c9b20dad test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 13:56:55 -07:00
Nikolaj Bjorner 9b412a1f3d configure git identity 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 13:55:51 -07:00
Nikolaj Bjorner 5c9c76055e merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 13:19:37 -07:00
Nikolaj Bjorner 2d95e8de54 update cmd 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 11:17:09 -07:00
Nikolaj Bjorner cdad6f3f97 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 20:14:35 +02:00
Nikolaj Bjorner 8b187e4c0a Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 19:40:02 +02:00
Nikolaj Bjorner 15f645da66 debug options 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 09:48:15 -07:00
Nuno Lopes cd3b807e2c add --single-threaded to old configure system 2019-06-05 15:18:27 +01:00
Nikolaj Bjorner 6a0708fc8e Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:19 +01:00
Nikolaj Bjorner 3087ac458a Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:19 +01:00
Nikolaj Bjorner 6d17bcc5f7 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:19 +01:00
Nikolaj Bjorner f9c0ab5496 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:19 +01:00
Nikolaj Bjorner 451e70afee Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner eda1e1bc8e Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 84fb0e5d5b Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner d520891043 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner b7f9d96c2d Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner d3265314f3 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 0086ac88bf Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner ab33150f8d Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 980f9fc57e Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 1996f8447c Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 3f6360df93 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 73c6759b68 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 8d76956964 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 3f7a2105d9 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 1c89fd32b5 remove reference to omp in legacy build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 721bb0d314 remove githash 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 09:06:18 +01:00
Nikolaj Bjorner 3fd1a13dea show output 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 09:06:18 +01:00