{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":447301101,"defaultBranch":"master","name":"honey-potion","ownerLogin":"lac-dcc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-01-12T17:00:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/53912086?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1697213797.0","currentOid":""},"activityList":{"items":[{"before":"f5816b0dc502f0d9a195b5e4647426a3ef342138","after":"e7e1eb150958f208c0f794da925c3fc82ce316da","ref":"refs/heads/master","pushedAt":"2024-02-26T19:45:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Improved documentation of methods and added type_propagation to Honey.md.","shortMessageHtmlLink":"Improved documentation of methods and added type_propagation to Honey…"}},{"before":"777bb8358ea5607f3baf7a17dc2df0de2c5f7450","after":"f5816b0dc502f0d9a195b5e4647426a3ef342138","ref":"refs/heads/master","pushedAt":"2024-02-26T17:40:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Changed contact e-mail for contributions, suggestions and collaboration.","shortMessageHtmlLink":"Changed contact e-mail for contributions, suggestions and collaboration."}},{"before":"b7f02982a71b81885a4a0abdbe12d70a231f5ac1","after":"777bb8358ea5607f3baf7a17dc2df0de2c5f7450","ref":"refs/heads/master","pushedAt":"2024-01-08T09:12:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Fixed char to unsigned char in :Char6 map type.","shortMessageHtmlLink":"Fixed char to unsigned char in :Char6 map type."}},{"before":"20d3fd14a32d4158a0614d812952e14d27b065af","after":"b7f02982a71b81885a4a0abdbe12d70a231f5ac1","ref":"refs/heads/master","pushedAt":"2023-11-10T23:40:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Type propagation & General Improvements (#48)\n\n* Type Propagation and Elixir Types migrated from new_xdp_mds branch.\r\n\r\n* Fixed erroneous IO.Inspect.\r\n\r\n* Defined first target examples.\r\n\r\n* Return types are integers or possibly integers; Integer constants become int helper_var; Missing int to generic translation;\r\n\r\n* Forgot to add most files of last commit.\r\n\r\n* Binary (String) creation and pattern matching working; Missing transfering to Generic; Generic case isn't considered yet;\r\n\r\n* Got Case.ex working; Pattern matching now can be type aware in some cirmunstances; Printk can understand integer types; Case always returns a generic and deals with generics for multiplicity of types;\r\n\r\n* bpf_get_current_pid_tgid now represented as an integer, not generic.\r\n\r\n* Removed CP and DCE temporarely; All supported examples now work without CP and DCE; Operations for integers are now supported;\r\n\r\n* New is_integer? and is_generic? methods and removed dead code in Maps.ex.\r\n\r\n* bpf_map_lookup_elem and bpf_map_update_element use less Gererics; Maps.ex now supports up to 8 reads&updates; Two more examples work;\r\n\r\n* Accessing CTX now supported; Currently assumes that a named field has the same type for all CTXs.\r\n\r\n* All Examples now compile; Tuple and List don't execute because of verifier, same as master; Tuples and Lists now allow pattern matching with types in translation for variables;\r\n\r\n* DropUDP now works! Implemented new functions; Needs renaming of the Ethhdr namespace for some of the new functions;\r\n\r\n* Make Generics smaller (24->16). Removed unneeded types from ElixirValue.\r\n\r\n* Fixed Typo (.code() -> .code).\r\n\r\n* TrafficCount compiles. bpf_map_lookup_elem now takes default value; New void* type; Maps now can have :char6 key;\r\n\r\n* Added a \\n to output.\r\n\r\n* Fixed warnings.\r\n\r\n* New module to output the size of an AST.\r\n\r\n* Made examples a bit bigger.\r\n\r\n* Made some examples bigger.\r\n\r\n* Added 3 new examples. CP, DCE and Fact.\r\n\r\n* Added XDP namespace for drop and pass of packets.\r\n\r\n* Fixed Fact bug with Type Propagation; HelloWorld now should work without optimizations;\r\n\r\n* Fixed different fuels reusing same variables.\r\n\r\n* DCE update to include a 0.\r\n\r\n* DCE fix 0 into main.\r\n\r\n* Removed extra outputs and readied branch to go to master.","shortMessageHtmlLink":"Type propagation &amp; General Improvements (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1988559501\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lac-dcc/honey-potion/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lac-dcc/honey-potion/pull/48/hovercard\" href=\"https://github.com/lac-dcc/honey-potion/pull/48\">#48</a>)"}},{"before":"a6e9f896730504c664799637de4c3a0c4fadbb50","after":"f647b33f07bdaa94c486552655dc22e2ddcf6c53","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-10T23:31:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Removed extra outputs and readied branch to go to master.","shortMessageHtmlLink":"Removed extra outputs and readied branch to go to master."}},{"before":"2c87008381d24c5cba2aa4c4f9f4d0865b13267c","after":"a6e9f896730504c664799637de4c3a0c4fadbb50","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-10T02:10:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"DCE fix 0 into main.","shortMessageHtmlLink":"DCE fix 0 into main."}},{"before":"b1e34df1f8cc33accfcd8dea6b4bbe1a0a26cde4","after":"2c87008381d24c5cba2aa4c4f9f4d0865b13267c","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-09T18:53:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"DCE update to include a 0.","shortMessageHtmlLink":"DCE update to include a 0."}},{"before":"c8d29fbe7258b74bd9dc16160cb423fb8a5860ad","after":"b1e34df1f8cc33accfcd8dea6b4bbe1a0a26cde4","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-09T18:14:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Fixed different fuels reusing same variables.","shortMessageHtmlLink":"Fixed different fuels reusing same variables."}},{"before":"6b9d1e52efcd4a905435ff160789c3671bf3bbb1","after":"c8d29fbe7258b74bd9dc16160cb423fb8a5860ad","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-09T14:43:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Fixed Fact bug with Type Propagation; HelloWorld now should work without optimizations;","shortMessageHtmlLink":"Fixed Fact bug with Type Propagation; HelloWorld now should work with…"}},{"before":"40be4150546f64d5ec9f137a5f3144a9cebf22a0","after":"6b9d1e52efcd4a905435ff160789c3671bf3bbb1","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-08T15:46:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Added XDP namespace for drop and pass of packets.","shortMessageHtmlLink":"Added XDP namespace for drop and pass of packets."}},{"before":"09ab9def597e398ea5bc10088e7e3294b4a45780","after":"40be4150546f64d5ec9f137a5f3144a9cebf22a0","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-07T18:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Added 3 new examples. CP, DCE and Fact.","shortMessageHtmlLink":"Added 3 new examples. CP, DCE and Fact."}},{"before":"dcd75e7757a400780591e8f33266d20edeabc307","after":"09ab9def597e398ea5bc10088e7e3294b4a45780","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-07T18:51:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Made some examples bigger.","shortMessageHtmlLink":"Made some examples bigger."}},{"before":"1e729b58bf3a32a1f5b73c8e380e1fb3783db671","after":"dcd75e7757a400780591e8f33266d20edeabc307","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-06T21:21:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Made examples a bit bigger.","shortMessageHtmlLink":"Made examples a bit bigger."}},{"before":"aadad39dfbce17704c7cc2d6ae592471c2f6ea24","after":"1e729b58bf3a32a1f5b73c8e380e1fb3783db671","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-06T21:21:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Made examples a bit bigger.","shortMessageHtmlLink":"Made examples a bit bigger."}},{"before":"052bfc667b33f0294c866cae6f8dd97f8ddd5881","after":"aadad39dfbce17704c7cc2d6ae592471c2f6ea24","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-05T21:14:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"New module to output the size of an AST.","shortMessageHtmlLink":"New module to output the size of an AST."}},{"before":"24a15e21f9b6f1ca8708d8285de4514735ea403f","after":"052bfc667b33f0294c866cae6f8dd97f8ddd5881","ref":"refs/heads/Type_Propagation","pushedAt":"2023-11-02T13:36:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Fixed warnings.","shortMessageHtmlLink":"Fixed warnings."}},{"before":"3b2f638e38c16714d0ba3f1e9a03819623355f8c","after":"24a15e21f9b6f1ca8708d8285de4514735ea403f","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-31T15:14:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Added a \\n to output.","shortMessageHtmlLink":"Added a \\n to output."}},{"before":"0c112afc2d26dff53a664a2e1bcbaf8b7eef2e30","after":"3b2f638e38c16714d0ba3f1e9a03819623355f8c","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-30T02:15:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"TrafficCount compiles. bpf_map_lookup_elem now takes default value; New void* type; Maps now can have :char6 key;","shortMessageHtmlLink":"TrafficCount compiles. bpf_map_lookup_elem now takes default value; N…"}},{"before":"ac722855a0cb281054cc0a685b708d7a6ae0d514","after":"0c112afc2d26dff53a664a2e1bcbaf8b7eef2e30","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-30T02:01:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"TrafficCount compiles. bpf_map_lookup_elem now takes default value; New void* type; Maps now can have :char6 key;","shortMessageHtmlLink":"TrafficCount compiles. bpf_map_lookup_elem now takes default value; N…"}},{"before":"273fbccb718faef23a9521fb9eebb804db5f714a","after":"ac722855a0cb281054cc0a685b708d7a6ae0d514","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-29T20:45:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Fixed Typo (.code() -> .code).","shortMessageHtmlLink":"Fixed Typo (.code() -&gt; .code)."}},{"before":"7c8694eec41c4fb3ef4ef441da6296135856405b","after":"273fbccb718faef23a9521fb9eebb804db5f714a","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-29T19:05:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"DropUDP now works! Implemented new functions; Needs renaming of the Ethhdr namespace for some of the new functions;","shortMessageHtmlLink":"DropUDP now works! Implemented new functions; Needs renaming of the E…"}},{"before":"e341e31e16e9f6b0a5414360f58fd9bef551bf62","after":"7c8694eec41c4fb3ef4ef441da6296135856405b","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-28T14:40:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"All Examples now compile; Tuple and List don't execute because of verifier, same as master; Tuples and Lists now allow pattern matching with types in translation for variables;","shortMessageHtmlLink":"All Examples now compile; Tuple and List don't execute because of ver…"}},{"before":"7cd97285d1c0dadcf59d1e2b0d1a11db98b45136","after":"e341e31e16e9f6b0a5414360f58fd9bef551bf62","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-28T12:11:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Accessing CTX now supported; Currently assumes that a named field has the same type for all CTXs.","shortMessageHtmlLink":"Accessing CTX now supported; Currently assumes that a named field has…"}},{"before":"81fd0389b02b9b11d5f4dc0b6ed6680e84ecd2bc","after":"7cd97285d1c0dadcf59d1e2b0d1a11db98b45136","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-26T16:20:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"bpf_map_lookup_elem and bpf_map_update_element use less Gererics; Maps.ex now supports up to 8 reads&updates; Two more examples work;","shortMessageHtmlLink":"bpf_map_lookup_elem and bpf_map_update_element use less Gererics; Map…"}},{"before":"a4ad3a775d018fe0b1a2ffba4936afa7077a99c5","after":"81fd0389b02b9b11d5f4dc0b6ed6680e84ecd2bc","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-26T12:30:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Commit to be overwritten; Makes bpf_lookup_elem now use less generics;","shortMessageHtmlLink":"Commit to be overwritten; Makes bpf_lookup_elem now use less generics;"}},{"before":"32a071dc08a48205d4b43ca2ce78932676e2a48b","after":"a4ad3a775d018fe0b1a2ffba4936afa7077a99c5","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-26T11:43:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"New is_integer? and is_generic? methods and removed dead code in Maps.ex.","shortMessageHtmlLink":"New is_integer? and is_generic? methods and removed dead code in Maps…"}},{"before":"a3d30cb94b5259997c4dcdea7ebd8fad5f022e95","after":"32a071dc08a48205d4b43ca2ce78932676e2a48b","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-26T11:42:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"New is_integer? and is_generic? methods and removed dead code in Maps.ex.","shortMessageHtmlLink":"New is_integer? and is_generic? methods and removed dead code in Maps…"}},{"before":"e4ce2903c6276b31fc46ef2ab7005520c47b12e5","after":"a3d30cb94b5259997c4dcdea7ebd8fad5f022e95","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-24T19:02:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Removed CP and DCE temporarely; All supported examples now work without CP and DCE; Operations for integers are now supported;","shortMessageHtmlLink":"Removed CP and DCE temporarely; All supported examples now work witho…"}},{"before":"74be575b10369a1f6de8198d313598f08c86f7fb","after":"e4ce2903c6276b31fc46ef2ab7005520c47b12e5","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-15T21:00:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"bpf_get_current_pid_tgid now represented as an integer, not generic.","shortMessageHtmlLink":"bpf_get_current_pid_tgid now represented as an integer, not generic."}},{"before":"1245158d366e6d4b1458720fc282230972663d09","after":"74be575b10369a1f6de8198d313598f08c86f7fb","ref":"refs/heads/Type_Propagation","pushedAt":"2023-10-15T20:54:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dwctor","name":"Kael Augusto","path":"/Dwctor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45074062?s=80&v=4"},"commit":{"message":"Got Case.ex working; Pattern matching now can be type aware in some cirmunstances; Printk can understand integer types; Case always returns a generic and deals with generics for multiplicity of types;","shortMessageHtmlLink":"Got Case.ex working; Pattern matching now can be type aware in some c…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEBcgmNwA","startCursor":null,"endCursor":null}},"title":"Activity · lac-dcc/honey-potion"}