{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":143658169,"defaultBranch":"master","name":"monae","ownerLogin":"affeldt-aist","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-08-06T00:36:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33154536?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1723191347.0","currentOid":""},"activityList":{"items":[{"before":"676aff9955ad0afe81758da130f137928b186ba8","after":"3a844540c61c5715baf981142cc1909474d318ce","ref":"refs/heads/master","pushedAt":"2024-08-13T03:33:31.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":"rm a couple of the functor (#141)","shortMessageHtmlLink":"rm a couple of the functor (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2457378577\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/monae/issues/141\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/monae/pull/141/hovercard\" href=\"https://github.com/affeldt-aist/monae/pull/141\">#141</a>)"}},{"before":null,"after":"3fd6bedcfef12496696c4315c3adaedbc619347a","ref":"refs/heads/clean_20240809","pushedAt":"2024-08-09T08:15:47.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":"rm a couple of the functor","shortMessageHtmlLink":"rm a couple of the functor"}},{"before":"5e6eefecf06e98449861b2f6e6f589c368adcd34","after":"676aff9955ad0afe81758da130f137928b186ba8","ref":"refs/heads/master","pushedAt":"2024-08-09T07:22:47.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":"fix","shortMessageHtmlLink":"fix"}},{"before":"ce811a195d8f30435427e5b7686493a2b3971154","after":null,"ref":"refs/heads/subdirs","pushedAt":"2024-07-12T12:05:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"}},{"before":"fd70c72f8ea80d16a5b8e4e7930522b91a43f34b","after":"5e6eefecf06e98449861b2f6e6f589c368adcd34","ref":"refs/heads/master","pushedAt":"2024-07-12T12:05:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"},"commit":{"message":"Subdirs (#140)\n\n* introduce subdirectories (core, lib, models, applications)\r\n* rename monae_lib.v -> preamble.v","shortMessageHtmlLink":"Subdirs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2405047688\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/monae/issues/140\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/monae/pull/140/hovercard\" href=\"https://github.com/affeldt-aist/monae/pull/140\">#140</a>)"}},{"before":"abcc3a2e3e2367310a16b427397b75801ec214c3","after":"ce811a195d8f30435427e5b7686493a2b3971154","ref":"refs/heads/subdirs","pushedAt":"2024-07-12T10:31:53.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":"fix","shortMessageHtmlLink":"fix"}},{"before":"bad154a03d6460d504f9143161986a61f6506631","after":"abcc3a2e3e2367310a16b427397b75801ec214c3","ref":"refs/heads/subdirs","pushedAt":"2024-07-12T07:34:36.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":"fix","shortMessageHtmlLink":"fix"}},{"before":null,"after":"bad154a03d6460d504f9143161986a61f6506631","ref":"refs/heads/subdirs","pushedAt":"2024-07-12T06:52:28.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":"rename monae_lib","shortMessageHtmlLink":"rename monae_lib"}},{"before":"d157e5a099ae58659145b652c52bc69a6a0aec17","after":null,"ref":"refs/heads/separate_crun","pushedAt":"2024-07-12T05:50:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"}},{"before":"b1cbcc8c9696a495a74de6f4c5f02c2a232f7257","after":"fd70c72f8ea80d16a5b8e4e7930522b91a43f34b","ref":"refs/heads/master","pushedAt":"2024-07-12T05:50:52.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":"separate crun out of MonadTypedStore (#138)\n\n* separate MonadTypedStore into MonadTypedStore (without crun) and MonadTypedStoreRun\r\n\r\n* generalize some lemmas in typed_store_lib.v\r\n\r\n* finer sectioning in example_typed_store","shortMessageHtmlLink":"separate crun out of MonadTypedStore (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2403116245\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/monae/issues/138\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/monae/pull/138/hovercard\" href=\"https://github.com/affeldt-aist/monae/pull/138\">#138</a>)"}},{"before":"787c79d49313f414fb2193c5509a2aa924723b39","after":"d157e5a099ae58659145b652c52bc69a6a0aec17","ref":"refs/heads/separate_crun","pushedAt":"2024-07-11T13:42:30.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":"no the","shortMessageHtmlLink":"no the"}},{"before":"66b579bc64cce67b8e9abfaecd2d91ce140b3346","after":"787c79d49313f414fb2193c5509a2aa924723b39","ref":"refs/heads/separate_crun","pushedAt":"2024-07-11T13:41:17.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":"finer sectioning in exmaple_typed_store","shortMessageHtmlLink":"finer sectioning in exmaple_typed_store"}},{"before":null,"after":"66b579bc64cce67b8e9abfaecd2d91ce140b3346","ref":"refs/heads/separate_crun","pushedAt":"2024-07-11T12:53:39.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":"generalize some lemmas in typed_store_lib.v","shortMessageHtmlLink":"generalize some lemmas in typed_store_lib.v"}},{"before":"190d4ca1d99904ea1ab696c7711136fdd7a5a6ef","after":null,"ref":"refs/heads/compatibility_coq817","pushedAt":"2024-07-11T09:48:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"}},{"before":"f179c1dc60c8aaafe53f3cbeaea6503a6d1756f2","after":null,"ref":"refs/heads/README_20230727","pushedAt":"2024-07-11T09:48:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"}},{"before":"8d57f51891d9ccba0b200db9f82c91ed2e6face6","after":null,"ref":"refs/heads/wrt_infotheo_master","pushedAt":"2024-07-11T09:48:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"}},{"before":"500baea5c89ec8c4fbb874ae4542e882c5bc6f09","after":"b1cbcc8c9696a495a74de6f4c5f02c2a232f7257","ref":"refs/heads/master","pushedAt":"2024-07-11T08:11:27.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":"rename one law","shortMessageHtmlLink":"rename one law"}},{"before":"b0798adc8d7046f85cf0a2ef84ace63a4f84441f","after":"500baea5c89ec8c4fbb874ae4542e882c5bc6f09","ref":"refs/heads/master","pushedAt":"2024-07-10T09:34:57.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":"remove unnecessary annotations (#137)\n\n* remove unnecessary annotations\r\n\r\n* put back annotation for clarity\r\n\r\n* use UU0","shortMessageHtmlLink":"remove unnecessary annotations (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2399924659\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/monae/issues/137\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/monae/pull/137/hovercard\" href=\"https://github.com/affeldt-aist/monae/pull/137\">#137</a>)"}},{"before":"250017e7524647741747fe365414cb710749fc02","after":"d7895f60da1c457697e83260793cf7a993f85471","ref":"refs/heads/free_monad","pushedAt":"2024-07-10T08:08:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"upd to HB (wip)","shortMessageHtmlLink":"upd to HB (wip)"}},{"before":"2a1b334684c51c9ef78baa384ac0234ba3bd30ed","after":"b0798adc8d7046f85cf0a2ef84ace63a4f84441f","ref":"refs/heads/master","pushedAt":"2024-07-10T07:43:57.000Z","pushType":"push","commitsCount":2,"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":"3ed79abfd46f48508db955601eaf6108bd8d8f01","after":null,"ref":"refs/heads/eval_cyclic","pushedAt":"2024-07-10T07:16:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"}},{"before":null,"after":"3ed79abfd46f48508db955601eaf6108bd8d8f01","ref":"refs/heads/eval_cyclic","pushedAt":"2024-07-10T07:16:44.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":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"2212cbb39248ec29700a410a9a16ce40b6b6b5ec","after":null,"ref":"refs/heads/typed_store_nier","pushedAt":"2024-07-10T07:16:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"}},{"before":"df364e53c3b5a3237e675635bf0ae9a0e1b3a98b","after":null,"ref":"refs/heads/cyclel_rdrop_self","pushedAt":"2024-07-10T07:16:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"}},{"before":"5f342fd9d40e698370e047fa37361509126366e4","after":null,"ref":"refs/heads/ipartlE","pushedAt":"2024-07-10T07:16:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"}},{"before":"c3cf3051918003114dccd3a4a24da1058f89c7d4","after":null,"ref":"refs/heads/Cons_notation","pushedAt":"2024-07-10T07:16:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"}},{"before":"27bc43ddb057883b3eef01243d470b5f7b692236","after":null,"ref":"refs/heads/mc2","pushedAt":"2024-07-10T07:15:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"t6s","name":"Takafumi Saikawa","path":"/t6s","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1191438?s=80&v=4"}},{"before":"fafd22c87bd59096d0eacc321b627e428e609998","after":"8a02077e7857edd1b728925f2ed2b2401af7bfd0","ref":"refs/heads/ModelTypedStore_mc2","pushedAt":"2024-07-10T07:15:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"use UU0","shortMessageHtmlLink":"use UU0"}},{"before":"d05bffe2f1ba2160c0fcf66c86fbf4d1fc236ff4","after":"fafd22c87bd59096d0eacc321b627e428e609998","ref":"refs/heads/ModelTypedStore_mc2","pushedAt":"2024-07-10T07:11:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"put back annotation for clarity","shortMessageHtmlLink":"put back annotation for clarity"}},{"before":null,"after":"d05bffe2f1ba2160c0fcf66c86fbf4d1fc236ff4","ref":"refs/heads/ModelTypedStore_mc2","pushedAt":"2024-07-10T07:01:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"remove unnecessary annotations","shortMessageHtmlLink":"remove unnecessary annotations"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEmLvtdgA","startCursor":null,"endCursor":null}},"title":"Activity · affeldt-aist/monae"}