{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":687730346,"defaultBranch":"main","name":"lean4-ctypes","ownerLogin":"alexf91","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-05T22:19:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2362689?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1693952393.0","currentOid":""},"activityList":{"items":[{"before":"5307736393d119d174227d50b976cd5cc4cf9c65","after":"c9754f3da2ce5afc566adf77a73507bca5d2dc78","ref":"refs/heads/main","pushedAt":"2023-12-27T03:59:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Use abbrev for type aliases","shortMessageHtmlLink":"Use abbrev for type aliases"}},{"before":"bf430ac1f3981edada6886d7888b056edda535f2","after":"5307736393d119d174227d50b976cd5cc4cf9c65","ref":"refs/heads/main","pushedAt":"2023-12-06T12:24:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Implement HAdd/HSub for Pointer/Int","shortMessageHtmlLink":"Implement HAdd/HSub for Pointer/Int"}},{"before":"0c64934de34f088944ec0f68c5129a21383acafa","after":"bf430ac1f3981edada6886d7888b056edda535f2","ref":"refs/heads/main","pushedAt":"2023-11-23T15:35:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Use Nat for pointer arithmetic","shortMessageHtmlLink":"Use Nat for pointer arithmetic"}},{"before":"80eebd9c7ae6780484834af39ef6ae5767f039a1","after":"0c64934de34f088944ec0f68c5129a21383acafa","ref":"refs/heads/main","pushedAt":"2023-11-22T12:58:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add malloc/free to utils\n\nWe require buffers for more utils functions, so it makes sense to\nprovide a way to allocate buffers without loading a library.","shortMessageHtmlLink":"Add malloc/free to utils"}},{"before":"074b2bea34f5826f3ab1764060b4a07621d98bf0","after":"80eebd9c7ae6780484834af39ef6ae5767f039a1","ref":"refs/heads/main","pushedAt":"2023-11-21T22:28:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add build instructions to README","shortMessageHtmlLink":"Add build instructions to README"}},{"before":"cd14290241c3cb45451041aabd03fb6dd987e65b","after":"074b2bea34f5826f3ab1764060b4a07621d98bf0","ref":"refs/heads/main","pushedAt":"2023-11-21T21:58:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Use more meaningful name for workflow jobs","shortMessageHtmlLink":"Use more meaningful name for workflow jobs"}},{"before":"71b4196e6d540cdf5cfca48da04de33ed51baae7","after":"cd14290241c3cb45451041aabd03fb6dd987e65b","ref":"refs/heads/main","pushedAt":"2023-11-21T21:56:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Use more meaningful name for workflow jobs","shortMessageHtmlLink":"Use more meaningful name for workflow jobs"}},{"before":"d30ed7a60f5dcd05fb0c9cce359a6d430c7a8355","after":"71b4196e6d540cdf5cfca48da04de33ed51baae7","ref":"refs/heads/main","pushedAt":"2023-11-21T21:52:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Minor changes to README","shortMessageHtmlLink":"Minor changes to README"}},{"before":"9d9520efa2cb5da39f2211e816aab054e7447ff1","after":"d30ed7a60f5dcd05fb0c9cce359a6d430c7a8355","ref":"refs/heads/main","pushedAt":"2023-11-21T21:46:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add workflow","shortMessageHtmlLink":"Add workflow"}},{"before":"dc001496208c320896a1e6122060b8acd3975544","after":"9d9520efa2cb5da39f2211e816aab054e7447ff1","ref":"refs/heads/main","pushedAt":"2023-11-21T21:44:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add workflow","shortMessageHtmlLink":"Add workflow"}},{"before":"5de3a44e08bfc347192ca119a5f803c1d4cc581d","after":"dc001496208c320896a1e6122060b8acd3975544","ref":"refs/heads/main","pushedAt":"2023-11-21T10:47:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Fix segfault bug in callback destructor","shortMessageHtmlLink":"Fix segfault bug in callback destructor"}},{"before":"a0ea9f84ac9ebbb0117db3a659abcd8f65fd22cc","after":"5de3a44e08bfc347192ca119a5f803c1d4cc581d","ref":"refs/heads/main","pushedAt":"2023-11-20T22:36:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add second testcase that causes segfault","shortMessageHtmlLink":"Add second testcase that causes segfault"}},{"before":"28fc0a1ab592820d16a444b7052cd77344a2b8ec","after":"a0ea9f84ac9ebbb0117db3a659abcd8f65fd22cc","ref":"refs/heads/main","pushedAt":"2023-11-20T21:56:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add fibonacci example with structs","shortMessageHtmlLink":"Add fibonacci example with structs"}},{"before":"ba53f74ba29ba4b47b86060f78ef85d6ce18a60a","after":"28fc0a1ab592820d16a444b7052cd77344a2b8ec","ref":"refs/heads/main","pushedAt":"2023-11-20T21:49:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add fibonacci example with structs","shortMessageHtmlLink":"Add fibonacci example with structs"}},{"before":"04e37d5fd4fc255699abb5bce0dc55e7903550af","after":"ba53f74ba29ba4b47b86060f78ef85d6ce18a60a","ref":"refs/heads/main","pushedAt":"2023-11-20T21:48:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add fibonacci example with structs","shortMessageHtmlLink":"Add fibonacci example with structs"}},{"before":"708a438984e5222dac012e21d1483352e5283a1f","after":"04e37d5fd4fc255699abb5bce0dc55e7903550af","ref":"refs/heads/main","pushedAt":"2023-11-20T21:47:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add fibonacci example with structs","shortMessageHtmlLink":"Add fibonacci example with structs"}},{"before":"b4bf5fde48b72bded9cc3894ceaaa76238603dfc","after":"708a438984e5222dac012e21d1483352e5283a1f","ref":"refs/heads/main","pushedAt":"2023-11-20T20:57:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add example for callbacks","shortMessageHtmlLink":"Add example for callbacks"}},{"before":"64d8529dc3580132862c4ba36ac389409b5412ef","after":"b4bf5fde48b72bded9cc3894ceaaa76238603dfc","ref":"refs/heads/main","pushedAt":"2023-11-20T19:39:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add testcase (commented) that causes segfault","shortMessageHtmlLink":"Add testcase (commented) that causes segfault"}},{"before":"4786f5ecb775ceb5c64671a2a444bc5f6d0c7347","after":"64d8529dc3580132862c4ba36ac389409b5412ef","ref":"refs/heads/main","pushedAt":"2023-11-20T18:32:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Implement closures for callbacks","shortMessageHtmlLink":"Implement closures for callbacks"}},{"before":"c314ea5d43f29ec8a4ce8e66c5939d919c658206","after":"4786f5ecb775ceb5c64671a2a444bc5f6d0c7347","ref":"refs/heads/main","pushedAt":"2023-11-20T16:49:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Start with closure implementation","shortMessageHtmlLink":"Start with closure implementation"}},{"before":"8f8be7dd9f8b4e69bf5a71ae2105e268f55d01b3","after":"c314ea5d43f29ec8a4ce8e66c5939d919c658206","ref":"refs/heads/main","pushedAt":"2023-11-18T15:03:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Split required and optional flags for Library.mk","shortMessageHtmlLink":"Split required and optional flags for Library.mk"}},{"before":"212876c00b9d19dd90bc0feea465660f8abc8945","after":"8f8be7dd9f8b4e69bf5a71ae2105e268f55d01b3","ref":"refs/heads/main","pushedAt":"2023-11-18T12:16:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add test for variadic function call","shortMessageHtmlLink":"Add test for variadic function call"}},{"before":"6ad69d7890a6028d2cfefb405cd1df36966d2bcc","after":"212876c00b9d19dd90bc0feea465660f8abc8945","ref":"refs/heads/main","pushedAt":"2023-11-18T11:19:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"4768ae7f87e37c80151832569f68f97e66ac5968","after":"6ad69d7890a6028d2cfefb405cd1df36966d2bcc","ref":"refs/heads/main","pushedAt":"2023-11-18T11:18:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"2c7c730df74e9de7f717e1eaeca4b1963fe687ed","after":"4768ae7f87e37c80151832569f68f97e66ac5968","ref":"refs/heads/main","pushedAt":"2023-11-18T10:59:26.000Z","pushType":"push","commitsCount":19,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add hardcoded type aliases","shortMessageHtmlLink":"Add hardcoded type aliases"}},{"before":"2f61fd67716de62d60ae5b872f45b728e4a3b991","after":"2c7c730df74e9de7f717e1eaeca4b1963fe687ed","ref":"refs/heads/main","pushedAt":"2023-11-15T00:29:37.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Catch wrong argument and return types\n\nCloses #9","shortMessageHtmlLink":"Catch wrong argument and return types"}},{"before":"f07f7c6aa3fc915b2b003748daafe3e65fde010d","after":"2f61fd67716de62d60ae5b872f45b728e4a3b991","ref":"refs/heads/main","pushedAt":"2023-11-05T14:55:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add example for structs and arrays","shortMessageHtmlLink":"Add example for structs and arrays"}},{"before":"d8778fef4a05e9eea45dd97deae0faec3cd251b6","after":"f07f7c6aa3fc915b2b003748daafe3e65fde010d","ref":"refs/heads/main","pushedAt":"2023-11-05T13:27:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Remove the symbol type\n\nThe pointer now supports dependencies and functions are created with\npointers instead of symbols.\n\nCloses #4","shortMessageHtmlLink":"Remove the symbol type"}},{"before":"c7156fc6155a38cca3c58d8ba57acec8394a1e08","after":"d8778fef4a05e9eea45dd97deae0faec3cd251b6","ref":"refs/heads/main","pushedAt":"2023-11-05T10:15:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add aliased types for standard C types\n\nThis should work for 64-bit systems, but can easily be extended to other\nsystems. The implemented types are the same as for ctypes in Python.","shortMessageHtmlLink":"Add aliased types for standard C types"}},{"before":"c41820b35e344241862b94f21163bd27d48e3b75","after":"c7156fc6155a38cca3c58d8ba57acec8394a1e08","ref":"refs/heads/main","pushedAt":"2023-11-05T09:04:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alexf91","name":"Alexander Fasching","path":"/alexf91","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2362689?s=80&v=4"},"commit":{"message":"Add README and examples","shortMessageHtmlLink":"Add README and examples"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yN1QwMzo1OToxMy4wMDAwMDBazwAAAAPSgDMv","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yN1QwMzo1OToxMy4wMDAwMDBazwAAAAPSgDMv","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0wNVQwOTowNDoxMC4wMDAwMDBazwAAAAOnpBqa"}},"title":"Activity · alexf91/lean4-ctypes"}