{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":332798321,"defaultBranch":"master","name":"creusot","ownerLogin":"creusot-rs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-25T15:49:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/160618561?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717493005.0","currentOid":""},"activityList":{"items":[{"before":"42a43698551d7dbde59c299c1bee7f1eb2876598","after":"13f90baa72e8062adee9571cac979691afbad5f6","ref":"refs/heads/coma-improvements","pushedAt":"2024-06-06T15:18:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Fmt and warnings","shortMessageHtmlLink":"Fmt and warnings"}},{"before":"4830dbaf9105e9453904855324894e1b3a39ec48","after":"42a43698551d7dbde59c299c1bee7f1eb2876598","ref":"refs/heads/coma-improvements","pushedAt":"2024-06-06T15:17:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Very basic unit elimination","shortMessageHtmlLink":"Very basic unit elimination"}},{"before":"201e22c35bb720831f869eab3227861c6318a17a","after":"4830dbaf9105e9453904855324894e1b3a39ec48","ref":"refs/heads/coma-improvements","pushedAt":"2024-06-04T11:48:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Give types shorter names","shortMessageHtmlLink":"Give types shorter names"}},{"before":"1d38909e90dbc611d55ba93a311ddb8128f6fd77","after":"917bcee12a418468cfdebac7b73e08750121df99","ref":"refs/heads/master","pushedAt":"2024-06-04T09:23:46.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Armael","name":"Armaël Guéneau","path":"/Armael","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/315125?s=80&v=4"},"commit":{"message":"Merge pull request #1019 from Armael/ncores\n\nsetup: allow configuring the number of cores used by why3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2331840002\" data-permission-text=\"Title is private\" data-url=\"https://github.com/creusot-rs/creusot/issues/1019\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/creusot-rs/creusot/pull/1019/hovercard\" href=\"https://github.com/creusot-rs/creusot/pull/1019\">#1019</a> from Armael/ncores"}},{"before":null,"after":"201e22c35bb720831f869eab3227861c6318a17a","ref":"refs/heads/coma-improvements","pushedAt":"2024-06-04T09:23:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Add the hashconsing on spans","shortMessageHtmlLink":"Add the hashconsing on spans"}},{"before":"9f1f266282fafdf0d315737b4cc76f3c3535b6d3","after":null,"ref":"refs/heads/coma","pushedAt":"2024-06-03T12:03:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"}},{"before":"ac24c5b2e231192697779d60042439f4ca7a5055","after":"1d38909e90dbc611d55ba93a311ddb8128f6fd77","ref":"refs/heads/master","pushedAt":"2024-06-03T12:03:24.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Merge pull request #968 from creusot-rs/coma\n\nComa backend","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2177630059\" data-permission-text=\"Title is private\" data-url=\"https://github.com/creusot-rs/creusot/issues/968\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/creusot-rs/creusot/pull/968/hovercard\" href=\"https://github.com/creusot-rs/creusot/pull/968\">#968</a> from creusot-rs/coma"}},{"before":"fc730f6f2d72a5e0188afc8ec59fec0428762615","after":"9f1f266282fafdf0d315737b4cc76f3c3535b6d3","ref":"refs/heads/coma","pushedAt":"2024-06-02T19:22:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Update sessions","shortMessageHtmlLink":"Update sessions"}},{"before":"b485f57286f4e92aabc57304a5dae4b72eae6fce","after":"fc730f6f2d72a5e0188afc8ec59fec0428762615","ref":"refs/heads/coma","pushedAt":"2024-06-02T18:47:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Update sessions","shortMessageHtmlLink":"Update sessions"}},{"before":"d7fc06bed565655c4aed0996477c411ddd844c49","after":"b485f57286f4e92aabc57304a5dae4b72eae6fce","ref":"refs/heads/coma","pushedAt":"2024-06-02T18:33:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Update sessions","shortMessageHtmlLink":"Update sessions"}},{"before":"9fad44b3f256083bd68c13ae0c70dc7f56b05ccf","after":"d7fc06bed565655c4aed0996477c411ddd844c49","ref":"refs/heads/coma","pushedAt":"2024-06-02T18:26:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Update sessions","shortMessageHtmlLink":"Update sessions"}},{"before":"8823fe79ae0b74df7f1bc3fcdb877d829076f4dc","after":"9fad44b3f256083bd68c13ae0c70dc7f56b05ccf","ref":"refs/heads/coma","pushedAt":"2024-06-02T18:24:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"update sessions","shortMessageHtmlLink":"update sessions"}},{"before":"01d694c3fa14cb47f5ffc77d58fc1f32d53b0f06","after":null,"ref":"refs/heads/better-errors","pushedAt":"2024-06-02T18:21:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"}},{"before":"4a63a64a2919c68299056fc5baa98607b52da66b","after":"ac24c5b2e231192697779d60042439f4ca7a5055","ref":"refs/heads/master","pushedAt":"2024-06-02T18:21:05.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Merge pull request #1015 from creusot-rs/better-errors\n\nSlightly better error messages","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329701315\" data-permission-text=\"Title is private\" data-url=\"https://github.com/creusot-rs/creusot/issues/1015\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/creusot-rs/creusot/pull/1015/hovercard\" href=\"https://github.com/creusot-rs/creusot/pull/1015\">#1015</a> from creusot-rs/better-errors"}},{"before":"26aedaf73f6f581a4daf77ba480c2617ce79e053","after":"01d694c3fa14cb47f5ffc77d58fc1f32d53b0f06","ref":"refs/heads/better-errors","pushedAt":"2024-06-02T15:07:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Slightly better error messages","shortMessageHtmlLink":"Slightly better error messages"}},{"before":"114472a4385d8d924db285e05b1e7cbf7a0902ee","after":"4a63a64a2919c68299056fc5baa98607b52da66b","ref":"refs/heads/master","pushedAt":"2024-05-30T15:19:44.000Z","pushType":"pr_merge","commitsCount":21,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Merge pull request #999 from arnaudgolfouse/detect-recursion\n\nDetect recursion","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2281150034\" data-permission-text=\"Title is private\" data-url=\"https://github.com/creusot-rs/creusot/issues/999\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/creusot-rs/creusot/pull/999/hovercard\" href=\"https://github.com/creusot-rs/creusot/pull/999\">#999</a> from arnaudgolfouse/detect-recursion"}},{"before":"379db6483a90107c749ba0f0f92c5de89aebba1a","after":null,"ref":"refs/heads/fix-metadata-paths","pushedAt":"2024-05-30T08:01:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"}},{"before":"ea14b012ef186d46b634148dc5feead7fd500a96","after":"114472a4385d8d924db285e05b1e7cbf7a0902ee","ref":"refs/heads/master","pushedAt":"2024-05-30T08:01:12.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Merge pull request #1014 from creusot-rs/fix-metadata-paths\n\nFix metadata load path","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2324975381\" data-permission-text=\"Title is private\" data-url=\"https://github.com/creusot-rs/creusot/issues/1014\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/creusot-rs/creusot/pull/1014/hovercard\" href=\"https://github.com/creusot-rs/creusot/pull/1014\">#1014</a> from creusot-rs/fix-metadata-paths"}},{"before":null,"after":"379db6483a90107c749ba0f0f92c5de89aebba1a","ref":"refs/heads/fix-metadata-paths","pushedAt":"2024-05-30T07:56:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Fix metadata load path","shortMessageHtmlLink":"Fix metadata load path"}},{"before":null,"after":"22eaf10a28e4c5ff681e9dea1edcccc6fc9bce1e","ref":"refs/heads/export-opacity","pushedAt":"2024-05-30T07:52:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Export opacity in metadata","shortMessageHtmlLink":"Export opacity in metadata"}},{"before":"6992551258f2a9679cb86b628fac2df5f9e93457","after":"8823fe79ae0b74df7f1bc3fcdb877d829076f4dc","ref":"refs/heads/coma","pushedAt":"2024-05-29T18:18:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"update sessions","shortMessageHtmlLink":"update sessions"}},{"before":null,"after":"26aedaf73f6f581a4daf77ba480c2617ce79e053","ref":"refs/heads/better-errors","pushedAt":"2024-05-29T12:29:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Slightly better error messages","shortMessageHtmlLink":"Slightly better error messages"}},{"before":"3ee97b09352e417151c8677cad6c600e30a5c5e5","after":"6992551258f2a9679cb86b628fac2df5f9e93457","ref":"refs/heads/coma","pushedAt":"2024-05-28T16:43:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Update sessions","shortMessageHtmlLink":"Update sessions"}},{"before":"6c6bda9741dc874f4d614d249ac1271673cfe72d","after":"3ee97b09352e417151c8677cad6c600e30a5c5e5","ref":"refs/heads/coma","pushedAt":"2024-05-23T22:06:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"final session update","shortMessageHtmlLink":"final session update"}},{"before":"f71915d0ef8f9034aae3fec2cc800925718cb8ca","after":"6c6bda9741dc874f4d614d249ac1271673cfe72d","ref":"refs/heads/coma","pushedAt":"2024-05-23T20:21:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"final session update","shortMessageHtmlLink":"final session update"}},{"before":"6585e4aa7b8fd5183fe187cc3927df1e74df326b","after":"f71915d0ef8f9034aae3fec2cc800925718cb8ca","ref":"refs/heads/coma","pushedAt":"2024-05-23T19:38:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"final session update","shortMessageHtmlLink":"final session update"}},{"before":"40b03ff71fbd24f3539eb93f3a044d24b46c76cd","after":"ea14b012ef186d46b634148dc5feead7fd500a96","ref":"refs/heads/master","pushedAt":"2024-05-22T14:12:40.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Merge pull request #1010 from Armael/upgrade-why3\n\nupgrade why3 and cleanup the session for the red_black_tree test","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2310268519\" data-permission-text=\"Title is private\" data-url=\"https://github.com/creusot-rs/creusot/issues/1010\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/creusot-rs/creusot/pull/1010/hovercard\" href=\"https://github.com/creusot-rs/creusot/pull/1010\">#1010</a> from Armael/upgrade-why3"}},{"before":"98cc00f4167ce4895af182401a8f0ce0539928b4","after":"40b03ff71fbd24f3539eb93f3a044d24b46c76cd","ref":"refs/heads/master","pushedAt":"2024-05-22T10:50:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Armael","name":"Armaël Guéneau","path":"/Armael","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/315125?s=80&v=4"},"commit":{"message":"Merge pull request #1009 from arnaudgolfouse/fix-mlcfg\n\nFix the `mlcfg` script","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2309897838\" data-permission-text=\"Title is private\" data-url=\"https://github.com/creusot-rs/creusot/issues/1009\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/creusot-rs/creusot/pull/1009/hovercard\" href=\"https://github.com/creusot-rs/creusot/pull/1009\">#1009</a> from arnaudgolfouse/fix-mlcfg"}},{"before":"8f1e3ec228bba3e65b1698d9fda23c877cc16358","after":"98cc00f4167ce4895af182401a8f0ce0539928b4","ref":"refs/heads/master","pushedAt":"2024-05-20T15:26:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"},"commit":{"message":"Add description to creusot-contracts","shortMessageHtmlLink":"Add description to creusot-contracts"}},{"before":"496c0a78f826e3df10ad721b99d58b94a07c6263","after":null,"ref":"refs/heads/update-tomls","pushedAt":"2024-05-20T15:21:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xldenis","name":"Xavier Denis","path":"/xldenis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/451373?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXlgF3AA","startCursor":null,"endCursor":null}},"title":"Activity · creusot-rs/creusot"}