3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00
Commit graph

1069 commits

Author SHA1 Message Date
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