{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":16618767,"defaultBranch":"next","name":"alt-ergo","ownerLogin":"OCamlPro","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-02-07T15:35:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/665790?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725537242.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"d99264b13d320689e3b81e2934826dfa6cdb5632","ref":"refs/heads/v2.6.x","pushedAt":"2024-09-05T11:54:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Update the CHANGES file (#1218)","shortMessageHtmlLink":"Update the CHANGES file (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2480907539\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1218\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1218/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1218\">#1218</a>)"}},{"before":"8bcf8ad7b6409ff76dba4613e2c507191323b4a3","after":"51d8ab38d1eeccfafa45b9b6f515216de8cf07bf","ref":"refs/heads/gh-pages","pushedAt":"2024-09-05T10:16:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ d99264b13d320689e3b81e2934826dfa6cdb5632 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/d99264b13d320689e3b81e2934826dfa6cdb5632/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/d99264b13d320689e3b81e2934826dfa6cdb5632\"><tt>d99264b</tt></a> 🚀"}},{"before":"8c44c7a22cdfd7b6bf912ebca7959962498e19b5","after":"d99264b13d320689e3b81e2934826dfa6cdb5632","ref":"refs/heads/next","pushedAt":"2024-09-05T10:12:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Update the CHANGES file (#1218)","shortMessageHtmlLink":"Update the CHANGES file (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2480907539\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1218\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1218/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1218\">#1218</a>)"}},{"before":"5e49bf6d0535e3679fb014bff096f9b6bfc36af9","after":"8bcf8ad7b6409ff76dba4613e2c507191323b4a3","ref":"refs/heads/gh-pages","pushedAt":"2024-09-05T07:55:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 8c44c7a22cdfd7b6bf912ebca7959962498e19b5 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/8c44c7a22cdfd7b6bf912ebca7959962498e19b5/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/8c44c7a22cdfd7b6bf912ebca7959962498e19b5\"><tt>8c44c7a</tt></a> 🚀"}},{"before":"53520cf2d070ac199a06a69a685399a5ce84c894","after":"8c44c7a22cdfd7b6bf912ebca7959962498e19b5","ref":"refs/heads/next","pushedAt":"2024-09-05T07:51:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Update sphinx doc 2.6.0 (#1231)\n\n* Documentation for optimization","shortMessageHtmlLink":"Update sphinx doc 2.6.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497457164\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1231\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1231/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1231\">#1231</a>)"}},{"before":"da4dc811ff22316bfc4bb0989d93c500172bcecc","after":"5e49bf6d0535e3679fb014bff096f9b6bfc36af9","ref":"refs/heads/gh-pages","pushedAt":"2024-08-30T14:33:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 53520cf2d070ac199a06a69a685399a5ce84c894 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/53520cf2d070ac199a06a69a685399a5ce84c894/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/53520cf2d070ac199a06a69a685399a5ce84c894\"><tt>53520cf</tt></a> 🚀"}},{"before":"b66421ed6e8bcceaae32dbc534802189f6ed6f00","after":"53520cf2d070ac199a06a69a685399a5ce84c894","ref":"refs/heads/next","pushedAt":"2024-08-30T14:29:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Add an optimize test (#1230)\n\nWe do not check that optimization works with arithmetical expressions\r\nin `maximize` or `minimize`.\r\n\r\n(We do it for `ite` and bitvector expressions).","shortMessageHtmlLink":"Add an optimize test (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2497309076\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1230\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1230/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1230\">#1230</a>)"}},{"before":"776595c79e12828ef22c0c6087c68d97a50c2502","after":"da4dc811ff22316bfc4bb0989d93c500172bcecc","ref":"refs/heads/gh-pages","pushedAt":"2024-08-30T11:35:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ b66421ed6e8bcceaae32dbc534802189f6ed6f00 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/b66421ed6e8bcceaae32dbc534802189f6ed6f00/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/b66421ed6e8bcceaae32dbc534802189f6ed6f00\"><tt>b66421e</tt></a> 🚀"}},{"before":"a3f17d7ed31fdb25479b77c2b42fa16853495bb1","after":"b66421ed6e8bcceaae32dbc534802189f6ed6f00","ref":"refs/heads/next","pushedAt":"2024-08-30T11:31:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bclement-ocp","name":"Basile Clément","path":"/bclement-ocp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129742207?s=80&v=4"},"commit":{"message":"fix(BV): Do not build unnormalized values in zero_extend (#1226)\n\nThere is a stupid bug in the [zero_extend] function introduced in #1154:\r\nif the high bits of the extended value are known, it can create an\r\nunnormalized semantic value, which causes unsoundness.\r\n\r\nFix the [zero_extend] function, which is renamed to [zero_extend_to]\r\nsince it takes as argument the extended size rather than the number of\r\nadditional bits to add. Move the implementation to the [Bitv] module.\r\n\r\nTo prevent similar failures in the future, an heavy assertion is added\r\nin [solve] (where unsoundness would otherwise occur). I also tried to\r\nmake the [Bitv.abstract] type private again, but that was a pain as it\r\nis used in several places in [Bitv_rel], so instead I simplified the\r\ncode to avoid creating [Bitv.abstract] values from outside of the [Bitv]\r\nmodule where it was easy to do so.\r\n\r\nNo regression tests because I don't believe we can hit the bug with the\r\ncode in `next`: we are only calling [zero_extend] on variables, so we\r\ncan never create an unnormalized value this way.","shortMessageHtmlLink":"fix(BV): Do not build unnormalized values in zero_extend (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2495157351\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1226\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1226/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1226\">#1226</a>)"}},{"before":"8919fdfe4140d7eec59f132d2813086a0b577911","after":"776595c79e12828ef22c0c6087c68d97a50c2502","ref":"refs/heads/gh-pages","pushedAt":"2024-08-30T10:18:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ a3f17d7ed31fdb25479b77c2b42fa16853495bb1 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/a3f17d7ed31fdb25479b77c2b42fa16853495bb1/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/a3f17d7ed31fdb25479b77c2b42fa16853495bb1\"><tt>a3f17d7</tt></a> 🚀"}},{"before":"52afc739063532ffc9d5bb5af7de9ad2c8f11156","after":"a3f17d7ed31fdb25479b77c2b42fa16853495bb1","ref":"refs/heads/next","pushedAt":"2024-08-30T10:14:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"feat(BV): Support binary distinct on arbitrary bit-widths (#1222)\n\n* feat(BV): Support binary distinct on arbitrary bit-widths\r\n\r\nThis used to be impossible to do in the general case when we have only\r\nbitlist domains, but is possible since we also have interval domains.\r\n\r\nThis implementation only supports binary distinct operators, and will\r\nneed to be revisited as part of #1157.\r\n\r\n* Debug message instead of error","shortMessageHtmlLink":"feat(BV): Support binary distinct on arbitrary bit-widths (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2491530256\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1222\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1222/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1222\">#1222</a>)"}},{"before":"013db7554308e1f5bf4384332bf64e6c5b5639a0","after":"8919fdfe4140d7eec59f132d2813086a0b577911","ref":"refs/heads/gh-pages","pushedAt":"2024-08-30T09:56:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 52afc739063532ffc9d5bb5af7de9ad2c8f11156 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/52afc739063532ffc9d5bb5af7de9ad2c8f11156/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/52afc739063532ffc9d5bb5af7de9ad2c8f11156\"><tt>52afc73</tt></a> 🚀"}},{"before":"632318979aa7423339bcc361ab65d122ce231e65","after":"52afc739063532ffc9d5bb5af7de9ad2c8f11156","ref":"refs/heads/next","pushedAt":"2024-08-30T09:51:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bclement-ocp","name":"Basile Clément","path":"/bclement-ocp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129742207?s=80&v=4"},"commit":{"message":"fix(opt): Only perform optimization when building a model (#1224)\n\nThe optimization module is supposed to help us build an optimized model,\r\nso it doesn't make much sense to start optimizing before we start\r\nactually looking for a model.\r\n\r\nPreviously, we were kind of forced into it because it would be incorrect\r\nto perform case splits before optimizing. Now that optimization is\r\nintegrated directly into the SAT solver, it is fully independent from\r\ncase splits, and this restriction does not apply any longer.\r\n\r\nThis fixes issues where we would try to optimize eagerly in a small\r\nsolution space and would end up enumerating the solution space before\r\nperforming examining some decisions that would prune it for us, which is\r\nexactly what happened in #1222.\r\n\r\nSeparate optimization (`do_optimize`) from case splitting\r\n(`do_case_split`) at the `Theory` level, and perform optimization in\r\n`compute_concrete_model`, i.e. at the time we switch to model\r\ngeneration (note: this limits the impact of optimization on unsat\r\nproblems).\r\n\r\nAlso change the order of decisions to consider optimized splits last for\r\nconsistency, although that should not have much impact in practice.","shortMessageHtmlLink":"fix(opt): Only perform optimization when building a model (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2492292879\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1224\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1224/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1224\">#1224</a>)"}},{"before":"3fb77bfe83ade774b198509f679aa567f66c6a8c","after":"013db7554308e1f5bf4384332bf64e6c5b5639a0","ref":"refs/heads/gh-pages","pushedAt":"2024-08-30T08:53:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 632318979aa7423339bcc361ab65d122ce231e65 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/632318979aa7423339bcc361ab65d122ce231e65/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/632318979aa7423339bcc361ab65d122ce231e65\"><tt>6323189</tt></a> 🚀"}},{"before":"05b2d1650da3062315d68f87f439912e402e4aed","after":"632318979aa7423339bcc361ab65d122ce231e65","ref":"refs/heads/next","pushedAt":"2024-08-30T08:46:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"chore(warnings): Drop acts_add_lit_view (#1227)\n\nIt causes warnings to be emitted on each compilation and will be easy to\r\nadd back if we need it in the record.","shortMessageHtmlLink":"chore(warnings): Drop acts_add_lit_view (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2495162819\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1227\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1227/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1227\">#1227</a>)"}},{"before":"d9349b1bc4b760b0907de051d61b5ef027d7440b","after":"78ba9ccc46cb260eb717f9d0c35407fcacf72e74","ref":"refs/heads/v2.5.x","pushedAt":"2024-08-29T11:46:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bclement-ocp","name":"Basile Clément","path":"/bclement-ocp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129742207?s=80&v=4"},"commit":{"message":"fix(CI): Ensure binary releases have proper version number (#1171)\n\nThe issue boils down to GitHub not downloading tag information when\nrunning the workflow, which means that `dune-build-info` and\n`dune-subst` see a lightweight tag rather than an annotated tag and\nignore it.\n\nIn order to facilitate deployment, update the workflow to automatically\nupload the artifact to the release if applicable.\n\nFixes #1131","shortMessageHtmlLink":"fix(CI): Ensure binary releases have proper version number (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2422496354\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1171\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1171/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1171\">#1171</a>)"}},{"before":"3005a38497f99f11f6057bfec98180b0a7718810","after":"3fb77bfe83ade774b198509f679aa567f66c6a8c","ref":"refs/heads/gh-pages","pushedAt":"2024-08-29T10:12:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 05b2d1650da3062315d68f87f439912e402e4aed 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/05b2d1650da3062315d68f87f439912e402e4aed/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/05b2d1650da3062315d68f87f439912e402e4aed\"><tt>05b2d16</tt></a> 🚀"}},{"before":"6d544338f10e22c227c8384ec731aef22ed72785","after":"05b2d1650da3062315d68f87f439912e402e4aed","ref":"refs/heads/next","pushedAt":"2024-08-29T10:08:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"fix(CP): Make sure domains do not overflow the default domain (#1225)\n\n* fix(CP): Make sure domains do not overflow the default domain\r\n\r\nWhen reading domains through a non-canonical representative, we are\r\nintersecting it with the default domain of the representative (i.e. the\r\nrange of the bit-vector type) in order to ensure that the resulting\r\ndomain is known to be within the range of the type.\r\n\r\nThis is useful for interval domains because we keep track of global\r\nbounds, which we rely on in functions such as [bvshl], but are forgotten\r\nby the call to [add_explanation].\r\n\r\nWe also need to perform the same intersection when modifying a domain\r\nthrough a non-canonical representative, otherwise we might store a\r\ndomain that overflows the bounds of the type.\r\n\r\n(It is unfortunate that we have to do this dance instead of storing type\r\ninformation on the interval themselves, but that would be a bigger change).\r\n\r\nThis was found by fuzzing.\r\n\r\n* Clarify doc","shortMessageHtmlLink":"fix(CP): Make sure domains do not overflow the default domain (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2493829990\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1225\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1225/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1225\">#1225</a>)"}},{"before":"51ed73394bcee71189b0431684ac0e4c66e70c0c","after":"3005a38497f99f11f6057bfec98180b0a7718810","ref":"refs/heads/gh-pages","pushedAt":"2024-08-28T15:22:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 6d544338f10e22c227c8384ec731aef22ed72785 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/6d544338f10e22c227c8384ec731aef22ed72785/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/6d544338f10e22c227c8384ec731aef22ed72785\"><tt>6d54433</tt></a> 🚀"}},{"before":"8728bf75f7b533fd21f6e84e1aa9a05c3904515e","after":"6d544338f10e22c227c8384ec731aef22ed72785","ref":"refs/heads/next","pushedAt":"2024-08-28T15:18:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Wrap the library Alt_ergo_prelude (#1223)\n\nUnwrapped this library was a big mistake, mea maxima culpa.\r\nWhen I added this prelude, I did know how to use `-open` with a\r\nwrapped library.\r\n\r\nI couldn't compile smtml with `alt-ergo-lib` because the library of\r\nsmtml depends on a module Prelude from another library.","shortMessageHtmlLink":"Wrap the library Alt_ergo_prelude (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2491976937\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1223\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1223/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1223\">#1223</a>)"}},{"before":"5fee810228641ecc1a0a3bf18d78060e2b99ac8a","after":"51ed73394bcee71189b0431684ac0e4c66e70c0c","ref":"refs/heads/gh-pages","pushedAt":"2024-08-28T10:15:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 8728bf75f7b533fd21f6e84e1aa9a05c3904515e 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/8728bf75f7b533fd21f6e84e1aa9a05c3904515e/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/8728bf75f7b533fd21f6e84e1aa9a05c3904515e\"><tt>8728bf7</tt></a> 🚀"}},{"before":"68850d401eb582740ca630828df4075172b8654e","after":"8728bf75f7b533fd21f6e84e1aa9a05c3904515e","ref":"refs/heads/next","pushedAt":"2024-08-28T09:55:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bclement-ocp","name":"Basile Clément","path":"/bclement-ocp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129742207?s=80&v=4"},"commit":{"message":"fix(BV, CP): Run cross-propagators to completion (#1221)\n\nSince #1185, when substitutions change the domain of a variable, we no\r\nlonger trigger propagations, which means that we can end up in a state\r\nwhere the bitlist and interval domains are not consistent (i.e. running\r\n[constrain_bitlist_from_interval] or [constrain_interval_from_bitlist]\r\nwould shrink some domains).\r\n\r\nThis was initially part of #1185 but was accidentally removed as part of\r\na simplification pass during review. Add it back.","shortMessageHtmlLink":"fix(BV, CP): Run cross-propagators to completion (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2491519240\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1221\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1221/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1221\">#1221</a>)"}},{"before":"5b6de9d2b55627145821432a5cc047eb9fd76ea7","after":"5fee810228641ecc1a0a3bf18d78060e2b99ac8a","ref":"refs/heads/gh-pages","pushedAt":"2024-08-26T10:12:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 68850d401eb582740ca630828df4075172b8654e 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/68850d401eb582740ca630828df4075172b8654e/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/68850d401eb582740ca630828df4075172b8654e\"><tt>68850d4</tt></a> 🚀"}},{"before":"700d5e8f569c5ec78cccdf83b9fcb16d86c6fe15","after":"68850d401eb582740ca630828df4075172b8654e","ref":"refs/heads/next","pushedAt":"2024-08-26T10:00:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Remove some polymorphic hashtables (#1219)\n\nWe should not use polymorphic equality on expressions because they may\r\ncontain recursive terms producing by Dolmen. This PR removes these\r\ndangerous hashtables.","shortMessageHtmlLink":"Remove some polymorphic hashtables (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2481003982\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1219\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1219/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1219\">#1219</a>)"}},{"before":"0f1337d4ec20112b609192e0559ad3f1228f5aff","after":"700d5e8f569c5ec78cccdf83b9fcb16d86c6fe15","ref":"refs/heads/next","pushedAt":"2024-08-22T13:19:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Remove instructions to install AE on Debian (#1217)\n\nWe do not support this package for a long time.","shortMessageHtmlLink":"Remove instructions to install AE on Debian (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2480764273\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1217\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1217/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1217\">#1217</a>)"}},{"before":"8fa8b38a6064e83bf20150df3f61dab249d3ba78","after":"0f1337d4ec20112b609192e0559ad3f1228f5aff","ref":"refs/heads/next","pushedAt":"2024-08-22T13:10:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Add documentation for Windows support (#1216)\n\n* Add documentation for Windows support\r\n\r\nThis commit adds documentation for installing AE on Windows\r\nwith opam 2.2.","shortMessageHtmlLink":"Add documentation for Windows support (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2480723780\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1216\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1216/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1216\">#1216</a>)"}},{"before":"dfcc9008eaa46f517a3174fbb1402c015333e0bb","after":"8fa8b38a6064e83bf20150df3f61dab249d3ba78","ref":"refs/heads/next","pushedAt":"2024-08-22T12:56:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Use logs in `Adt_rel` (#1207)\n\n* Use logs in `Adt_rel`","shortMessageHtmlLink":"Use logs in <code>Adt_rel</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2461529004\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1207\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1207/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1207\">#1207</a>)"}},{"before":"1445b140699c7abeb1a2de28160ad8209df3e6e5","after":"dfcc9008eaa46f517a3174fbb1402c015333e0bb","ref":"refs/heads/next","pushedAt":"2024-08-22T12:05:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Halbaroth","name":"Pierrot","path":"/Halbaroth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2018890?s=80&v=4"},"commit":{"message":"Minimal `Logs` integration (#1206)\n\n* Add minimal Logs integration\r\n\r\nThis PR adds:\r\n- `Logs` as a new dependency;\r\n- Logs' sources for each debug flag;\r\n- A reporter that prints on the appropriate output (regular or\r\n  diagnostic) according to the source.","shortMessageHtmlLink":"Minimal <code>Logs</code> integration (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2461234940\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1206\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1206/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1206\">#1206</a>)"}},{"before":"92f37dd4078675e7b086ef85376eae47b267ac31","after":"5b6de9d2b55627145821432a5cc047eb9fd76ea7","ref":"refs/heads/gh-pages","pushedAt":"2024-08-20T10:24:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from  @ 1445b140699c7abeb1a2de28160ad8209df3e6e5 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/OCamlPro/alt-ergo/commit/1445b140699c7abeb1a2de28160ad8209df3e6e5/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/commit/1445b140699c7abeb1a2de28160ad8209df3e6e5\"><tt>1445b14</tt></a> 🚀"}},{"before":"28819ec677c2e20d399acdf1de299b179187b069","after":"1445b140699c7abeb1a2de28160ad8209df3e6e5","ref":"refs/heads/next","pushedAt":"2024-08-20T10:20:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"bclement-ocp","name":"Basile Clément","path":"/bclement-ocp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129742207?s=80&v=4"},"commit":{"message":"chore(BV, CP): Refactor propagation mechanism (#1185)\n\nThis patch simplifies the propagation mechanism (currently used in the\r\nbit-vector relations only) in order to accomodate different types of\r\npropagators more easily.\r\n\r\nIn particular, there is now a single generic (and configurable) loop\r\nthat runs the propagators instead of a spaghetti of different loops for\r\neach kind of propagators.","shortMessageHtmlLink":"chore(BV, CP): Refactor propagation mechanism (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2435350632\" data-permission-text=\"Title is private\" data-url=\"https://github.com/OCamlPro/alt-ergo/issues/1185\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/OCamlPro/alt-ergo/pull/1185/hovercard\" href=\"https://github.com/OCamlPro/alt-ergo/pull/1185\">#1185</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAErcdGAAA","startCursor":null,"endCursor":null}},"title":"Activity · OCamlPro/alt-ergo"}