{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":65912716,"defaultBranch":"main","name":"stainless","ownerLogin":"epfl-lara","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-08-17T14:08:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3035238?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715689465.0","currentOid":""},"activityList":{"items":[{"before":"7fd69e25b3d7080dd19ccd2eba662e6b902e4527","after":"f2159c94c261a018861967bbf08d42401ad3b470","ref":"refs/heads/main","pushedAt":"2024-05-27T18:46:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Enhance unfold to work on bindings and imperative code as well (#1533)","shortMessageHtmlLink":"Enhance unfold to work on bindings and imperative code as well (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2318859263\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1533\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1533/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1533\">#1533</a>)"}},{"before":"ab2bb0759c5f851a81504517e7908bfbdcabd439","after":"7fd69e25b3d7080dd19ccd2eba662e6b902e4527","ref":"refs/heads/main","pushedAt":"2024-05-27T12:32:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"use the latest Inox version","shortMessageHtmlLink":"use the latest Inox version"}},{"before":"7dcfcf6bff63fb9e0a2a09642b621c5ac78e8293","after":"ab2bb0759c5f851a81504517e7908bfbdcabd439","ref":"refs/heads/main","pushedAt":"2024-05-19T14:08:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Fix #1530 (#1532) allow using `old` in ensuring of inner functions even if variable is unchanged\n\nCo-authored-by: Viktor Kunčak <vkuncak@users.noreply.github.com>","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1530.\">Fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2302246757\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1530\" data-hovercard-type=\"issue\" data-hovercard-url=\"/epfl-lara/stainless/issues/1530/hovercard\" href=\"https://github.com/epfl-lara/stainless/issues/1530\">#1530</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2302476754\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1532\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1532/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1532\">#1532</a>) allow using <code>old</code> in ensuring of inner functions ev…"}},{"before":"ace5cad626c4ca2a561fe8b973cf262b3f2ad4fc","after":"7dcfcf6bff63fb9e0a2a09642b621c5ac78e8293","ref":"refs/heads/main","pushedAt":"2024-05-19T13:42:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Fix #1529 (#1531) bug in type checking arrays","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1529.\">Fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2302094553\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1529\" data-hovercard-type=\"issue\" data-hovercard-url=\"/epfl-lara/stainless/issues/1529/hovercard\" href=\"https://github.com/epfl-lara/stainless/issues/1529\">#1529</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2302250355\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1531\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1531/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1531\">#1531</a>) bug in type checking arrays"}},{"before":"7a3621446cf582dc66e474123cc39e2f53ff8ab8","after":"ace5cad626c4ca2a561fe8b973cf262b3f2ad4fc","ref":"refs/heads/main","pushedAt":"2024-05-15T12:48:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Fix SBT plugin by changing sonatypeOssRepos (#1528)","shortMessageHtmlLink":"Fix SBT plugin by changing sonatypeOssRepos (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2297711199\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1528\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1528/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1528\">#1528</a>)"}},{"before":"9f136b6e4680f30a66f63d6d431703c879210f72","after":"7a3621446cf582dc66e474123cc39e2f53ff8ab8","ref":"refs/heads/main","pushedAt":"2024-05-14T13:57:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Remove longstanding CI message typo: solvr -> solver (#1526)\n\nCo-authored-by: Viktor Kunčak <vkuncak@users.noreply.github.com>","shortMessageHtmlLink":"Remove longstanding CI message typo: solvr -&gt; solver (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295190538\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1526\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1526/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1526\">#1526</a>)"}},{"before":"d0b07bb33ddba7d93d6f77edb49c5dfb10b2f1ad","after":"9f136b6e4680f30a66f63d6d431703c879210f72","ref":"refs/heads/main","pushedAt":"2024-05-14T13:12:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Stainless sets are finite. Nested sets example. gh-pages push to main, not master  (#1527)","shortMessageHtmlLink":"Stainless sets are finite. Nested sets example. gh-pages push to main…"}},{"before":null,"after":"62a314aecd32387cac8bebcd0926c6032957f0eb","ref":"refs/heads/vk/sets-are-finite","pushedAt":"2024-05-14T12:24:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Documented Stainless sets as finite. Added nested sets example. gh-pages branch name fix","shortMessageHtmlLink":"Documented Stainless sets as finite. Added nested sets example. gh-pa…"}},{"before":"924f9873b0e5d13dd4f05e9a610e85fde84c1580","after":"d0b07bb33ddba7d93d6f77edb49c5dfb10b2f1ad","ref":"refs/heads/main","pushedAt":"2024-05-14T11:45:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Move Inox as a submodule instead of an http dependency (#1520)\n\n* make inox submodule tracking main branch\r\n\r\n* fix deprecated syntax in StainlessPlugin.scala\r\n\r\n* wrong return type for def globalSettings in StainlessPlugin.scala\r\n\r\n* add note about submodules in the readme","shortMessageHtmlLink":"Move Inox as a submodule instead of an http dependency (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2282936467\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1520\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1520/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1520\">#1520</a>)"}},{"before":"35725e1858ff7abd8762ba7a125d60227ace23de","after":null,"ref":"refs/heads/drganam-patch-1","pushedAt":"2024-05-14T08:13:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"}},{"before":"d3e7f4422014b4f42fc32400439e72702b37f64c","after":"924f9873b0e5d13dd4f05e9a610e85fde84c1580","ref":"refs/heads/main","pushedAt":"2024-05-14T08:12:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Update HOTest.scala\n\nI think the decreases annotation is not necessary here.","shortMessageHtmlLink":"Update HOTest.scala"}},{"before":null,"after":"35725e1858ff7abd8762ba7a125d60227ace23de","ref":"refs/heads/drganam-patch-1","pushedAt":"2024-05-13T18:08:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"drganam","name":null,"path":"/drganam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19606232?s=80&v=4"},"commit":{"message":"Update HOTest.scala\n\nI think the decreases annotation is not necessary here.","shortMessageHtmlLink":"Update HOTest.scala"}},{"before":"5fca355d86753645aa163c18c859e557a3015eb0","after":"d3e7f4422014b4f42fc32400439e72702b37f64c","ref":"refs/heads/main","pushedAt":"2024-05-13T14:47:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Remove Scala 2 mentions in the tests (#1524)\n\nCo-authored-by: Viktor Kunčak <vkuncak@users.noreply.github.com>","shortMessageHtmlLink":"Remove Scala 2 mentions in the tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2292730705\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1524\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1524/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1524\">#1524</a>)"}},{"before":"d297e0f2c536e9856e8d50b863229b3b02e0651c","after":"5fca355d86753645aa163c18c859e557a3015eb0","ref":"refs/heads/main","pushedAt":"2024-05-13T13:10:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Add documentation for codespaces use and link to a sample repo (#1440)\n\n* add documentation for codespaces\r\n* add comment about vscode over ssh\r\n* update README for codespaces","shortMessageHtmlLink":"Add documentation for codespaces use and link to a sample repo (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1911041691\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1440\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1440/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1440\">#1440</a>)"}},{"before":"64e5ae9b824fddc4d2db7a45fb0890b7280251a7","after":"d297e0f2c536e9856e8d50b863229b3b02e0651c","ref":"refs/heads/main","pushedAt":"2024-05-13T12:17:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"ExceptionLifting phase transforms throw new Exception into `assert(false)` fixes #1512 (#1521)\n\n* transform throw in an assert(false) \r\n* Monadic try in the library + tests, with inline flatMap\r\n* benchmarks \r\n* adapt invalid test i800b as now only try-catch are forbidden","shortMessageHtmlLink":"ExceptionLifting phase transforms throw new Exception into `assert(fa…"}},{"before":null,"after":"ac6718083007bc95bc518e43507fe739bc0ada8a","ref":"refs/heads/gh-pages","pushedAt":"2024-05-09T19:09:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Update documentation","shortMessageHtmlLink":"Update documentation"}},{"before":"a7303f303b957629b87593eaecb5b3df6706adea","after":"64e5ae9b824fddc4d2db7a45fb0890b7280251a7","ref":"refs/heads/main","pushedAt":"2024-05-08T16:20:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Remove remaining of Scala 2 in some scripts","shortMessageHtmlLink":"Remove remaining of Scala 2 in some scripts"}},{"before":"12d8c563d739b01aaadbd88e8acb2a16cb2cc7da","after":null,"ref":"refs/heads/romac/swaydb","pushedAt":"2024-05-08T12:57:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"}},{"before":"a614a4d612df717a77f321be4f13c73c9b6ad596","after":null,"ref":"refs/heads/vkuncak-patch-1","pushedAt":"2024-05-08T12:56:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"}},{"before":"b8f2bb9524e55a11ba4e8907fd5360dbf4dda747","after":null,"ref":"refs/heads/docs","pushedAt":"2024-05-08T12:56:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"}},{"before":"857f0d3330ada547cd07bea300b91efaad331015","after":null,"ref":"refs/heads/gh-pages","pushedAt":"2024-05-08T12:56:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"}},{"before":"0ec8d3acca55a9b16b2321aff5c92407a9961929","after":"a7303f303b957629b87593eaecb5b3df6706adea","ref":"refs/heads/main","pushedAt":"2024-05-08T12:46:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"samuelchassot","name":"Samuel Chassot","path":"/samuelchassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14821693?s=80&v=4"},"commit":{"message":"Remove support for Scala 2 (#1517)\n\n* remove scalac frontend\r\n\r\n* readme upate to remove scala 2\r\n\r\n* scripts\r\n\r\n* update scripts\r\n\r\n* add a note on scala 2.13 support\r\n\r\n* Update README.md\r\n\r\n---------\r\n\r\nCo-authored-by: Viktor Kunčak <vkuncak@users.noreply.github.com>","shortMessageHtmlLink":"Remove support for Scala 2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2277528060\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1517\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1517/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1517\">#1517</a>)"}},{"before":"0180904ae039fb692c1bfc3a4a3a135a6eb0eefe","after":"0ec8d3acca55a9b16b2321aff5c92407a9961929","ref":"refs/heads/main","pushedAt":"2024-05-06T21:04:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"47806ea2665f3f908b6808ce266fecc8c6257019","after":"0180904ae039fb692c1bfc3a4a3a135a6eb0eefe","ref":"refs/heads/main","pushedAt":"2024-05-06T08:44:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"release notes for 0.9.8.7 (#1518)","shortMessageHtmlLink":"release notes for 0.9.8.7 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2280321524\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/stainless/issues/1518\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/stainless/pull/1518/hovercard\" href=\"https://github.com/epfl-lara/stainless/pull/1518\">#1518</a>)"}},{"before":"e77a5abca70d50c22bf65287662838c7010ef0f8","after":"47806ea2665f3f908b6808ce266fecc8c6257019","ref":"refs/heads/main","pushedAt":"2024-05-03T11:42:55.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Update MonadicTry2.scala","shortMessageHtmlLink":"Update MonadicTry2.scala"}},{"before":"73c4be4fe6e65aabcae07d10ef33e89939185b9f","after":"e77a5abca70d50c22bf65287662838c7010ef0f8","ref":"refs/heads/main","pushedAt":"2024-05-02T11:00:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"missing files in previous cmmits","shortMessageHtmlLink":"missing files in previous cmmits"}},{"before":"54399d0a62cabd8c2480b8a14cc1fbf0d684e426","after":"73c4be4fe6e65aabcae07d10ef33e89939185b9f","ref":"refs/heads/main","pushedAt":"2024-04-30T16:53:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"new error message for not hot fields","shortMessageHtmlLink":"new error message for not hot fields"}},{"before":"c4b33d13d21c3bf5657d32d498e788b4783bfe5c","after":"54399d0a62cabd8c2480b8a14cc1fbf0d684e426","ref":"refs/heads/main","pushedAt":"2024-04-23T08:35:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"AntiAliasing: restore var binding in mapApplication","shortMessageHtmlLink":"AntiAliasing: restore var binding in mapApplication"}},{"before":"6ae9adca2da67bcfc02d394399273c518e101392","after":"c4b33d13d21c3bf5657d32d498e788b4783bfe5c","ref":"refs/heads/main","pushedAt":"2024-04-19T14:27:34.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"fix commit hash for inox in build.sbt","shortMessageHtmlLink":"fix commit hash for inox in build.sbt"}},{"before":"97caa41d1ecee0b1cf919c331ad8d642264b8d2b","after":"6ae9adca2da67bcfc02d394399273c518e101392","ref":"refs/heads/main","pushedAt":"2024-04-12T09:12:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Have isExpressionFresh consider arguments when computing freshness of a function call","shortMessageHtmlLink":"Have isExpressionFresh consider arguments when computing freshness of…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVSlYNwA","startCursor":null,"endCursor":null}},"title":"Activity · epfl-lara/stainless"}