{"push_id":3027758412,"size":84,"distinct_size":1,"ref":"refs/heads/dev","head":"a6b33fddd4acf659027ac33ea58597bf0597cd74","before":"bfcec5560523c85a6c968b59e601fee1bec6f5bc","commits":[{"sha":"eb6271a0def656d0d95a92c70800a2e340f1d013","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"use new loop combinator in Frodo.Encode","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/eb6271a0def656d0d95a92c70800a2e340f1d013"},{"sha":"591c124cbf291f03ec979baf88eeb0f44e0ee07f","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"add comments to the call of the memset function","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/591c124cbf291f03ec979baf88eeb0f44e0ee07f"},{"sha":"e7d79e935599311965c367a8194e244f4450a5c5","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Mark elem as unfold; seems to help","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/e7d79e935599311965c367a8194e244f4450a5c5"},{"sha":"073e07696f0a433f4d6732189b0046b875340c84","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Restore verification of Hacl.Impl.Frodo.unpack","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/073e07696f0a433f4d6732189b0046b875340c84"},{"sha":"44ced8ebc0a343a2af977a47bfa9d79d8d20c0c4","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Fully ported pack/unpack to new libs, both spec and code verify","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/44ced8ebc0a343a2af977a47bfa9d79d8d20c0c4"},{"sha":"84a939345f7b481cec3fce1cbe70d8e4a3343ac5","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Hints","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/84a939345f7b481cec3fce1cbe70d8e4a3343ac5"},{"sha":"c058a1059c1e43bb5d9998083554749f1d67048b","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Merge remote-tracking branch 'origin/_dev' into _dev_frodo","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/c058a1059c1e43bb5d9998083554749f1d67048b"},{"sha":"2c66212c095d47672b8dea3843ab8c2109ef1685","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Avoid ite in SMT pattern in Lib.IntTypes.fsti","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/2c66212c095d47672b8dea3843ab8c2109ef1685"},{"sha":"7d5e9d793b1f18f54c194f0f9b6d7e13a92fefa5","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Restore verification of Frodo code with new libraries","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/7d5e9d793b1f18f54c194f0f9b6d7e13a92fefa5"},{"sha":"cd3d7709e8cee31fc90f7172a571040bcaccc879","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Hints","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/cd3d7709e8cee31fc90f7172a571040bcaccc879"},{"sha":"221aad8e30225f4eda4b7f1906dfe23943eab54c","author":{"name":"Santiago Zanella-Beguelin","email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com"},"message":"Nits","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/221aad8e30225f4eda4b7f1906dfe23943eab54c"},{"sha":"e285d25bc3e0a22cc01036b8cf5865667cb09c05","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"use `append` in the spec","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/e285d25bc3e0a22cc01036b8cf5865667cb09c05"},{"sha":"f5190f301bc98859983b786af73bce3d01fc1d96","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"cleanup spec of keygen and encaps functions","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/f5190f301bc98859983b786af73bce3d01fc1d96"},{"sha":"2d52ad649ae2521020ae58c19e75496ac81328fb","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"cleanup frodo.encode","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/2d52ad649ae2521020ae58c19e75496ac81328fb"},{"sha":"30e825ca4458856ef745434c4e6af8611c0d41f8","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"cleanup spec of decaps function","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/30e825ca4458856ef745434c4e6af8611c0d41f8"},{"sha":"7158fd065b747277680226a0ad676f41f8176168","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"add concat2 and concat3","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/7158fd065b747277680226a0ad676f41f8176168"},{"sha":"565dc326794ac09265b7900c17c1bfa9af22453b","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"wip: cleanup frodo","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/565dc326794ac09265b7900c17c1bfa9af22453b"},{"sha":"6e98be79c1f2e1a82a9be54b6c311b5e3ef2ed09","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"cleanup frodo","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/6e98be79c1f2e1a82a9be54b6c311b5e3ef2ed09"},{"sha":"df679a6d817057807c3cdce8027a094a2e9332e3","author":{"name":"karthikbhargavan","email":"7b58cb53f16dfc5678871595e2489c0d23ea8195@github.com"},"message":"fillT","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/df679a6d817057807c3cdce8027a094a2e9332e3"},{"sha":"7749c9a9b3dc330f6f929ec18373f21c7c7662d4","author":{"name":"Marina Polubelova","email":"fe0c08292a00b9a7ac33629674f5297f99b172b5@gmail.com"},"message":"add spec of frodo_gen_matrix_aes and test","distinct":false,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/7749c9a9b3dc330f6f929ec18373f21c7c7662d4"}]}
{"actor":{"display_login":"beurdouche"}}