{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":185060104,"defaultBranch":"master","name":"bnn-verification","ownerLogin":"msakai","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-05-05T17:10:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/157688?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1557076258.0","currentOid":""},"activityList":{"items":[{"before":"e6d0d97644aa42f1929d23fc7ef99a2f3066d39e","after":"7eaba52b9db22643f4557cccdd35f9aa8bf7b4b8","ref":"refs/heads/master","pushedAt":"2023-10-09T14:38:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"6081860934a58d99eabb781fb6d8d95cc2b7e3f6","after":"e6d0d97644aa42f1929d23fc7ef99a2f3066d39e","ref":"refs/heads/master","pushedAt":"2023-10-09T14:35:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"3dbcf05af5902e25d96907d4e144e2943069696f","after":"6081860934a58d99eabb781fb6d8d95cc2b7e3f6","ref":"refs/heads/master","pushedAt":"2023-10-09T13:53:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"translate some text in Verifying_Properties_of_Binarized_Deep_Neural_Networks.ipynb into English","shortMessageHtmlLink":"translate some text in Verifying_Properties_of_Binarized_Deep_Neural_…"}},{"before":"b151baa8354c86c4c03c2c11fcdd35b999ad48f7","after":"3dbcf05af5902e25d96907d4e144e2943069696f","ref":"refs/heads/master","pushedAt":"2023-10-09T13:52:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"translate some text in Verifying_Properties_of_Binarized_Deep_Neural_Networks.ipynb into English","shortMessageHtmlLink":"translate some text in Verifying_Properties_of_Binarized_Deep_Neural_…"}},{"before":"65bc47d51a51513da7141f8ef1a7daac4d8fdbb0","after":"b151baa8354c86c4c03c2c11fcdd35b999ad48f7","ref":"refs/heads/master","pushedAt":"2023-10-09T13:42:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add requirements.txt","shortMessageHtmlLink":"add requirements.txt"}},{"before":"6e87937e38b7e0a73be77276af3f1f3398b4c826","after":"65bc47d51a51513da7141f8ef1a7daac4d8fdbb0","ref":"refs/heads/master","pushedAt":"2023-10-09T13:32:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"40ea30e1a103c383b80f97cf52a22e099f85bd1d","after":"6e87937e38b7e0a73be77276af3f1f3398b4c826","ref":"refs/heads/master","pushedAt":"2023-10-08T09:34:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add solution examples table","shortMessageHtmlLink":"add solution examples table"}},{"before":"034ea7835426046c0b94d32a6591d5f8290b9c65","after":"40ea30e1a103c383b80f97cf52a22e099f85bd1d","ref":"refs/heads/master","pushedAt":"2023-10-08T09:10:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add solution logs produced by maxino-pref-fixed","shortMessageHtmlLink":"add solution logs produced by maxino-pref-fixed"}},{"before":"6ee1eec9e439b1ac19e0d50c88e3746b2374fe9e","after":"034ea7835426046c0b94d32a6591d5f8290b9c65","ref":"refs/heads/master","pushedAt":"2023-10-07T10:43:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add images for submitted instances","shortMessageHtmlLink":"add images for submitted instances"}},{"before":"6c0ac16dff517fc5152d9832fb04c9d4ac4ac731","after":"6ee1eec9e439b1ac19e0d50c88e3746b2374fe9e","ref":"refs/heads/master","pushedAt":"2023-10-07T03:41:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add images for used instances","shortMessageHtmlLink":"add images for used instances"}},{"before":"011f621ec94bc6379fbccc4413671b1197f72a72","after":"6c0ac16dff517fc5152d9832fb04c9d4ac4ac731","ref":"refs/heads/master","pushedAt":"2023-10-07T03:35:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add about competition results","shortMessageHtmlLink":"add about competition results"}},{"before":"25bf2da47d822d3b514507e5956f3299aa4037d2","after":"011f621ec94bc6379fbccc4413671b1197f72a72","ref":"refs/heads/master","pushedAt":"2023-10-07T00:39:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add download links for file size comparison experiment","shortMessageHtmlLink":"add download links for file size comparison experiment"}},{"before":"edcf994a5213cad6074432f160c97ecd6815fc14","after":"25bf2da47d822d3b514507e5956f3299aa4037d2","ref":"refs/heads/master","pushedAt":"2023-10-07T00:19:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"improve English","shortMessageHtmlLink":"improve English"}},{"before":"9a7bf5a4fbc537bcc3fd31e39dded84c15e0cf91","after":"edcf994a5213cad6074432f160c97ecd6815fc14","ref":"refs/heads/master","pushedAt":"2023-10-06T23:50:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add more on the file size difference","shortMessageHtmlLink":"add more on the file size difference"}},{"before":"15909ac629b960c12135310ce5180669cf6599ef","after":"9a7bf5a4fbc537bcc3fd31e39dded84c15e0cf91","ref":"refs/heads/master","pushedAt":"2023-10-06T15:46:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"improve English a little","shortMessageHtmlLink":"improve English a little"}},{"before":"dd6b3351b26f96cc8530f42a179771f81844cbfb","after":"15909ac629b960c12135310ce5180669cf6599ef","ref":"refs/heads/master","pushedAt":"2023-10-06T15:43:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add follow-up for difference in file sizes by cardinality constraint encoder","shortMessageHtmlLink":"add follow-up for difference in file sizes by cardinality constraint …"}},{"before":"197e9f44ac57020662e0c1cce596d38b60377963","after":"dd6b3351b26f96cc8530f42a179771f81844cbfb","ref":"refs/heads/master","pushedAt":"2023-10-06T15:40:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add follow-up for difference in file sizes by cardinality constraint encoder (cont'd)","shortMessageHtmlLink":"add follow-up for difference in file sizes by cardinality constraint …"}},{"before":"597353eacea48f8eefa51eb9e8be5944362ce110","after":"197e9f44ac57020662e0c1cce596d38b60377963","ref":"refs/heads/master","pushedAt":"2023-10-06T15:39:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add follow-up for difference in file sizes by cardinality constraint encoder","shortMessageHtmlLink":"add follow-up for difference in file sizes by cardinality constraint …"}},{"before":"0e1a02ca369b4880a061c3d2c05ddc60edbf99d2","after":"597353eacea48f8eefa51eb9e8be5944362ce110","ref":"refs/heads/master","pushedAt":"2023-10-06T00:59:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add follow-up about perturbated images","shortMessageHtmlLink":"add follow-up about perturbated images"}},{"before":"ea6cc1f50048f56a66036dd54009bf86d3cf0e1c","after":"0e1a02ca369b4880a061c3d2c05ddc60edbf99d2","ref":"refs/heads/master","pushedAt":"2023-10-06T00:52:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add follow-up about same logit value case","shortMessageHtmlLink":"add follow-up about same logit value case"}},{"before":"2507b66fe7549b52b0b1280770b65b88cf2f1ffa","after":"ea6cc1f50048f56a66036dd54009bf86d3cf0e1c","ref":"refs/heads/master","pushedAt":"2023-10-05T14:54:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b8759e3c46098f97785bf87c0475cdcfaa6cb235","after":"2507b66fe7549b52b0b1280770b65b88cf2f1ffa","ref":"refs/heads/master","pushedAt":"2023-10-05T11:12:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"abf92a8112bea7f519dd779cb801703ef4b78518","after":"b8759e3c46098f97785bf87c0475cdcfaa6cb235","ref":"refs/heads/master","pushedAt":"2023-10-05T10:38:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"fix typo","shortMessageHtmlLink":"fix typo"}},{"before":"f6d1283543cadd9005526b3e9213e0604a93c21f","after":"abf92a8112bea7f519dd779cb801703ef4b78518","ref":"refs/heads/master","pushedAt":"2023-10-05T08:50:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add about the Talk at NII Shonan Meeting No. 180 “The Art of SAT”","shortMessageHtmlLink":"add about the Talk at NII Shonan Meeting No. 180 “The Art of SAT”"}},{"before":"84c2ceebc3f934b0d02f08a2ca9951c1506559d6","after":"f6d1283543cadd9005526b3e9213e0604a93c21f","ref":"refs/heads/master","pushedAt":"2023-10-05T08:28:22.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"fix image orientation visualization","shortMessageHtmlLink":"fix image orientation visualization"}},{"before":"de2bfb9b13b6f3cc28600e5b957f1d45263c74b1","after":"84c2ceebc3f934b0d02f08a2ca9951c1506559d6","ref":"refs/heads/master","pushedAt":"2023-10-05T07:09:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"put images in the table and add probability in README.md","shortMessageHtmlLink":"put images in the table and add probability in README.md"}},{"before":"d13a7fc9a37648c62d2efc1454786e565821aa4d","after":"de2bfb9b13b6f3cc28600e5b957f1d45263c74b1","ref":"refs/heads/master","pushedAt":"2023-10-04T22:46:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add an example input/output (continued and WIP)","shortMessageHtmlLink":"add an example input/output (continued and WIP)"}},{"before":"e574323da86b1976a327c3fb2320f977525d64a9","after":"d13a7fc9a37648c62d2efc1454786e565821aa4d","ref":"refs/heads/master","pushedAt":"2023-10-04T22:40:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add an example input/output","shortMessageHtmlLink":"add an example input/output"}},{"before":"5c51d03c9892767ffdd69e19dc56f542026488bb","after":"e574323da86b1976a327c3fb2320f977525d64a9","ref":"refs/heads/master","pushedAt":"2023-10-04T22:35:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"add an example input/output","shortMessageHtmlLink":"add an example input/output"}},{"before":"976c9de29ad87d8b85f356ab1b4b93a23d406716","after":"5c51d03c9892767ffdd69e19dc56f542026488bb","ref":"refs/heads/master","pushedAt":"2023-10-04T22:17:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"msakai","name":"Masahiro Sakai","path":"/msakai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157688?s=80&v=4"},"commit":{"message":"extend verify_maxsat_solution.py to output more information","shortMessageHtmlLink":"extend verify_maxsat_solution.py to output more information"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADkssrWgA","startCursor":null,"endCursor":null}},"title":"Activity · msakai/bnn-verification"}