{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":682053310,"defaultBranch":"main","name":"libcrux","ownerLogin":"mamonet","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-08-23T10:38:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/66893036?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1693288811.0","currentOid":""},"activityList":{"items":[{"before":"980ac649711f1429b90ada43dcaf72a0f064104a","after":"793587dc9a9c87cd50418fcd03e75949e1242e16","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T15:53:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Update build.rs","shortMessageHtmlLink":"Update build.rs"}},{"before":"748fcadca20af019205830613f5be9bc60343732","after":"980ac649711f1429b90ada43dcaf72a0f064104a","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T15:19:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Allow dead_code in sha3 and hkdf crates","shortMessageHtmlLink":"Allow dead_code in sha3 and hkdf crates"}},{"before":"c82ad70297e37309e3f98710730b6b6f623ecfc7","after":"748fcadca20af019205830613f5be9bc60343732","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T11:02:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Import Vale Curve25519 assembly files","shortMessageHtmlLink":"Import Vale Curve25519 assembly files"}},{"before":"82bbb9b9c470128bba65c7dcb15cd7ac7ab755c9","after":"c82ad70297e37309e3f98710730b6b6f623ecfc7","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T09:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Enable HACL_CAN_COMPILE_INLINE_ASM on GNU environment only","shortMessageHtmlLink":"Enable HACL_CAN_COMPILE_INLINE_ASM on GNU environment only"}},{"before":"bf72700f71a59d4e035b07dce24a9f2a483504f3","after":"82bbb9b9c470128bba65c7dcb15cd7ac7ab755c9","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T09:10:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Build Hacl_Curve25519_64 on x86_64","shortMessageHtmlLink":"Build Hacl_Curve25519_64 on x86_64"}},{"before":"0aafa9e66868df501b581facb4782a55164ed9ce","after":"bf72700f71a59d4e035b07dce24a9f2a483504f3","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T08:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Define HACL_CAN_COMPILE_VALE in Hacl build properly","shortMessageHtmlLink":"Define HACL_CAN_COMPILE_VALE in Hacl build properly"}},{"before":"04fb0f5cf43380b4d59881636a2743a9e1e02830","after":"0aafa9e66868df501b581facb4782a55164ed9ce","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T08:37:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Update sys/hacl/c/config/hacl.h","shortMessageHtmlLink":"Update sys/hacl/c/config/hacl.h"}},{"before":"896f20b59d71da4405e8fd94f8419839f82dcf90","after":"04fb0f5cf43380b4d59881636a2743a9e1e02830","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T08:31:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Remove src/hacl/hash.rs","shortMessageHtmlLink":"Remove src/hacl/hash.rs"}},{"before":"98412d2285e094cd711d1b23375fff2b8070a6e7","after":"896f20b59d71da4405e8fd94f8419839f82dcf90","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T08:30:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Missing SIMD256 feature check","shortMessageHtmlLink":"Missing SIMD256 feature check"}},{"before":"4173613bc448258e3398c9a3824a81dd117e83db","after":"98412d2285e094cd711d1b23375fff2b8070a6e7","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T08:27:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Build Evercrypt_AEAD when SIMD256 is available","shortMessageHtmlLink":"Build Evercrypt_AEAD when SIMD256 is available"}},{"before":"4ba25d5afee69fed1125ed3539a3d8c237f6c8c5","after":"4173613bc448258e3398c9a3824a81dd117e83db","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T07:08:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Update sys/hacl/build.rs","shortMessageHtmlLink":"Update sys/hacl/build.rs"}},{"before":"313fd14faccfea4411f04a2d20e2ebb14ea52044","after":"4ba25d5afee69fed1125ed3539a3d8c237f6c8c5","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T06:55:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Use libcrux-hacl in src files","shortMessageHtmlLink":"Use libcrux-hacl in src files"}},{"before":"77031a1bb010efa7ec375745a7ee6f83865ff9dd","after":"313fd14faccfea4411f04a2d20e2ebb14ea52044","ref":"refs/heads/hacl-sys","pushedAt":"2023-09-01T06:20:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Use libcrux-hacl in src files","shortMessageHtmlLink":"Use libcrux-hacl in src files"}},{"before":"d9a6851f6ce7c0d7131145f57746cbb4e382758b","after":"77031a1bb010efa7ec375745a7ee6f83865ff9dd","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-31T10:40:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Suppress warnings in sys/hacl/build.rs","shortMessageHtmlLink":"Suppress warnings in sys/hacl/build.rs"}},{"before":"5fc252ccf90213bca5494e54c4ca9066dafd22a9","after":"d9a6851f6ce7c0d7131145f57746cbb4e382758b","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-31T09:32:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Always append Vale include path to hacl build","shortMessageHtmlLink":"Always append Vale include path to hacl build"}},{"before":"a487c2b64b9e6558d55a943f26fe79469944a45b","after":"5fc252ccf90213bca5494e54c4ca9066dafd22a9","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-31T09:05:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Compile Vale AESGCM in hacl","shortMessageHtmlLink":"Compile Vale AESGCM in hacl"}},{"before":"51535a868939a402c216e1ba8d4f0ddd48624e5a","after":"a487c2b64b9e6558d55a943f26fe79469944a45b","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-31T09:01:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Compile Vale AESGCM in hacl","shortMessageHtmlLink":"Compile Vale AESGCM in hacl"}},{"before":"2fcfe6d472954bd7b76cc7ec485fc2571c594aa6","after":"51535a868939a402c216e1ba8d4f0ddd48624e5a","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-30T08:58:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Remove Windows guards from libjade build.rs","shortMessageHtmlLink":"Remove Windows guards from libjade build.rs"}},{"before":"71ec086df78df5f5acb0786bc3570c7eba475b92","after":"2fcfe6d472954bd7b76cc7ec485fc2571c594aa6","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-30T06:36:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Fix rerun of libjade build","shortMessageHtmlLink":"Fix rerun of libjade build"}},{"before":"7e02af76a8bdd1eb0a8333b879737273a04b4030","after":"71ec086df78df5f5acb0786bc3570c7eba475b92","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-30T06:33:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Disable compiler warnings in hacl build","shortMessageHtmlLink":"Disable compiler warnings in hacl build"}},{"before":"7d035c4d64e90afb631a4cea47dbadc817dc1aa8","after":"7e02af76a8bdd1eb0a8333b879737273a04b4030","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-30T06:18:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Suppress upper camel case warnings in hacl build","shortMessageHtmlLink":"Suppress upper camel case warnings in hacl build"}},{"before":"2879441e4155b9af959ea985dea615949fea3f3a","after":"7d035c4d64e90afb631a4cea47dbadc817dc1aa8","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-29T14:22:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Add hacl build action to CI","shortMessageHtmlLink":"Add hacl build action to CI"}},{"before":"139d5c74cbc52bb03ec7cd0d215c5b23ba5abe8b","after":"2879441e4155b9af959ea985dea615949fea3f3a","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-29T12:39:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Support create_bindings() in hacl build on Windows","shortMessageHtmlLink":"Support create_bindings() in hacl build on Windows"}},{"before":"65aa5387ed804d7e3718ae818939b6f958bf34af","after":"139d5c74cbc52bb03ec7cd0d215c5b23ba5abe8b","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-29T12:01:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Update sys/hacl/build.rs","shortMessageHtmlLink":"Update sys/hacl/build.rs"}},{"before":"14c3d5fc97d9a9bd10f7d016d1207f59447096d4","after":"65aa5387ed804d7e3718ae818939b6f958bf34af","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-29T11:59:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Move hacl config headers to seperate directory","shortMessageHtmlLink":"Move hacl config headers to seperate directory"}},{"before":"2fdee8ab8dffb3194024daf8d3886ed5abb0603f","after":"14c3d5fc97d9a9bd10f7d016d1207f59447096d4","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-29T11:28:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Support MSVC in hacl build","shortMessageHtmlLink":"Support MSVC in hacl build"}},{"before":"2be3b253b75ee53469e8f99096d9e68739f7abcf","after":"9c6d639742df5c9e7bccc9836054439d46d9d9f9","ref":"refs/heads/main","pushedAt":"2023-08-29T08:11:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Only Enable aes-ni configuration on x86_64/x86","shortMessageHtmlLink":"Only Enable aes-ni configuration on x86_64/x86"}},{"before":null,"after":"2fdee8ab8dffb3194024daf8d3886ed5abb0603f","ref":"refs/heads/hacl-sys","pushedAt":"2023-08-29T06:00:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Use cc library to compile hacl","shortMessageHtmlLink":"Use cc library to compile hacl"}},{"before":"261d2e4c17c34806ea43090bc6fda530e4315f96","after":"914caca369098eb8e94c45bd75c33b638e8d178f","ref":"refs/heads/platform_util","pushedAt":"2023-08-28T09:49:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Merge branch 'main' into platform_util","shortMessageHtmlLink":"Merge branch 'main' into platform_util"}},{"before":"cdafe2a5c3631b2b5bf43c3c8596a018f1446057","after":"2be3b253b75ee53469e8f99096d9e68739f7abcf","ref":"refs/heads/main","pushedAt":"2023-08-28T09:06:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mamonet","name":null,"path":"/mamonet","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66893036?s=80&v=4"},"commit":{"message":"Use comment symbol for doc","shortMessageHtmlLink":"Use comment symbol for doc"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0wMVQxNTo1MzozOS4wMDAwMDBazwAAAAN3lokJ","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0wMVQxNTo1MzozOS4wMDAwMDBazwAAAAN3lokJ","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0yOFQwOTowNjoyNi4wMDAwMDBazwAAAANz1fLW"}},"title":"Activity · mamonet/libcrux"}