{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":244868365,"defaultBranch":"main","name":"fiat-crypto","ownerLogin":"bshvass","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-03-04T10:12:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/57095526?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1679309687.0","currentOid":""},"activityList":{"items":[{"before":"f004c05824d0239de2968dbf8f5a6c4d031ed542","after":"ed91b5bd949c8d6d412d4fd5a16fea9dd35af364","ref":"refs/heads/BLS12","pushedAt":"2023-07-16T06:52:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"attempt to make things compile (wip)","shortMessageHtmlLink":"attempt to make things compile (wip)"}},{"before":"309ccaf6549f1b6c70dd0aba798f06231856bc84","after":"f004c05824d0239de2968dbf8f5a6c4d031ed542","ref":"refs/heads/BLS12","pushedAt":"2023-07-14T09:54:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"additions to blsreadme","shortMessageHtmlLink":"additions to blsreadme"}},{"before":"cb62a376dbdb53becfeccc5f1d08c3ca2dab0377","after":"309ccaf6549f1b6c70dd0aba798f06231856bc84","ref":"refs/heads/BLS12","pushedAt":"2023-07-13T14:31:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"fix paths","shortMessageHtmlLink":"fix paths"}},{"before":"affff3d5fb14ac7ba36a94118c8262ea66b34c8c","after":"cb62a376dbdb53becfeccc5f1d08c3ca2dab0377","ref":"refs/heads/BLS12","pushedAt":"2023-07-05T17:05:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"prove remaining admits in Signature.v","shortMessageHtmlLink":"prove remaining admits in Signature.v"}},{"before":"4c803cee5e1870942e6d239d2806caf16e4fdc4e","after":"affff3d5fb14ac7ba36a94118c8262ea66b34c8c","ref":"refs/heads/BLS12","pushedAt":"2023-07-05T13:09:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"add testing and printing of G2","shortMessageHtmlLink":"add testing and printing of G2"}},{"before":"1edaeac7c205dcc4dfa43a2d8ce46ea86a5039fa","after":"4c803cee5e1870942e6d239d2806caf16e4fdc4e","ref":"refs/heads/BLS12","pushedAt":"2023-07-03T22:51:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"generalize several things\n\n- generalize bignum shift and specialize to 4 words\n- generalize scalar mult and loopbody to generic fields (though not to\ngeneric groups yet)\n- generalize 'from_list' to take a name as a parameter, such that it\nis more clear which element it produces\n- most things are proven except annoying things","shortMessageHtmlLink":"generalize several things"}},{"before":"7a24f84fba31cbc9498ee702845f88e98beed3cd","after":"1edaeac7c205dcc4dfa43a2d8ce46ea86a5039fa","ref":"refs/heads/BLS12","pushedAt":"2023-06-27T20:50:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"add StoreZero (group op)","shortMessageHtmlLink":"add StoreZero (group op)"}},{"before":"50bd9c2dd7d3a3c43d6f73f0a68e9ff9104a4278","after":"7a24f84fba31cbc9498ee702845f88e98beed3cd","ref":"refs/heads/BLS12","pushedAt":"2023-06-27T14:00:49.678Z","pushType":"push","commitsCount":4,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"add Test.v file","shortMessageHtmlLink":"add Test.v file"}},{"before":"ce3fe0725240ee3f5d3377007dc8a65b185e7e34","after":"50bd9c2dd7d3a3c43d6f73f0a68e9ff9104a4278","ref":"refs/heads/BLS12","pushedAt":"2023-06-25T23:51:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"update FElem to include bounds (wip)","shortMessageHtmlLink":"update FElem to include bounds (wip)"}},{"before":"0359f5c4dce816e630ee5f517a6f1e5d7a6b11c8","after":"ce3fe0725240ee3f5d3377007dc8a65b185e7e34","ref":"refs/heads/BLS12","pushedAt":"2023-06-01T10:32:14.859Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"ab40ae7cbc0902554c9282f0bdc337ef0ce3960a","after":"0359f5c4dce816e630ee5f517a6f1e5d7a6b11c8","ref":"refs/heads/BLS12","pushedAt":"2023-04-01T10:36:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"wip, more refactoring","shortMessageHtmlLink":"wip, more refactoring"}},{"before":"051b674b2560a44adc15ff9f1bfbfeee22dd1f9d","after":"ab40ae7cbc0902554c9282f0bdc337ef0ce3960a","ref":"refs/heads/BLS12","pushedAt":"2023-03-29T20:23:36.986Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"wip, refactoring AbstractField and Field\n\nsolved a lot of slow program_goal generations","shortMessageHtmlLink":"wip, refactoring AbstractField and Field"}},{"before":"595de9be86e2d78bfee8005d9f9a47bfa3db7a56","after":"051b674b2560a44adc15ff9f1bfbfeee22dd1f9d","ref":"refs/heads/BLS12","pushedAt":"2023-03-28T14:59:02.598Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"d5d7f8b888a39f7c08116bef31d504c6a1b1f27f","after":"595de9be86e2d78bfee8005d9f9a47bfa3db7a56","ref":"refs/heads/BLS12","pushedAt":"2023-03-20T10:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"delete PrimeField/AbstractField","shortMessageHtmlLink":"delete PrimeField/AbstractField"}},{"before":null,"after":"d5d7f8b888a39f7c08116bef31d504c6a1b1f27f","ref":"refs/heads/BLS12","pushedAt":"2023-03-20T10:54:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bshvass","name":"Benjamin Salling Hvass","path":"/bshvass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57095526?s=80&v=4"},"commit":{"message":"\"Notes about the state of the project\"","shortMessageHtmlLink":"\"Notes about the state of the project\""}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADVmX5fAA","startCursor":null,"endCursor":null}},"title":"Activity · bshvass/fiat-crypto"}