{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":130369797,"defaultBranch":"master","name":"fcsl-pcm","ownerLogin":"imdea-software","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-20T14:00:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6480782?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1683722356.0","currentOid":""},"activityList":{"items":[{"before":"d8c9246110e84d7e1b49a85a9006bb5b88aee641","after":"6f462300ae8a6f98b1407652943d3ac74e6f2b88","ref":"refs/heads/master","pushedAt":"2024-05-10T17:03:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"bump upper limit on coq","shortMessageHtmlLink":"bump upper limit on coq"}},{"before":"35cb0a2235adb656c2696e33512f0c4555ad753b","after":"d8c9246110e84d7e1b49a85a9006bb5b88aee641","ref":"refs/heads/master","pushedAt":"2024-05-10T16:35:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"upstream lemmas for union-find","shortMessageHtmlLink":"upstream lemmas for union-find"}},{"before":"b2aa83381cfc1d9a0b84cddbbb849a55c58faee3","after":"35cb0a2235adb656c2696e33512f0c4555ad753b","ref":"refs/heads/master","pushedAt":"2023-05-12T12:04:39.296Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"updated mathcomp upper bound to 1.17","shortMessageHtmlLink":"updated mathcomp upper bound to 1.17"}},{"before":"764ec0db0dc4a5101f42733e021df31592953fbd","after":null,"ref":"refs/heads/slice","pushedAt":"2023-05-10T12:28:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"}},{"before":"b5f63e89d0b3b04c343d95d7cc900dd146ff8a58","after":null,"ref":"refs/heads/merge_latest","pushedAt":"2023-05-10T12:28:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"}},{"before":"f3f037c28e714f74cf196f53722156d370daa468","after":null,"ref":"refs/heads/merge_2022_02","pushedAt":"2023-05-10T12:27:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"}},{"before":"7b7ce48c918859ab118c839f1a48a91578b25366","after":null,"ref":"refs/heads/natmap_usl","pushedAt":"2023-03-31T19:15:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"}},{"before":"a86007870a08dcea85862ff2cf1fa1f27c8a10e0","after":"b2aa83381cfc1d9a0b84cddbbb849a55c58faee3","ref":"refs/heads/master","pushedAt":"2023-03-31T19:15:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"port natmap to eqslices (#40)","shortMessageHtmlLink":"port natmap to eqslices (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1646414565\" data-permission-text=\"Title is private\" data-url=\"https://github.com/imdea-software/fcsl-pcm/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/imdea-software/fcsl-pcm/pull/40/hovercard\" href=\"https://github.com/imdea-software/fcsl-pcm/pull/40\">#40</a>)"}},{"before":"d09b2c2e824d149214dc2777cea3ebcc18ac6fb9","after":"7b7ce48c918859ab118c839f1a48a91578b25366","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-31T19:09:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"re-bump lower mc bound","shortMessageHtmlLink":"re-bump lower mc bound"}},{"before":"5b883f08a06137c9ca420cfa27f218a60bccc690","after":"d09b2c2e824d149214dc2777cea3ebcc18ac6fb9","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-31T19:06:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"switch coq and MC lower bounds","shortMessageHtmlLink":"switch coq and MC lower bounds"}},{"before":"363d8002c745962db6e453f551b595e816a363fc","after":"5b883f08a06137c9ca420cfa27f218a60bccc690","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-31T18:59:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"bump mathcomp lower bound to 1.15","shortMessageHtmlLink":"bump mathcomp lower bound to 1.15"}},{"before":"4c698002f2bc2de5c03570079157236809e82132","after":"363d8002c745962db6e453f551b595e816a363fc","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-31T18:54:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"bump dependencies","shortMessageHtmlLink":"bump dependencies"}},{"before":"23bdf3b0601201f9be857a88873c99338b127959","after":"4c698002f2bc2de5c03570079157236809e82132","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-31T16:59:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"add mathcomp-algebra dependency for interval","shortMessageHtmlLink":"add mathcomp-algebra dependency for interval"}},{"before":"0c162df5cb1744cf018fdbef6ba7201b4b10303f","after":"23bdf3b0601201f9be857a88873c99338b127959","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-31T16:14:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"refactor slice","shortMessageHtmlLink":"refactor slice"}},{"before":"33df8a240103d62b8b3f90586f423c59d8d4cfd1","after":"0c162df5cb1744cf018fdbef6ba7201b4b10303f","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-30T17:52:34.708Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"u/slice sortedness","shortMessageHtmlLink":"u/slice sortedness"}},{"before":"e03912cdf1c610d207f8632fc37edee66df0a45c","after":"33df8a240103d62b8b3f90586f423c59d8d4cfd1","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-30T15:12:55.441Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"make slt_irr more usable","shortMessageHtmlLink":"make slt_irr more usable"}},{"before":"d6198f2c09053a9d7dee579333e61f7fc15bd5bf","after":"e03912cdf1c610d207f8632fc37edee66df0a45c","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-30T14:55:28.817Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"better form of sltR","shortMessageHtmlLink":"better form of sltR"}},{"before":"9660c60e8c118a5b3407ba299fbe36de6ecc6fa6","after":"d6198f2c09053a9d7dee579333e61f7fc15bd5bf","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-30T12:24:07.899Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"move options.v","shortMessageHtmlLink":"move options.v"}},{"before":null,"after":"9660c60e8c118a5b3407ba299fbe36de6ecc6fa6","ref":"refs/heads/natmap_usl","pushedAt":"2023-03-29T19:46:52.767Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"drop seqint","shortMessageHtmlLink":"drop seqint"}},{"before":"f9cd936c714cbe2962aeb23c725e4bb7e00b097a","after":"a86007870a08dcea85862ff2cf1fa1f27c8a10e0","ref":"refs/heads/master","pushedAt":"2023-03-28T21:52:42.202Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"latest changes from FCSL","shortMessageHtmlLink":"latest changes from FCSL"}},{"before":"02ca5cac8f5e4418ab18b9281250bd11836871ba","after":"f9cd936c714cbe2962aeb23c725e4bb7e00b097a","ref":"refs/heads/master","pushedAt":"2023-03-28T20:58:02.544Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"additions from union-find HTT development","shortMessageHtmlLink":"additions from union-find HTT development"}},{"before":"036fe5bf1653f0f3a5af818786709b3570b9f228","after":null,"ref":"refs/heads/autopcm","pushedAt":"2023-03-24T16:26:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"}},{"before":"50318288b58ccaecbb3c4e05f3b317cc1fb95dbd","after":null,"ref":"refs/heads/universe-poly","pushedAt":"2023-03-24T16:26:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"}},{"before":"8443f7e35f70c73b6185beeab427d516feb43747","after":null,"ref":"refs/heads/v1.3","pushedAt":"2023-03-24T16:26:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"}},{"before":"487f1da5dda1ddfeed925625280e24d16f5b5ff1","after":null,"ref":"refs/heads/uslice","pushedAt":"2023-03-24T14:58:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"}},{"before":"a654207feab3c08150ae79ac929883fd04ef0191","after":"02ca5cac8f5e4418ab18b9281250bd11836871ba","ref":"refs/heads/master","pushedAt":"2023-03-24T14:58:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"Slice theory (#39)","shortMessageHtmlLink":"Slice theory (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1639551746\" data-permission-text=\"Title is private\" data-url=\"https://github.com/imdea-software/fcsl-pcm/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/imdea-software/fcsl-pcm/pull/39/hovercard\" href=\"https://github.com/imdea-software/fcsl-pcm/pull/39\">#39</a>)"}},{"before":"efafc9b3eb61aec0a670c3e1292059ae531b7416","after":"487f1da5dda1ddfeed925625280e24d16f5b5ff1","ref":"refs/heads/uslice","pushedAt":"2023-03-24T14:57:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"drop useq","shortMessageHtmlLink":"drop useq"}},{"before":"4b557b964931b705eb34f60ae2dfd6279f97ce6e","after":"efafc9b3eb61aec0a670c3e1292059ae531b7416","ref":"refs/heads/uslice","pushedAt":"2023-03-24T13:18:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"refactor find/indexall","shortMessageHtmlLink":"refactor find/indexall"}},{"before":"def1543c6867582624872963c4b4c3f8e7f9c4c6","after":"4b557b964931b705eb34f60ae2dfd6279f97ce6e","ref":"refs/heads/uslice","pushedAt":"2023-03-24T03:53:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"finish uslice","shortMessageHtmlLink":"finish uslice"}},{"before":null,"after":"def1543c6867582624872963c4b4c3f8e7f9c4c6","ref":"refs/heads/uslice","pushedAt":"2023-03-22T01:35:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"WIP useq theory","shortMessageHtmlLink":"WIP useq theory"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERscLOQA","startCursor":null,"endCursor":null}},"title":"Activity · imdea-software/fcsl-pcm"}