{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":263242163,"defaultBranch":"main","name":"coar","ownerLogin":"hiroshi-unno","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-12T05:32:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3120797?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717738939.0","currentOid":""},"activityList":{"items":[{"before":"aaa86858753aa0014b88850b12409769f57ed54b","after":"299e979bfce7d9b0532586bfc42b449fd0451531","ref":"refs/heads/main","pushedAt":"2024-06-07T05:06:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"Artifacts for the following papers:\n1. Satoshi Kura and Hiroshi Unno. Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System. ICFP 2024.\n2. Takeshi Tsukada and Hiroshi Unno. Inductive Approach to Spacer. PLDI 2024.","shortMessageHtmlLink":"Artifacts for the following papers:"}},{"before":"299e979bfce7d9b0532586bfc42b449fd0451531","after":null,"ref":"refs/heads/public-github","pushedAt":"2024-06-07T05:05:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"}},{"before":null,"after":"299e979bfce7d9b0532586bfc42b449fd0451531","ref":"refs/heads/public-github","pushedAt":"2024-06-07T05:04:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"Artifacts for the following papers:\n1. Satoshi Kura and Hiroshi Unno. Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System. ICFP 2024.\n2. Takeshi Tsukada and Hiroshi Unno. Inductive Approach to Spacer. PLDI 2024.","shortMessageHtmlLink":"Artifacts for the following papers:"}},{"before":"299e979bfce7d9b0532586bfc42b449fd0451531","after":null,"ref":"refs/heads/public-github","pushedAt":"2024-06-07T05:02:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"}},{"before":null,"after":"299e979bfce7d9b0532586bfc42b449fd0451531","ref":"refs/heads/public-github","pushedAt":"2024-06-07T05:02:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"Artifacts for the following papers:\n1. Satoshi Kura and Hiroshi Unno. Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System. ICFP 2024.\n2. Takeshi Tsukada and Hiroshi Unno. Inductive Approach to Spacer. PLDI 2024.","shortMessageHtmlLink":"Artifacts for the following papers:"}},{"before":"f677d82b56c7c8dcee3cd2d193ddb23028537b56","after":"aaa86858753aa0014b88850b12409769f57ed54b","ref":"refs/heads/main","pushedAt":"2024-05-07T14:28:00.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"Merge pull request #2 from mistzzt/fix-dockerfile\n\nFix libz3 path in Dockerfile and add github action config","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251458092\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hiroshi-unno/coar/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hiroshi-unno/coar/pull/2/hovercard\" href=\"https://github.com/hiroshi-unno/coar/pull/2\">#2</a> from mistzzt/fix-dockerfile"}},{"before":"dc094f04ed4e27ee9edaf5fd5a2433e89440b8ab","after":"f677d82b56c7c8dcee3cd2d193ddb23028537b56","ref":"refs/heads/main","pushedAt":"2024-01-10T10:59:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"Transition to using z3 4.8.8 or later","shortMessageHtmlLink":"Transition to using z3 4.8.8 or later"}},{"before":"a7d85ad2d3cd777990d2f32fbb39e64581373917","after":"dc094f04ed4e27ee9edaf5fd5a2433e89440b8ab","ref":"refs/heads/main","pushedAt":"2023-10-24T10:27:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"update README.md","shortMessageHtmlLink":"update README.md"}},{"before":"7e3594846e03bc1624f4b4846bc01321a1fbdf91","after":"a7d85ad2d3cd777990d2f32fbb39e64581373917","ref":"refs/heads/main","pushedAt":"2023-10-22T06:35:57.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"add instructions to README.md","shortMessageHtmlLink":"add instructions to README.md"}},{"before":"0d821a1c8f2826d4a50863b22f1e0d7e5ad0e28f","after":"7e3594846e03bc1624f4b4846bc01321a1fbdf91","ref":"refs/heads/main","pushedAt":"2023-10-18T13:25:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FugaKawamata","name":null,"path":"/FugaKawamata","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63218003?s=80&v=4"},"commit":{"message":"update the script so that memory limit can be specified","shortMessageHtmlLink":"update the script so that memory limit can be specified"}},{"before":"08e8a29690e42c811ab1ceab5102ff229f3c6c2c","after":null,"ref":"refs/tags/POPL24AE","pushedAt":"2023-10-18T13:23:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"FugaKawamata","name":null,"path":"/FugaKawamata","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63218003?s=80&v=4"}},{"before":"07dda5bfec1b90bd171d8d8fbe7d0a6d095fe518","after":"0d821a1c8f2826d4a50863b22f1e0d7e5ad0e28f","ref":"refs/heads/main","pushedAt":"2023-10-12T12:06:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f756f226021141daa6c9f8d6a3269ed415a01ece","after":"07dda5bfec1b90bd171d8d8fbe7d0a6d095fe518","ref":"refs/heads/main","pushedAt":"2023-10-10T11:16:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"Acknowledgements","shortMessageHtmlLink":"Acknowledgements"}},{"before":"08e8a29690e42c811ab1ceab5102ff229f3c6c2c","after":"f756f226021141daa6c9f8d6a3269ed415a01ece","ref":"refs/heads/main","pushedAt":"2023-10-09T22:48:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"fix a bug of pfwCSP preprocessor","shortMessageHtmlLink":"fix a bug of pfwCSP preprocessor"}},{"before":"71e3ef9b737d1bf9b8a3d9cdeda7a0451af1a5ce","after":null,"ref":"refs/tags/POPL24AE","pushedAt":"2023-10-09T14:30:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"}},{"before":"71e3ef9b737d1bf9b8a3d9cdeda7a0451af1a5ce","after":"08e8a29690e42c811ab1ceab5102ff229f3c6c2c","ref":"refs/heads/main","pushedAt":"2023-10-09T14:27:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"fix README.md","shortMessageHtmlLink":"fix README.md"}},{"before":"08e8a29690e42c811ab1ceab5102ff229f3c6c2c","after":null,"ref":"refs/heads/public-github","pushedAt":"2023-10-09T14:26:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"}},{"before":null,"after":"08e8a29690e42c811ab1ceab5102ff229f3c6c2c","ref":"refs/heads/public-github","pushedAt":"2023-10-09T14:25:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"fix README.md","shortMessageHtmlLink":"fix README.md"}},{"before":"08e8a29690e42c811ab1ceab5102ff229f3c6c2c","after":null,"ref":"refs/heads/public-github","pushedAt":"2023-10-09T14:17:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"}},{"before":null,"after":"08e8a29690e42c811ab1ceab5102ff229f3c6c2c","ref":"refs/heads/public-github","pushedAt":"2023-10-09T14:16:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hiroshi-unno","name":"Hiroshi Unno","path":"/hiroshi-unno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3120797?s=80&v=4"},"commit":{"message":"fix README.md","shortMessageHtmlLink":"fix README.md"}},{"before":"74e1d92c639961394ec5fdfbc4970ebbd4507b5d","after":"71e3ef9b737d1bf9b8a3d9cdeda7a0451af1a5ce","ref":"refs/heads/main","pushedAt":"2023-10-09T13:58:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FugaKawamata","name":null,"path":"/FugaKawamata","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63218003?s=80&v=4"},"commit":{"message":"Artifacts for the following paper:\nFuga Kawamata, Hiroshi Unno, Taro Sekiyama, and Tachio Terauchi. Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. POPL 2024.","shortMessageHtmlLink":"Artifacts for the following paper:"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXto7fAA","startCursor":null,"endCursor":null}},"title":"Activity · hiroshi-unno/coar"}