{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":856163929,"defaultBranch":"main","name":"interaction-net","ownerLogin":"ethanthoma","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-09-12T05:21:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4424467?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726118574.0","currentOid":""},"activityList":{"items":[{"before":"aeed434d2ac1fbf45570d25870bc3a376a87e07e","after":"b1a768a0c4c2812b22de79d90d017b57b9b06a4e","ref":"refs/heads/main","pushedAt":"2024-09-20T23:36:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: added examples to drv output for easy running","shortMessageHtmlLink":"feat: added examples to drv output for easy running"}},{"before":"abf88a51bd96744c07dfb715716e6668a6f65003","after":"aeed434d2ac1fbf45570d25870bc3a376a87e07e","ref":"refs/heads/main","pushedAt":"2024-09-20T20:27:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: added printing of results","shortMessageHtmlLink":"feat: added printing of results"}},{"before":"4938bd8ee216586bb2bb2b1c8de19a3728c69adb","after":"abf88a51bd96744c07dfb715716e6668a6f65003","ref":"refs/heads/main","pushedAt":"2024-09-20T08:27:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: fixed runtime, everthing works now","shortMessageHtmlLink":"feat: fixed runtime, everthing works now"}},{"before":"25d8d0efff9da1da824993697b3ac6fc603d75e4","after":"4938bd8ee216586bb2bb2b1c8de19a3728c69adb","ref":"refs/heads/main","pushedAt":"2024-09-19T08:53:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: removed all explicit context","shortMessageHtmlLink":"feat: removed all explicit context"}},{"before":"09a645f1ef8bdc5341a6b24ba964d738d2663852","after":"25d8d0efff9da1da824993697b3ac6fc603d75e4","ref":"refs/heads/main","pushedAt":"2024-09-19T08:49:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: more inline with hvm book implementation","shortMessageHtmlLink":"feat: more inline with hvm book implementation"}},{"before":"161af0acf8fbde04bc90187ee1ed415c5a09428a","after":"09a645f1ef8bdc5341a6b24ba964d738d2663852","ref":"refs/heads/main","pushedAt":"2024-09-17T07:28:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: added more error checks, implemented some more rules","shortMessageHtmlLink":"feat: added more error checks, implemented some more rules"}},{"before":"df1201506780e660b6340c646851aec9057a0fc9","after":"161af0acf8fbde04bc90187ee1ed415c5a09428a","ref":"refs/heads/main","pushedAt":"2024-09-16T08:14:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"refact: split up nix flake into shell and module (for easier importing)","shortMessageHtmlLink":"refact: split up nix flake into shell and module (for easier importing)"}},{"before":"b6cf28643f87e279f7f7735853d485d27f93ec70","after":"df1201506780e660b6340c646851aec9057a0fc9","ref":"refs/heads/main","pushedAt":"2024-09-16T07:42:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: implemented generation","shortMessageHtmlLink":"feat: implemented generation"}},{"before":"570a0d6b2c93e47a87c0463d54469646c4722b8e","after":"b6cf28643f87e279f7f7735853d485d27f93ec70","ref":"refs/heads/main","pushedAt":"2024-09-15T19:23:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: improved error handling","shortMessageHtmlLink":"feat: improved error handling"}},{"before":"6d2bf29a5e818fee0d7f42fdcc559487a00078a7","after":"570a0d6b2c93e47a87c0463d54469646c4722b8e","ref":"refs/heads/main","pushedAt":"2024-09-15T17:24:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: improved error messaging","shortMessageHtmlLink":"feat: improved error messaging"}},{"before":"f53b32ba84b7590f1a137fcb939ea1f2292d9131","after":"6d2bf29a5e818fee0d7f42fdcc559487a00078a7","ref":"refs/heads/main","pushedAt":"2024-09-15T08:51:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: cleaned up code (and mem leaks), added semantic analysis","shortMessageHtmlLink":"feat: cleaned up code (and mem leaks), added semantic analysis"}},{"before":"4f8c6be6e0f27cc5d0d0b3536c90fb8d683d1da6","after":"f53b32ba84b7590f1a137fcb939ea1f2292d9131","ref":"refs/heads/main","pushedAt":"2024-09-14T07:20:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: basic parser implemented, updated tests in tokenizer","shortMessageHtmlLink":"feat: basic parser implemented, updated tests in tokenizer"}},{"before":"18a6f5b34dce7695a4a474416d7d57c5e49abf3f","after":"4f8c6be6e0f27cc5d0d0b3536c90fb8d683d1da6","ref":"refs/heads/main","pushedAt":"2024-09-13T23:59:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: implemented tokenizer","shortMessageHtmlLink":"feat: implemented tokenizer"}},{"before":"07dcfda6aedd6496b55aa0fea7273139f38d6c29","after":"18a6f5b34dce7695a4a474416d7d57c5e49abf3f","ref":"refs/heads/main","pushedAt":"2024-09-13T06:40:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: moved code to net.odin, working on parser","shortMessageHtmlLink":"feat: moved code to net.odin, working on parser"}},{"before":"3b4387482b263c3b00719b0b0ef68ee9cb45cfd3","after":"07dcfda6aedd6496b55aa0fea7273139f38d6c29","ref":"refs/heads/main","pushedAt":"2024-09-12T22:09:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: added all commutation rules","shortMessageHtmlLink":"feat: added all commutation rules"}},{"before":"87514f991277fc1a23c07b8076f01cda11007ea7","after":"3b4387482b263c3b00719b0b0ef68ee9cb45cfd3","ref":"refs/heads/main","pushedAt":"2024-09-12T21:45:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: gamma-delta interaction","shortMessageHtmlLink":"feat: gamma-delta interaction"}},{"before":"b2327905d651493cb992bcbe09237d00bcef9e13","after":"87514f991277fc1a23c07b8076f01cda11007ea7","ref":"refs/heads/main","pushedAt":"2024-09-12T19:47:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: README.md","shortMessageHtmlLink":"feat: README.md"}},{"before":"3048d689255c28831eac9f338bc7465581285584","after":"b2327905d651493cb992bcbe09237d00bcef9e13","ref":"refs/heads/main","pushedAt":"2024-09-12T19:42:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"feat: implemented basic interaction net annihilation","shortMessageHtmlLink":"feat: implemented basic interaction net annihilation"}},{"before":null,"after":"3048d689255c28831eac9f338bc7465581285584","ref":"refs/heads/main","pushedAt":"2024-09-12T05:22:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ethanthoma","name":"Ethan Thoma","path":"/ethanthoma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4424467?s=80&v=4"},"commit":{"message":"init","shortMessageHtmlLink":"init"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMzozNjo1My4wMDAwMDBazwAAAAS8cPDi","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMzozNjo1My4wMDAwMDBazwAAAAS8cPDi","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMlQwNToyMjo1NC4wMDAwMDBazwAAAASz9LMy"}},"title":"Activity · ethanthoma/interaction-net"}