{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":700162161,"defaultBranch":"main","name":"To-A-Normal-Form","ownerLogin":"Jobhdez","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-04T04:17:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/69167740?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1696393150.0","currentOid":""},"activityList":{"items":[{"before":"9ce950fa193009d46b3bddfd3e81a6b1d978b836","after":"b26b5740c7eb014aa969b6dc01461f31267b940d","ref":"refs/heads/main","pushedAt":"2024-01-22T09:16:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"03413b0a9b8ce831699f5f94ef464b59348549cb","after":"9ce950fa193009d46b3bddfd3e81a6b1d978b836","ref":"refs/heads/main","pushedAt":"2024-01-05T06:28:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"rename a function","shortMessageHtmlLink":"rename a function"}},{"before":"3090e2e0e94206306b96bd168086dfc5e330ca89","after":"03413b0a9b8ce831699f5f94ef464b59348549cb","ref":"refs/heads/main","pushedAt":"2024-01-05T06:26:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add py-id struct","shortMessageHtmlLink":"add py-id struct"}},{"before":"1adc3deb09d783b82f54e3d103ebcae2ff577da3","after":"3090e2e0e94206306b96bd168086dfc5e330ca89","ref":"refs/heads/main","pushedAt":"2024-01-05T06:20:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"fix indentation","shortMessageHtmlLink":"fix indentation"}},{"before":"e30c91473ae3f226dcf816271d0c08a5cf34e6a6","after":"1adc3deb09d783b82f54e3d103ebcae2ff577da3","ref":"refs/heads/main","pushedAt":"2024-01-05T01:04:20.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add a new pass for tuples","shortMessageHtmlLink":"add a new pass for tuples"}},{"before":"7970c05d527989810b2f12dbfc2db440e4678e70","after":"e30c91473ae3f226dcf816271d0c08a5cf34e6a6","ref":"refs/heads/main","pushedAt":"2023-12-29T21:51:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"update parser","shortMessageHtmlLink":"update parser"}},{"before":"381cc7ed4c3a0d616d2ab8fbdb01ddd70d22cbc8","after":"7970c05d527989810b2f12dbfc2db440e4678e70","ref":"refs/heads/main","pushedAt":"2023-12-29T21:49:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"fix parser for tuples","shortMessageHtmlLink":"fix parser for tuples"}},{"before":"b43cc5116ac5a1c6b8d0afafcfa50c8346fb2835","after":"381cc7ed4c3a0d616d2ab8fbdb01ddd70d22cbc8","ref":"refs/heads/main","pushedAt":"2023-12-22T06:35:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"compute the tag of tuples","shortMessageHtmlLink":"compute the tag of tuples"}},{"before":"356f51dd44afcd59c48b8eb6255bf60af521f63b","after":"b43cc5116ac5a1c6b8d0afafcfa50c8346fb2835","ref":"refs/heads/main","pushedAt":"2023-12-22T02:24:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"refactor temp names","shortMessageHtmlLink":"refactor temp names"}},{"before":"83e05449f028b52d7d767f0ed7646270930b1c42","after":"356f51dd44afcd59c48b8eb6255bf60af521f63b","ref":"refs/heads/main","pushedAt":"2023-12-22T01:07:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add a cmp clause to if exp clause","shortMessageHtmlLink":"add a cmp clause to if exp clause"}},{"before":"4ef455f1a099cc5da50ec393eb3c67b0e3bc2e23","after":"83e05449f028b52d7d767f0ed7646270930b1c42","ref":"refs/heads/main","pushedAt":"2023-12-22T00:56:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add example","shortMessageHtmlLink":"add example"}},{"before":"fe5460c73cc199183370f95b8dc22875e0247e07","after":"4ef455f1a099cc5da50ec393eb3c67b0e3bc2e23","ref":"refs/heads/main","pushedAt":"2023-12-21T03:57:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"while loop to anf while loop","shortMessageHtmlLink":"while loop to anf while loop"}},{"before":"78470d937c373c12f2128c7e737f7f32710b47ed","after":"fe5460c73cc199183370f95b8dc22875e0247e07","ref":"refs/heads/main","pushedAt":"2023-12-21T03:05:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"change syntax with semicolon","shortMessageHtmlLink":"change syntax with semicolon"}},{"before":"0824a379ac6340fee7c5c2da515249a4c31d5715","after":"78470d937c373c12f2128c7e737f7f32710b47ed","ref":"refs/heads/main","pushedAt":"2023-12-21T02:04:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"or node to anf","shortMessageHtmlLink":"or node to anf"}},{"before":"bc155bce0c4be41f8b9b5ba4bd21db27b1fa5804","after":"0824a379ac6340fee7c5c2da515249a4c31d5715","ref":"refs/heads/main","pushedAt":"2023-12-21T02:02:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"and node to anf","shortMessageHtmlLink":"and node to anf"}},{"before":"c6a79ab5d85782e81dc71dad30bad29a7a5739ea","after":"bc155bce0c4be41f8b9b5ba4bd21db27b1fa5804","ref":"refs/heads/main","pushedAt":"2023-12-20T22:35:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add a restructuring function","shortMessageHtmlLink":"add a restructuring function"}},{"before":"49dcb1d6206be44741acd97b869131c23dd34ed4","after":"c6a79ab5d85782e81dc71dad30bad29a7a5739ea","ref":"refs/heads/main","pushedAt":"2023-12-20T03:14:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"ifexp to anf","shortMessageHtmlLink":"ifexp to anf"}},{"before":"213027b476918dc78850fa94e0c1ae7884b99ccf","after":"49dcb1d6206be44741acd97b869131c23dd34ed4","ref":"refs/heads/main","pushedAt":"2023-12-19T20:28:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"equivnot node to anf node","shortMessageHtmlLink":"equivnot node to anf node"}},{"before":"8accc330267f3649a0f7d9e7500bed588939b155","after":"213027b476918dc78850fa94e0c1ae7884b99ccf","ref":"refs/heads/main","pushedAt":"2023-12-19T20:17:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"greater node to anf ast","shortMessageHtmlLink":"greater node to anf ast"}},{"before":"35e626e85b37213df2001f2e2eafa0a35620e984","after":"8accc330267f3649a0f7d9e7500bed588939b155","ref":"refs/heads/main","pushedAt":"2023-12-19T20:12:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"less than node to anf ast","shortMessageHtmlLink":"less than node to anf ast"}},{"before":"deced38f9ec1ad31a1b037eff1637338f6706347","after":"35e626e85b37213df2001f2e2eafa0a35620e984","ref":"refs/heads/main","pushedAt":"2023-12-19T20:08:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"turn less than with bool as operands to anf","shortMessageHtmlLink":"turn less than with bool as operands to anf"}},{"before":"ae48e076e795dae23d0401379dbebde242b65925","after":"deced38f9ec1ad31a1b037eff1637338f6706347","ref":"refs/heads/main","pushedAt":"2023-12-19T20:05:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"convert equiv w num operands to ast node","shortMessageHtmlLink":"convert equiv w num operands to ast node"}},{"before":"32030a309610045c635587c418bbf5208f6c0625","after":"ae48e076e795dae23d0401379dbebde242b65925","ref":"refs/heads/main","pushedAt":"2023-12-19T20:02:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"convert equiv node to anf node","shortMessageHtmlLink":"convert equiv node to anf node"}},{"before":"faa41e618e3da00c9f934fc1af732535d7966ea9","after":"32030a309610045c635587c418bbf5208f6c0625","ref":"refs/heads/main","pushedAt":"2023-12-19T19:49:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add a clause for bools","shortMessageHtmlLink":"add a clause for bools"}},{"before":"2b6aa91915c6474a87ab4980b73603f60524086a","after":"faa41e618e3da00c9f934fc1af732535d7966ea9","ref":"refs/heads/main","pushedAt":"2023-12-19T07:28:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"quick refactor","shortMessageHtmlLink":"quick refactor"}},{"before":"d98378c1ba8c93a70333e404df2e128c1b1b0610","after":"2b6aa91915c6474a87ab4980b73603f60524086a","ref":"refs/heads/main","pushedAt":"2023-12-19T07:24:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add print functionality for sum with negative number","shortMessageHtmlLink":"add print functionality for sum with negative number"}},{"before":"729723091b61cef8988af9b62b4707da8e9d9f8a","after":"d98378c1ba8c93a70333e404df2e128c1b1b0610","ref":"refs/heads/main","pushedAt":"2023-12-19T07:07:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add some print functionality","shortMessageHtmlLink":"add some print functionality"}},{"before":"980746fca5c830a39052c7e43b48dddfdb890185","after":"729723091b61cef8988af9b62b4707da8e9d9f8a","ref":"refs/heads/main","pushedAt":"2023-12-18T06:03:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"minus node to anf","shortMessageHtmlLink":"minus node to anf"}},{"before":"a125a620f0abccf4e709ff5a9de5323f127056f0","after":"980746fca5c830a39052c7e43b48dddfdb890185","ref":"refs/heads/main","pushedAt":"2023-12-18T05:44:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"add new instance of sum","shortMessageHtmlLink":"add new instance of sum"}},{"before":"8b982fbe99967bd69066cc7587cb2516f242a225","after":"a125a620f0abccf4e709ff5a9de5323f127056f0","ref":"refs/heads/main","pushedAt":"2023-12-12T02:34:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jobhdez","name":"Job Henandez Lara","path":"/Jobhdez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69167740?s=80&v=4"},"commit":{"message":"rename var","shortMessageHtmlLink":"rename var"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD5aRecAA","startCursor":null,"endCursor":null}},"title":"Activity · Jobhdez/To-A-Normal-Form"}