{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":678935461,"defaultBranch":"main","name":"flow_path_sensitive_formalization","ownerLogin":"Tomasfdel","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-15T18:16:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12930129?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1695746250.0","currentOid":""},"activityList":{"items":[{"before":"380ea00d117a8c78f06ee3230a7446801987485e","after":"a616292248b5d4e81667f27c7e4bda713d5ded05","ref":"refs/heads/main","pushedAt":"2024-06-07T22:48:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Added typing environment usage to the liveness analysis.","shortMessageHtmlLink":"Added typing environment usage to the liveness analysis."}},{"before":"d787a9d19ebe7f00d685e32097c3e97716a8c6f7","after":"380ea00d117a8c78f06ee3230a7446801987485e","ref":"refs/heads/main","pushedAt":"2024-06-07T21:07:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Moved some functions between files and added another set constructor.","shortMessageHtmlLink":"Moved some functions between files and added another set constructor."}},{"before":"830474aa1251898e42839d2649bbc73d4c413abc","after":"d787a9d19ebe7f00d685e32097c3e97716a8c6f7","ref":"refs/heads/main","pushedAt":"2024-06-07T18:05:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"First draft implementation of the while block liveness analysis.","shortMessageHtmlLink":"First draft implementation of the while block liveness analysis."}},{"before":"cdedcc8b3bea39c92b45073fc54c7083abbdb429","after":"830474aa1251898e42839d2649bbc73d4c413abc","ref":"refs/heads/main","pushedAt":"2024-06-07T17:06:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Refactored and extended the VariableSet module.","shortMessageHtmlLink":"Refactored and extended the VariableSet module."}},{"before":"d47f8dcd938512bb81ff4db872b3b940f4186b1c","after":"cdedcc8b3bea39c92b45073fc54c7083abbdb429","ref":"refs/heads/main","pushedAt":"2024-06-04T22:09:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Some refactorings and cleanups of the Transformation module.","shortMessageHtmlLink":"Some refactorings and cleanups of the Transformation module."}},{"before":"cbdc5b72184b24bd4e0a941002bb1025d85de574","after":"d47f8dcd938512bb81ff4db872b3b940f4186b1c","ref":"refs/heads/main","pushedAt":"2024-06-04T17:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Updated README.md file with the newly defined modules.","shortMessageHtmlLink":"Updated README.md file with the newly defined modules."}},{"before":"60f38582c58be2d5a6e264b8d65cc42fd6ec6af7","after":"cbdc5b72184b24bd4e0a941002bb1025d85de574","ref":"refs/heads/main","pushedAt":"2024-05-26T00:05:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Removed NonRepeatingCollection module in favor of a module specific to sets of variables.","shortMessageHtmlLink":"Removed NonRepeatingCollection module in favor of a module specific t…"}},{"before":"d74f7ced497bb5dc476a7adb6b042f7a9d34432e","after":"60f38582c58be2d5a6e264b8d65cc42fd6ec6af7","ref":"refs/heads/main","pushedAt":"2024-05-25T23:43:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Minor refactorings to Liveness module.","shortMessageHtmlLink":"Minor refactorings to Liveness module."}},{"before":"eb2c9857d5102daa1c3ca28cd01df072ddfc705b","after":"d74f7ced497bb5dc476a7adb6b042f7a9d34432e","ref":"refs/heads/main","pushedAt":"2024-05-25T21:37:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"FInished implementation of the complex cases of predicate generation.","shortMessageHtmlLink":"FInished implementation of the complex cases of predicate generation."}},{"before":"f5f19f2edcaedd0987ada51e3a20b9856e8fc162","after":"eb2c9857d5102daa1c3ca28cd01df072ddfc705b","ref":"refs/heads/main","pushedAt":"2024-05-20T16:40:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Started using the Fin indices from ASTStmId in the Predicates and Liveness modules.","shortMessageHtmlLink":"Started using the Fin indices from ASTStmId in the Predicates and Liv…"}},{"before":"a481ffb5c683ede2495363eb1bf589be5d663f2b","after":"f5f19f2edcaedd0987ada51e3a20b9856e8fc162","ref":"refs/heads/main","pushedAt":"2024-05-20T16:24:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Refactored some duplicated code in the AssignmentId module.","shortMessageHtmlLink":"Refactored some duplicated code in the AssignmentId module."}},{"before":"c53bdd5961b1f96a94fbeaca8cde648f5d412c18","after":"a481ffb5c683ede2495363eb1bf589be5d663f2b","ref":"refs/heads/main","pushedAt":"2024-05-20T16:14:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Refactored the AST with assignment IDs to include Fins instead of Naturals as indices.","shortMessageHtmlLink":"Refactored the AST with assignment IDs to include Fins instead of Nat…"}},{"before":"5b438e295b95d0a8939409e4b0a95451979cd8e1","after":"c53bdd5961b1f96a94fbeaca8cde648f5d412c18","ref":"refs/heads/main","pushedAt":"2024-04-09T21:49:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Draft implementation of predicate generation.","shortMessageHtmlLink":"Draft implementation of predicate generation."}},{"before":"f6379275752be3df4cfe364b296b4eda942f0018","after":"5b438e295b95d0a8939409e4b0a95451979cd8e1","ref":"refs/heads/main","pushedAt":"2024-04-07T22:22:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Draft implementation of the liveness analysis.","shortMessageHtmlLink":"Draft implementation of the liveness analysis."}},{"before":"9d0bdf8c1970f0d1a985681f274fa53c0d890176","after":"f6379275752be3df4cfe364b296b4eda942f0018","ref":"refs/heads/main","pushedAt":"2024-04-07T19:08:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"First draft definition of security labels.","shortMessageHtmlLink":"First draft definition of security labels."}},{"before":"18721059743a0ca13d78acd103f6721bf8b1d7f1","after":"9d0bdf8c1970f0d1a985681f274fa53c0d890176","ref":"refs/heads/main","pushedAt":"2023-11-23T19:42:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Added some notes about liveness analysis implementation.","shortMessageHtmlLink":"Added some notes about liveness analysis implementation."}},{"before":"269f9f252729128ea8d194faceee21d324e0fe60","after":"18721059743a0ca13d78acd103f6721bf8b1d7f1","ref":"refs/heads/main","pushedAt":"2023-10-24T18:34:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Added README file.","shortMessageHtmlLink":"Added README file."}},{"before":"925793d78f4a2e23b348451427ea7a947fcf4ebf","after":"269f9f252729128ea8d194faceee21d324e0fe60","ref":"refs/heads/main","pushedAt":"2023-10-24T18:26:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"First implementation of assigning an ID to each assignment.","shortMessageHtmlLink":"First implementation of assigning an ID to each assignment."}},{"before":"6faa2aab561a1ea09529fa9f713a8d2e6484ae4c","after":"925793d78f4a2e23b348451427ea7a947fcf4ebf","ref":"refs/heads/main","pushedAt":"2023-10-10T18:38:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Minor code cleanups.","shortMessageHtmlLink":"Minor code cleanups."}},{"before":"6ee1b18f8aaa645af4a55e44f97745e642216406","after":"6faa2aab561a1ea09529fa9f713a8d2e6484ae4c","ref":"refs/heads/main","pushedAt":"2023-10-08T16:46:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"First implementation of the program transformation.","shortMessageHtmlLink":"First implementation of the program transformation."}},{"before":null,"after":"6ee1b18f8aaa645af4a55e44f97745e642216406","ref":"refs/heads/main","pushedAt":"2023-09-26T16:37:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tomasfdel","name":"Tomás Fernández de Luco","path":"/Tomasfdel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12930129?s=80&v=4"},"commit":{"message":"Initial commit.","shortMessageHtmlLink":"Initial commit."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEX6WFUwA","startCursor":null,"endCursor":null}},"title":"Activity · Tomasfdel/flow_path_sensitive_formalization"}