{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":546496752,"defaultBranch":"main","name":"probBBC","ownerLogin":"SoftwareFoundationGroupAtKyotoU","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-06T07:05:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9034238?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1679470018.0","currentOid":""},"activityList":{"items":[{"before":"2f5dfbc973c5fd54ff346b30db1bbb207ca4eb46","after":"50a56c948a4684f394cd4dec4569763e7513b4df","ref":"refs/heads/main","pushedAt":"2023-05-24T10:07:19.880Z","pushType":"push","commitsCount":7,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"adaptively discount reset_prob","shortMessageHtmlLink":"adaptively discount reset_prob"}},{"before":"d310f9b9ba4eb33265209f5c4715aa31a071d6b6","after":"2f5dfbc973c5fd54ff346b30db1bbb207ca4eb46","ref":"refs/heads/main","pushedAt":"2023-05-18T11:46:29.866Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"Construct cex using the last transition probabilities","shortMessageHtmlLink":"Construct cex using the last transition probabilities"}},{"before":"07885be654c2a1f6de70c6575736c70dfb19c333","after":"d310f9b9ba4eb33265209f5c4715aa31a071d6b6","ref":"refs/heads/main","pushedAt":"2023-05-18T11:44:11.018Z","pushType":"push","commitsCount":2,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"Construct cex using the last transition probabilities","shortMessageHtmlLink":"Construct cex using the last transition probabilities"}},{"before":"89a32ea3bd25f68ef3b9697e864278958b58ff6b","after":"07885be654c2a1f6de70c6575736c70dfb19c333","ref":"refs/heads/main","pushedAt":"2023-05-09T01:49:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"Added an option to execution without strategy-guided equivalence testing","shortMessageHtmlLink":"Added an option to execution without strategy-guided equivalence testing"}},{"before":"ec164f79e22f56823cdf57ef596479f2dc070741","after":"89a32ea3bd25f68ef3b9697e864278958b58ff6b","ref":"refs/heads/main","pushedAt":"2023-03-22T08:17:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"added .ltl for each specification","shortMessageHtmlLink":"added .ltl for each specification"}},{"before":"7ce235120ba4424b9c8b5f611a0c16ce53523021","after":"ec164f79e22f56823cdf57ef596479f2dc070741","ref":"refs/heads/main","pushedAt":"2023-03-22T08:10:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"added .props for each specification","shortMessageHtmlLink":"added .props for each specification"}},{"before":"f3e97453cc69e32a36159dba77b111d1b0b4afa6","after":"7ce235120ba4424b9c8b5f611a0c16ce53523021","ref":"refs/heads/main","pushedAt":"2023-03-22T08:00:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"fixed the path handling","shortMessageHtmlLink":"fixed the path handling"}},{"before":"a1afb7ab1963a75b9123e77b1ab260a6afca9830","after":"f3e97453cc69e32a36159dba77b111d1b0b4afa6","ref":"refs/heads/main","pushedAt":"2023-03-22T06:43:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"added the patch file for aalpy","shortMessageHtmlLink":"added the patch file for aalpy"}},{"before":"cd53f827f392116060d93fbb0f05257afe0151fd","after":"a1afb7ab1963a75b9123e77b1ab260a6afca9830","ref":"refs/heads/main","pushedAt":"2023-03-22T04:29:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"Added a template of README","shortMessageHtmlLink":"Added a template of README"}},{"before":"ea2c4a88a923ff746a7a22ff01dd45370fae4d15","after":"cd53f827f392116060d93fbb0f05257afe0151fd","ref":"refs/heads/main","pushedAt":"2023-03-22T04:28:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bo40","name":"bo40","path":"/bo40","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21006107?s=80&v=4"},"commit":{"message":"add an argument for setting the path to PRISM","shortMessageHtmlLink":"add an argument for setting the path to PRISM"}},{"before":"134520e297934d13ad24bf742758feab1010decd","after":"ea2c4a88a923ff746a7a22ff01dd45370fae4d15","ref":"refs/heads/main","pushedAt":"2023-03-22T04:23:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bo40","name":"bo40","path":"/bo40","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21006107?s=80&v=4"},"commit":{"message":"Merge pull request #1 from bo40/add-license-1\n\nCreate LICENSE.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1635031469\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SoftwareFoundationGroupAtKyotoU/probBBC/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SoftwareFoundationGroupAtKyotoU/probBBC/pull/1/hovercard\" href=\"https://github.com/SoftwareFoundationGroupAtKyotoU/probBBC/pull/1\">#1</a> from bo40/add-license-1"}},{"before":null,"after":"fa94d43ba455ae5a1ecea93208320aebc2b3d6aa","ref":"refs/heads/add-license-1","pushedAt":"2023-03-22T04:22:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bo40","name":"bo40","path":"/bo40","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21006107?s=80&v=4"},"commit":{"message":"Create LICENSE.md","shortMessageHtmlLink":"Create LICENSE.md"}},{"before":"a3ff7af6669fe7ea9595db8641b3ed46dc10c8e8","after":"134520e297934d13ad24bf742758feab1010decd","ref":"refs/heads/main","pushedAt":"2023-03-15T02:54:43.052Z","pushType":"push","commitsCount":4,"pusher":{"login":"MasWag","name":"Masaki Waga","path":"/MasWag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2862763?s=80&v=4"},"commit":{"message":"added the results of PRISM","shortMessageHtmlLink":"added the results of PRISM"}},{"before":"a0ef97d068307be9e67772a898ee4a8203d0c827","after":"a3ff7af6669fe7ea9595db8641b3ed46dc10c8e8","ref":"refs/heads/main","pushedAt":"2023-03-15T02:18:54.036Z","pushType":"push","commitsCount":1,"pusher":{"login":"bo40","name":"bo40","path":"/bo40","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21006107?s=80&v=4"},"commit":{"message":"add tcp prism model","shortMessageHtmlLink":"add tcp prism model"}},{"before":"65e2d253e43bcc20f6ff6d5cb70038377180c34c","after":"a0ef97d068307be9e67772a898ee4a8203d0c827","ref":"refs/heads/main","pushedAt":"2023-03-14T01:16:25.237Z","pushType":"push","commitsCount":1,"pusher":{"login":"bo40","name":"bo40","path":"/bo40","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21006107?s=80&v=4"},"commit":{"message":"add script files for generating figures","shortMessageHtmlLink":"add script files for generating figures"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADMyiAaQA","startCursor":null,"endCursor":null}},"title":"Activity · SoftwareFoundationGroupAtKyotoU/probBBC"}