{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":114941836,"defaultBranch":"master","name":"infotheo","ownerLogin":"affeldt-aist","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-12-20T23:51:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33154536?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1721295590.0","currentOid":""},"activityList":{"items":[{"before":"acced3388233ee3014b46cb07608327e59803a23","after":"1a954516773796ba67ad3451e07e55832dd65cfc","ref":"refs/heads/proba_port","pushedAt":"2024-07-29T10:55:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"expected_value_variance_ordn.v","shortMessageHtmlLink":"expected_value_variance_ordn.v"}},{"before":"f99f249fee456f7f3cb8c211b0a2c45c23fb1bfc","after":"acced3388233ee3014b46cb07608327e59803a23","ref":"refs/heads/proba_port","pushedAt":"2024-07-29T10:52:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"expected_value_variance.v","shortMessageHtmlLink":"expected_value_variance.v"}},{"before":"8f768fce832fb640f351ee25f228003ea82ffb17","after":"f99f249fee456f7f3cb8c211b0a2c45c23fb1bfc","ref":"refs/heads/proba_port","pushedAt":"2024-07-29T10:39:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"convex_equiv.v","shortMessageHtmlLink":"convex_equiv.v"}},{"before":"1b74b36007a09843fb7c1fbc64ed605aedf33357","after":"8f768fce832fb640f351ee25f228003ea82ffb17","ref":"refs/heads/proba_port","pushedAt":"2024-07-29T10:31:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"bayes.v","shortMessageHtmlLink":"bayes.v"}},{"before":"7401225830cb7a7365aa90564b459b437a531b34","after":"1b74b36007a09843fb7c1fbc64ed605aedf33357","ref":"refs/heads/proba_port","pushedAt":"2024-07-25T01:27:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"necset.v","shortMessageHtmlLink":"necset.v"}},{"before":"8a89cfe63198705636bbcb07c10008db6eac2222","after":"7401225830cb7a7365aa90564b459b437a531b34","ref":"refs/heads/proba_port","pushedAt":"2024-07-25T01:24:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"pinsker","shortMessageHtmlLink":"pinsker"}},{"before":"976086e853caa2df42a4d12890c03f1a11f94bc6","after":"8a89cfe63198705636bbcb07c10008db6eac2222","ref":"refs/heads/proba_port","pushedAt":"2024-07-25T01:22:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"divergence","shortMessageHtmlLink":"divergence"}},{"before":"66295440eae5f54f86f709c1aa1c22c6016d3f65","after":"976086e853caa2df42a4d12890c03f1a11f94bc6","ref":"refs/heads/proba_port","pushedAt":"2024-07-24T05:07:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"kill warnings in robustmean","shortMessageHtmlLink":"kill warnings in robustmean"}},{"before":"a2c4c12491e3c82c697e3d79dd3e9cb9c90b1016","after":"66295440eae5f54f86f709c1aa1c22c6016d3f65","ref":"refs/heads/proba_port","pushedAt":"2024-07-24T05:01:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"robustmean.v","shortMessageHtmlLink":"robustmean.v"}},{"before":"c463d8123a635603163213ec5b5ca54746cfdf4c","after":"a2c4c12491e3c82c697e3d79dd3e9cb9c90b1016","ref":"refs/heads/proba_port","pushedAt":"2024-07-18T16:55:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"wip robustmean.v","shortMessageHtmlLink":"wip robustmean.v"}},{"before":"1546986dab9e42e30cd912a02750760f56c3a625","after":"6d8b57273c25e358fc5782df9ca23a052805c4f4","ref":"refs/heads/bounds_20240718","pushedAt":"2024-07-18T10:14:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"more tests but failing","shortMessageHtmlLink":"more tests but failing"}},{"before":null,"after":"1546986dab9e42e30cd912a02750760f56c3a625","ref":"refs/heads/bounds_20240718","pushedAt":"2024-07-18T09:39:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"improve bounds","shortMessageHtmlLink":"improve bounds"}},{"before":"afa1dcffee322f543a856e96537572ec72744bfe","after":"c463d8123a635603163213ec5b5ca54746cfdf4c","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T21:13:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"variation_dist","shortMessageHtmlLink":"variation_dist"}},{"before":"548d795dfbba04f2a15538c5ebc7ba61bc7044e8","after":"afa1dcffee322f543a856e96537572ec72744bfe","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T20:55:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"jensen","shortMessageHtmlLink":"jensen"}},{"before":"11cf6dbafcd7a9b7864a360c823042846ad354bc","after":"548d795dfbba04f2a15538c5ebc7ba61bc7044e8","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T20:34:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"graphoid","shortMessageHtmlLink":"graphoid"}},{"before":"16bf357f85beab4d64ccfedf8af7f57e64cbbde5","after":"11cf6dbafcd7a9b7864a360c823042846ad354bc","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T20:33:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"graphoid","shortMessageHtmlLink":"graphoid"}},{"before":"b16e4b8c39edc6f1c9e536eaf223ec4a5af47cd4","after":"16bf357f85beab4d64ccfedf8af7f57e64cbbde5","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T20:27:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"graphoid","shortMessageHtmlLink":"graphoid"}},{"before":"3c040cad11972676a514cbd368a72fbb0b8bb8c1","after":"b16e4b8c39edc6f1c9e536eaf223ec4a5af47cd4","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T18:47:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"convex_equiv","shortMessageHtmlLink":"convex_equiv"}},{"before":"57db0548c320bcabb133044cff9eea67de725e78","after":"3c040cad11972676a514cbd368a72fbb0b8bb8c1","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T17:56:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"fsdist.v","shortMessageHtmlLink":"fsdist.v"}},{"before":"a9b3b12d26f2ed5de21231b58e803626e6d5e98a","after":"57db0548c320bcabb133044cff9eea67de725e78","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T08:43:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"jfdist_cond done","shortMessageHtmlLink":"jfdist_cond done"}},{"before":"3b27a8dae8dacf692d2f000a2e65cdc4aa0f3c99","after":"a9b3b12d26f2ed5de21231b58e803626e6d5e98a","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T07:02:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"prob.v done","shortMessageHtmlLink":"prob.v done"}},{"before":"cbe8f39c8294bb434aa8be410ede8471968f80fa","after":"3b27a8dae8dacf692d2f000a2e65cdc4aa0f3c99","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T05:44:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"2a320f308f6be8637a91ea72b9de85b50e986dc3","after":"cbe8f39c8294bb434aa8be410ede8471968f80fa","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T03:59:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"progress until log_RV","shortMessageHtmlLink":"progress until log_RV"}},{"before":null,"after":"2a320f308f6be8637a91ea72b9de85b50e986dc3","ref":"refs/heads/proba_port","pushedAt":"2024-07-17T02:33:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"start porting proba.v","shortMessageHtmlLink":"start porting proba.v"}},{"before":"d0547a2a3263003e69cd6ad8c2cc5f91d83b830a","after":"5d7668681105dc24bf2608ecc8b4135006e12046","ref":"refs/heads/mcreal","pushedAt":"2024-07-17T02:07:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"reduce imports","shortMessageHtmlLink":"reduce imports"}},{"before":"f8cddb2c3e413707e0d3d2a20e91ac30be3522b6","after":"d0547a2a3263003e69cd6ad8c2cc5f91d83b830a","ref":"refs/heads/mcreal","pushedAt":"2024-07-17T02:05:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"fix scope","shortMessageHtmlLink":"fix scope"}},{"before":null,"after":"f8cddb2c3e413707e0d3d2a20e91ac30be3522b6","ref":"refs/heads/mcreal","pushedAt":"2024-07-17T01:03:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"start migrating from coq R to mca R","shortMessageHtmlLink":"start migrating from coq R to mca R"}},{"before":"da247746070201debc288e4bae8e877519ea609a","after":"5a1e1cb3b66adf7ad76db3a61be9eae0f70fa88c","ref":"refs/heads/master","pushedAt":"2024-07-13T15:06:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"tweaks (#125)","shortMessageHtmlLink":"tweaks (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2406779218\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/infotheo/issues/125\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/infotheo/pull/125/hovercard\" href=\"https://github.com/affeldt-aist/infotheo/pull/125\">#125</a>)"}},{"before":"b7074c49ca24b3642045602d59689d0c4004156a","after":"da247746070201debc288e4bae8e877519ea609a","ref":"refs/heads/master","pushedAt":"2024-07-11T03:01:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"minor edits","shortMessageHtmlLink":"minor edits"}},{"before":"89a20e475efbb245d7ec5b727589507dd046a425","after":"b7074c49ca24b3642045602d59689d0c4004156a","ref":"refs/heads/master","pushedAt":"2024-07-04T08:24:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"renaming (#124)","shortMessageHtmlLink":"renaming (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2389782448\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/infotheo/issues/124\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/infotheo/pull/124/hovercard\" href=\"https://github.com/affeldt-aist/infotheo/pull/124\">#124</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEi8lEpAA","startCursor":null,"endCursor":null}},"title":"Activity · affeldt-aist/infotheo"}