{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":287383045,"defaultBranch":"master","name":"FormalML","ownerLogin":"IBM","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-08-13T21:26:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1459110?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709175303.0","currentOid":""},"activityList":{"items":[{"before":"c67e12f2710b38ddeccf35bcea26590fd269b0be","after":"d8f1e5cef98eb7199018e403c2afbc5e024153b7","ref":"refs/heads/master","pushedAt":"2024-05-23T21:15:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"partial icoef_maxnorm_mul","shortMessageHtmlLink":"partial icoef_maxnorm_mul"}},{"before":"f06764f5877263081072a43016e060e5c5b64e41","after":"c67e12f2710b38ddeccf35bcea26590fd269b0be","ref":"refs/heads/master","pushedAt":"2024-05-23T20:22:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"shinnar","name":null,"path":"/shinnar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13539615?s=80&v=4"},"commit":{"message":"WIP\n\nSigned-off-by: Avi Shinnar <shinnar@us.ibm.com>","shortMessageHtmlLink":"WIP"}},{"before":"51644d9f4512a4da97a069a951a5c4f88bc41a88","after":"f06764f5877263081072a43016e060e5c5b64e41","ref":"refs/heads/master","pushedAt":"2024-05-23T18:50:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"bbab43567843b592e64697190e6604f627ba68de","after":"51644d9f4512a4da97a069a951a5c4f88bc41a88","ref":"refs/heads/master","pushedAt":"2024-05-23T18:38:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"sum_bound","shortMessageHtmlLink":"sum_bound"}},{"before":"79da9a34c494dc587d23001378acad95cfe35baa","after":"bbab43567843b592e64697190e6604f627ba68de","ref":"refs/heads/master","pushedAt":"2024-05-23T15:36:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"ffa96250d74cd43548b344a1425f59640c611620","after":"79da9a34c494dc587d23001378acad95cfe35baa","ref":"refs/heads/master","pushedAt":"2024-05-23T14:58:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"83d66f52c9a1b0b69a8d4caeb50e87c430b04a16","after":"ffa96250d74cd43548b344a1425f59640c611620","ref":"refs/heads/master","pushedAt":"2024-05-23T01:56:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shinnar","name":null,"path":"/shinnar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13539615?s=80&v=4"},"commit":{"message":"finish proof of div_round_maxnorm_le\n\nSigned-off-by: Avi Shinnar <shinnar@us.ibm.com>","shortMessageHtmlLink":"finish proof of div_round_maxnorm_le"}},{"before":"fbc6d4fb9a8bec78d02293435f82c6a0cf1ff919","after":"83d66f52c9a1b0b69a8d4caeb50e87c430b04a16","ref":"refs/heads/master","pushedAt":"2024-05-22T21:03:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"6e1ac22a4afb9790bfca0da9d1f0a731d36367fd","after":"fbc6d4fb9a8bec78d02293435f82c6a0cf1ff919","ref":"refs/heads/master","pushedAt":"2024-05-22T19:39:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"nearest_round_int_sgn_odd","shortMessageHtmlLink":"nearest_round_int_sgn_odd"}},{"before":"a98c258b0949aeca78e70454430b037d0aa157fe","after":"6e1ac22a4afb9790bfca0da9d1f0a731d36367fd","ref":"refs/heads/master","pushedAt":"2024-05-22T18:28:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"nearest_round_int_leq2","shortMessageHtmlLink":"nearest_round_int_leq2"}},{"before":"046ceb3ff472005fe34fe80884b5935ffed567bb","after":"a98c258b0949aeca78e70454430b037d0aa157fe","ref":"refs/heads/master","pushedAt":"2024-05-22T18:26:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"953992edbb479400c7d051c2442c9bdf146db4d4","after":"046ceb3ff472005fe34fe80884b5935ffed567bb","ref":"refs/heads/master","pushedAt":"2024-05-22T18:16:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"nearest_round_int_odd_abs","shortMessageHtmlLink":"nearest_round_int_odd_abs"}},{"before":"7e149e539e5f235569b46a2e62bb7373a9fdc914","after":"953992edbb479400c7d051c2442c9bdf146db4d4","ref":"refs/heads/master","pushedAt":"2024-05-22T18:08:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"odd_div_upi_not_half","shortMessageHtmlLink":"odd_div_upi_not_half"}},{"before":"9b128baa9180a83b1d72773b82d8189dc9bd5697","after":"7e149e539e5f235569b46a2e62bb7373a9fdc914","ref":"refs/heads/master","pushedAt":"2024-05-22T17:58:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"099712175b3659652244efd6bd4672f768631bab","after":"9b128baa9180a83b1d72773b82d8189dc9bd5697","ref":"refs/heads/master","pushedAt":"2024-05-22T17:48:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"81a91258955560ea46ab7ecd61a977bac8b5622b","after":"099712175b3659652244efd6bd4672f768631bab","ref":"refs/heads/master","pushedAt":"2024-05-22T17:39:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"odd_mul_half","shortMessageHtmlLink":"odd_mul_half"}},{"before":"dc8983e1056507f0f6f2ba55587a0e47474d9d42","after":"81a91258955560ea46ab7ecd61a977bac8b5622b","ref":"refs/heads/master","pushedAt":"2024-05-22T16:57:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"6276d28d3e37bf62cf50a594bc5c6f475dae8ece","after":"dc8983e1056507f0f6f2ba55587a0e47474d9d42","ref":"refs/heads/master","pushedAt":"2024-05-21T18:56:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"3975f55fb454be355859554ce7ea4085ef2ddd84","after":"6276d28d3e37bf62cf50a594bc5c6f475dae8ece","ref":"refs/heads/master","pushedAt":"2024-05-21T18:50:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"51a9d21b4d3569b98bfe01966a7d55e234c6d165","after":"3975f55fb454be355859554ce7ea4085ef2ddd84","ref":"refs/heads/master","pushedAt":"2024-05-21T18:04:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shinnar","name":null,"path":"/shinnar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13539615?s=80&v=4"},"commit":{"message":"one more tweak\n\nSigned-off-by: Avi Shinnar <shinnar@us.ibm.com>","shortMessageHtmlLink":"one more tweak"}},{"before":"853c1615ae9e3c46602d252391336b8d9d0d57e8","after":"51a9d21b4d3569b98bfe01966a7d55e234c6d165","ref":"refs/heads/master","pushedAt":"2024-05-21T18:02:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shinnar","name":null,"path":"/shinnar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13539615?s=80&v=4"},"commit":{"message":"some proofs\n\nSigned-off-by: Avi Shinnar <shinnar@us.ibm.com>","shortMessageHtmlLink":"some proofs"}},{"before":"266fe1134330d9289d61cecee7691e6eb1a57b41","after":"853c1615ae9e3c46602d252391336b8d9d0d57e8","ref":"refs/heads/master","pushedAt":"2024-05-21T17:25:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"ab9104bc972208f372e78dd4e6eb8cbef81dec63","after":"266fe1134330d9289d61cecee7691e6eb1a57b41","ref":"refs/heads/master","pushedAt":"2024-05-21T16:33:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"f87e1c7cb017c5feda693f88b84db288c084b5c2","after":"ab9104bc972208f372e78dd4e6eb8cbef81dec63","ref":"refs/heads/master","pushedAt":"2024-05-16T18:51:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"nearest_round_int_mod","shortMessageHtmlLink":"nearest_round_int_mod"}},{"before":"0ef9a01eaad2754681a663035e787d56d76a65f2","after":"f87e1c7cb017c5feda693f88b84db288c084b5c2","ref":"refs/heads/master","pushedAt":"2024-05-16T13:54:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"generalized Tsitsilis proofs to family of XF","shortMessageHtmlLink":"generalized Tsitsilis proofs to family of XF"}},{"before":"6a54934367e85ae5fe4716a0ef265c6f82df14a7","after":"0ef9a01eaad2754681a663035e787d56d76a65f2","ref":"refs/heads/master","pushedAt":"2024-04-28T14:57:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"div_round_eq","shortMessageHtmlLink":"div_round_eq"}},{"before":"8814f672a1872c3fd3ad6aac50ad2faa92ad8e54","after":"6a54934367e85ae5fe4716a0ef265c6f82df14a7","ref":"refs/heads/master","pushedAt":"2024-04-28T12:31:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shinnar","name":null,"path":"/shinnar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13539615?s=80&v=4"},"commit":{"message":"Prove div_round_leq\n\nSigned-off-by: Avi Shinnar <shinnar@us.ibm.com>","shortMessageHtmlLink":"Prove div_round_leq"}},{"before":"30a99a4f8851851900ca7348b8fdb7af06609fd9","after":"8814f672a1872c3fd3ad6aac50ad2faa92ad8e54","ref":"refs/heads/master","pushedAt":"2024-04-28T12:11:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shinnar","name":null,"path":"/shinnar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13539615?s=80&v=4"},"commit":{"message":"Prove nearest_round_int_le\n\nSigned-off-by: Avi Shinnar <shinnar@us.ibm.com>","shortMessageHtmlLink":"Prove nearest_round_int_le"}},{"before":"909e127ec64bf98904882f43a35e3023ee124be7","after":"30a99a4f8851851900ca7348b8fdb7af06609fd9","ref":"refs/heads/master","pushedAt":"2024-04-28T04:27:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bmtrager","name":null,"path":"/bmtrager","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29287548?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"011a25fd6173d7ee1f20389e0cf2c5cce73261f1","after":"909e127ec64bf98904882f43a35e3023ee124be7","ref":"refs/heads/master","pushedAt":"2024-04-28T04:21:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shinnar","name":null,"path":"/shinnar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13539615?s=80&v=4"},"commit":{"message":"Prove icoef_maxnorm_triang\n\nSigned-off-by: Avi Shinnar <shinnar@us.ibm.com>","shortMessageHtmlLink":"Prove icoef_maxnorm_triang"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUnSrkgA","startCursor":null,"endCursor":null}},"title":"Activity · IBM/FormalML"}