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

1104 commits

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