payload: {"action":"published","release":{"url":"https://api.github.com/repos/Z3Prover/z3/releases/21983278","assets_url":"https://api.github.com/repos/Z3Prover/z3/releases/21983278/assets","upload_url":"https://uploads.github.com/repos/Z3Prover/z3/releases/21983278/assets{?name,label}","html_url":"https://github.com/Z3Prover/z3/releases/tag/Nightly","id":21983278,"node_id":"MDc6UmVsZWFzZTIxOTgzMjc4","tag_name":"Nightly","target_commitish":"e5ca451a0270f56c3961d719abf896fac8ea4244","name":"Nightly","draft":false,"author":{"login":"NikolajBjorner","id":3085284,"node_id":"MDQ6VXNlcjMwODUyODQ=","avatar_url":"https://avatars2.githubusercontent.com/u/3085284?v=4","gravatar_id":"","url":"https://api.github.com/users/NikolajBjorner","html_url":"https://github.com/NikolajBjorner","followers_url":"https://api.github.com/users/NikolajBjorner/followers","following_url":"https://api.github.com/users/NikolajBjorner/following{/other_user}","gists_url":"https://api.github.com/users/NikolajBjorner/gists{/gist_id}","starred_url":"https://api.github.com/users/NikolajBjorner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NikolajBjorner/subscriptions","organizations_url":"https://api.github.com/users/NikolajBjorner/orgs","repos_url":"https://api.github.com/users/NikolajBjorner/repos","events_url":"https://api.github.com/users/NikolajBjorner/events{/privacy}","received_events_url":"https://api.github.com/users/NikolajBjorner/received_events","type":"User","site_admin":false},"prerelease":true,"created_at":"2019-10-14T08:44:40Z","published_at":"2019-12-05T03:32:04Z","assets":[],"tarball_url":"https://api.github.com/repos/Z3Prover/z3/tarball/Nightly","zipball_url":"https://api.github.com/repos/Z3Prover/z3/zipball/Nightly","body":"nightly build\n\n## Changes:\n\n* e5ca451a0270f56c3961d719abf896fac8ea4244 z3str3: remove unused str_eq_todo worklist\n* 32e5c6ffd1d2743fd0bcddc75006cddb9316cbaf z3str3: missed instance of rewrite-then-assert\n* 7e415c1b6972c32b5385de6a38b08d46c7ea9bb0 update to logging\n* 20754bc72d4520eedc1173fbb5c3eb24f4afc422 fix #2768\n* f646c9ac11d24c6e2236be7e2658c100edcfb69d fix #2780\n* 3d874313d3297215979b002ea75863d12cc1f4de fix #2782\n* 2f6a9ba39ba4b8167e49b872789790214ba862c1 na\n* eec153bb574a65cd1d0ce1ca7166b2c918e7a7b6 fix #2779\n* 7f61d084963a2a661c8e34a73e280e53593d507d fix #2777\n* b35ec49b402ed8ec2bd5a0bfacb3472483c77ba0 fix #2778\n<details><summary><b>See More</b></summary>\n\n* 9af4cc0fd68b6e8929ea605b944ee5415dd4191a links to API (related to issue in z3doc)\n* 28cb13fb96c15714eb244bf05d1d7f56e84cda5e fix #2771\n* 37a4dd68d08c08f1e7a84e95b1e161d5911bf368 fix #2773 fix #2774\n* 1eab774b915af6559157bc07aa930d9fa26d690f fix #2774\n* 89c9bb2e0e5867ec858a30374ef4411f4ccfd1ac z3str3: don't call propagate() in init_search_eh()\n* 7b0327dbad70ec613aceaccdc78b1f528f0b2e7c fix #2767\n* 2bf9b5ca8b08d21ad274a58aa8c49d5fb0c9e67e fix #2767\n* 17d67c1b50ae29120e4bedff8beaec13f191057f fix #2726\n* 86c35bc7c1d98dc4e5919933b1e52e37297a6489 fix #2763\n* ad309e53a12d41c2b7a2dd50093052619a02fb60 fix #2766\n* 9ebaf19e477bb36236eaa5227c0f21eef0186ae6 fix #2765\n* 23fcc2154342be8537708abcfd5da24ba11b3df3 fix #2764\n* b371592c0def5f08b792823532ba58c5caaa90f0 unused variable warnings\n* 320d6640b18ccbfd03bc860a42324f09d9ba29f6 ensure unfolding is increased with seq\n* 489448b8698bae7e6937b152df309c107392b5fc fix #2762, fix #2750, add iterative unrolling to help on termination on sat instances (to address non-termination in #2759 and #2762)\n* 0d004b5232d8f7ff6e8904e26adee09c6e19a27c fix #2761\n* cdf3c48349bd423460b8c0aa3a5a8ad124b1f271 clear memory on allocation to avoid msan warnings\n* 7e452254c385f76d0cd18af3ba72657cbf09a364 distribute string and regex concatenation on literals, scenario exposed by #2668\n* b479c34c0be77bea45ddf13d8aa2f128262d9b64 fix #2751\n* 001ddef0580187e1cc954517efa1cf115f986283 fix #2749\n* bf28b815faad1e4bfdcb02c24ebc66cd0ab2589a z3str3: add a method to rewrite-and-assert an axiom to reduce boilerplate\n* b8f2cf5b0bf8b40d16647892db7ee273ba0ccbf5 z3str3: rewrite strong arrangement axiom to avoid assertion violation\n* a257ec0cc112979c4b1189e6030accdd3e0cb55f build warnings #2748\n* 30d9ea5c2cd8c8e8d44780a8c197ede6af7f4557 Addressing comments from pull request: more descriptive variable names and m.mk_not\n* 574051df1b79c22848c83225e5be1f28a1028877 Step by step derivation of second int.to.str axiom\n* 900e7076196316abed402aa55a9b178d773d8ed7 Added more comments\n* 6ffb475007875a861f81769b8f969dbfd63a437d Add comments and make implication into xor. Logically equivalent.\n* fc74689c1ba500c6eefd4f0d73c04cffbb3ae820 int.to.str must not begin with 0 unless is 0\n* 0b893afee4934428def0955f22a8e56e57e27c29 pretty print algebraic numbers from fast pretty printer\n* e36c2fec9e7fc91e4d69c9141b1755855fc352fd updated readme for VS and CMake integration\n* 8ebbc094eb14c710d803d4ef96d4532f7ef943c9 Link librt when compiling with --staticbin on Linux [ #2457 ]\n* d14b083bc9717f246569b3153e728d8aa2093b67 disable regressions from msan\n* c36d9f7b3eb3f5e9805d2acd333f56ace4b6fc0b fix #2741\n* 07dcb0a98b34f12dab38071a333fff7ee18b5215 Merge pull request #2477 from evmaus/master\n* 5f78ca9b588d3d0a7405e39630d548477f750710 z3str3: negative lengths in get_len_value don't count\n* 58f3dce2be92174aedeae32d483fd03a6fb0c55c Make z3::exception a subclass of std::exception\n* 8973c188568d6306efc46b41cc142152b9ad9a5b require c++11 on TPTP #2738\n* 055cf6c7b9a019d0fce143ed77dcb9ec6c520047 relevancy level is queried during smt_setup, so it has to update the local parameter that tracks the min\n* 17fb07875df5278c64c0ff0e92f7d000fbdfe922 follow up on #2737\n* ba03d995261d23596f9add91ca63c8fd94d19d4f Fix forward declaration of fma in C++ API. Fixes #2735.\n* 84025d5c116b5da480f1e658e08029ef5b613886 add rewrites for moduli as exercised in example from #2319\n* fad4356159b59b82bd6031541fa81085b03e5e17 treat division by 0 as non-linearity, fix #2733\n* ca2ad66d03169b9cd1ad362d8e638dfa7b512844 treat division by 0 as non-linearity\n* e2b6b122150bc666650e9ce36c4258371546b864 initialize relvancy level in constructor\n* 5cbabb20ac6d5dcd052b6737377ff7b27948aced align readme-cmake and cmakelists.txt according to current state #2732\n* 5dfe4a4b4898fd823906ba951fcacf6db4eb2026 ensure relevancy isn't increased between calls\n* 61371b4abff56ef0ee9a789ff903c51842f71729 na\n* 415260b93d9cc8c1340727f8d56a5050927d01c6 z3str3: refactor app* to app_ref\n* b2c3025e2185057694bcc4f23e965fd367070f3f fix #2714\n* 8db04298095f2bbd301c4411ae334ec22b1e1eb5 Fix \"Unbound module Z\" error when invoking ocamldoc.\n* e818b8d06f5c42b4f2a6cb6a45162499ed80cb43 binspr\n* e212159f4e941c78fc03239e0884f2f0454f581f fix #2727\n* a0dcad022145ca38f6b58b2b3c2b0b84b206af16 fix #2708\n* 566eacd424b356a33b208d120e0cb4f4889b9d5f change handling of weak array mode. Insert weak delay variables into a queue that gets consumed by the next propagation when the array_weak parameter is changed #2686\n* e45bafe9bf06503e32d90f46066955c9b0563fb1 increase version number\n* 73083977e2e7e552e731fec0818d8a2ae2925f07 Trying a different clang version that should be installed\n* 8e3f5b0c1d8011642a46295d82e07e99b7933865 Add MSAN_SYMBOLIZER_PATH to the environment to get symbolization\n* ec36e232e5cfedb2ca101d283e4cb4f54bc83d41 Fixing a spacing issue when undoing a comment\n* 42b557cf905530b84203176422a6c69cf1d42d03 Restoring commented out template\n* f1a713a116fdfa9834370f1c10c60d1c071f4a13 Restoring commented out pipelines\n* d01aa01ec9ae99c414519ff621cf677fca469ce0 And some includes now.\n* 1ff11b36bd95e988ff1a1a18adc9c5f50828eb10 More syntax errors...\n* 0d89c024860f8af34e348d79f409dbce577d417a Missed a paren as well.\n* 85601453cdb7382e52171a34055fb37a53f0bb0c Missed a colon.\n* 179242ed297fa3d1ae4ae92a8fd7e183e0c2a221 More template changes...\n* 2bcd3280fa80f12df15c06cfcc59af5fe5377a6d Testing a new configuration\n* 45c17dc256842d54c16f61eb7417375d9af564cf Examples are still failing.\n* cc6f185e40ab3f453dea1087fea2f43c11f3188d Examples are failing to build for strange reasons.\n* bf3bc1432fd33b2ea42f529f6125e8e2aba1d94e Fixing a bug.\n* 3dc898384ff859b21d7ea8fd9eb7843c6b0e9e99 Fixing a chmod issue.\n* b96f0e4b7bbd6950deff167ffda02e4b235e742d Commenting out non-MSAN builds for testing\n* ed29e1ffa5f7d468dd5e87dd2da0a1528aa09da7 Second pass at getting MSAN working with azure pipelines\n* 9cccfb97ac4b2db15936ef18ab585bbb76af771f Take one on adding MSAN\n\nThis list of changes was [auto generated](https://z3build.visualstudio.com/Z3Build/_build/results?buildId=1766&view=logs).</details>"}}
other: {"actor":{"display_login":"NikolajBjorner"}}