{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":831453515,"defaultBranch":"main","name":"tlaplus-formatter","ownerLogin":"FedericoPonzi","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-07-20T15:40:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2124904?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1721519215.0","currentOid":""},"activityList":{"items":[{"before":"c56a18c377d3085e6352b786196af7793586326e","after":"c2232f9abe388b21661cdfafdb3059b8e5b7e49d","ref":"refs/heads/main","pushedAt":"2024-08-31T12:48:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"e6475d37bb8541564bbcd654d88c719f5f262c5c","after":"c56a18c377d3085e6352b786196af7793586326e","ref":"refs/heads/main","pushedAt":"2024-08-31T12:47:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"e1e89265e8d59b56b62bd3f2cf2256076307461b","after":"e6475d37bb8541564bbcd654d88c719f5f262c5c","ref":"refs/heads/main","pushedAt":"2024-08-31T12:46:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"07af81353b6d8d9243f0554c77e412d2fa265188","after":"e1e89265e8d59b56b62bd3f2cf2256076307461b","ref":"refs/heads/main","pushedAt":"2024-08-31T12:46:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"8466baf491513dbe0120a7864b208970f45eb9c7","after":"07af81353b6d8d9243f0554c77e412d2fa265188","ref":"refs/heads/main","pushedAt":"2024-08-31T12:39:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"4e31a66e1089307efb2c1e534db831f1c0382e7d","after":"8466baf491513dbe0120a7864b208970f45eb9c7","ref":"refs/heads/main","pushedAt":"2024-08-31T12:32:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"4571a81601d0a43f6f3ce4d5132c11003fb3542a","after":"4e31a66e1089307efb2c1e534db831f1c0382e7d","ref":"refs/heads/main","pushedAt":"2024-08-31T12:31:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"de91e89fa1e20f8e8db8445c760bc1869bb61959","after":"4571a81601d0a43f6f3ce4d5132c11003fb3542a","ref":"refs/heads/main","pushedAt":"2024-08-22T17:47:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"A tlaModule is just another lexicon","shortMessageHtmlLink":"A tlaModule is just another lexicon"}},{"before":"4f19c9b0e10ee64525b0b4f020f12c00bd96d483","after":"de91e89fa1e20f8e8db8445c760bc1869bb61959","ref":"refs/heads/main","pushedAt":"2024-08-20T18:57:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"refactors out for good baseprintree, add more lexicons","shortMessageHtmlLink":"refactors out for good baseprintree, add more lexicons"}},{"before":"955cacbca6f71a4ff222eebe543d846c208e8e07","after":"4f19c9b0e10ee64525b0b4f020f12c00bd96d483","ref":"refs/heads/main","pushedAt":"2024-08-20T08:34:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Refactor classes to package, confines SANY interactions in a single class","shortMessageHtmlLink":"Refactor classes to package, confines SANY interactions in a single c…"}},{"before":"e6f2cf9677b54d1fd20594845d3c3561b75158ed","after":"955cacbca6f71a4ff222eebe543d846c208e8e07","ref":"refs/heads/main","pushedAt":"2024-08-20T08:34:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Refactor classes to package, confines SANY interactions in a single class","shortMessageHtmlLink":"Refactor classes to package, confines SANY interactions in a single c…"}},{"before":"b1a2477e85d324fe7103685d96b4c5b697023cc0","after":"e6f2cf9677b54d1fd20594845d3c3561b75158ed","ref":"refs/heads/main","pushedAt":"2024-08-20T08:10:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Refactor classes to package, confines SANY interactions in a single class","shortMessageHtmlLink":"Refactor classes to package, confines SANY interactions in a single c…"}},{"before":"4e4cc3de03f88a69de57dace3c9c8349a327a36d","after":"b1a2477e85d324fe7103685d96b4c5b697023cc0","ref":"refs/heads/main","pushedAt":"2024-08-19T23:05:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Refactor calls to basePrintTree","shortMessageHtmlLink":"Refactor calls to basePrintTree"}},{"before":"d1a3f95153b31a68ee8e1ce3759380ddf2f9ac29","after":"4e4cc3de03f88a69de57dace3c9c8349a327a36d","ref":"refs/heads/main","pushedAt":"2024-08-19T22:55:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"initial refactoring with reflects","shortMessageHtmlLink":"initial refactoring with reflects"}},{"before":"fe67b892b24bb71547adb9110054166afb1c64b2","after":"d1a3f95153b31a68ee8e1ce3759380ddf2f9ac29","ref":"refs/heads/main","pushedAt":"2024-07-28T16:52:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Refactor tests","shortMessageHtmlLink":"Refactor tests"}},{"before":"b22085d14ffffeadf98a965f050a1e8feffb9d56","after":"fe67b892b24bb71547adb9110054166afb1c64b2","ref":"refs/heads/main","pushedAt":"2024-07-28T11:13:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Compare AST of the input and output specs","shortMessageHtmlLink":"Compare AST of the input and output specs"}},{"before":"cee8b92de1d69b97de0ee630702258f230463782","after":"b22085d14ffffeadf98a965f050a1e8feffb9d56","ref":"refs/heads/main","pushedAt":"2024-07-28T11:02:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"The left side of operator definition can contain infix operators","shortMessageHtmlLink":"The left side of operator definition can contain infix operators"}},{"before":"1c2455827505c2e2753b30a382bddc6ee9fec4c9","after":"cee8b92de1d69b97de0ee630702258f230463782","ref":"refs/heads/main","pushedAt":"2024-07-28T09:52:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Improves handling for setOfAll","shortMessageHtmlLink":"Improves handling for setOfAll"}},{"before":"5eeb27d8f5ff6349a47fe8df45b9f1826392ea20","after":"1c2455827505c2e2753b30a382bddc6ee9fec4c9","ref":"refs/heads/main","pushedAt":"2024-07-28T09:19:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Handles instance with","shortMessageHtmlLink":"Handles instance with"}},{"before":"6dd21106dfee51cd1f435d59b1e17c307c28cf64","after":"5eeb27d8f5ff6349a47fe8df45b9f1826392ea20","ref":"refs/heads/main","pushedAt":"2024-07-26T21:29:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Handles instance with","shortMessageHtmlLink":"Handles instance with"}},{"before":"d4a8e12e8ef9975d0c5b75e5510819077ffddbfb","after":"6dd21106dfee51cd1f435d59b1e17c307c28cf64","ref":"refs/heads/main","pushedAt":"2024-07-25T23:06:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Fixes indentation for choose","shortMessageHtmlLink":"Fixes indentation for choose"}},{"before":"faa6247b4d74f99121617a31b78a5e6b27f45e95","after":"d4a8e12e8ef9975d0c5b75e5510819077ffddbfb","ref":"refs/heads/main","pushedAt":"2024-07-25T22:59:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"improves theorem handling","shortMessageHtmlLink":"improves theorem handling"}},{"before":"ac1aded6c327d9c607bb313a8bf82d3fb7faf1cf","after":"faa6247b4d74f99121617a31b78a5e6b27f45e95","ref":"refs/heads/main","pushedAt":"2024-07-25T22:50:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Handles IdentDecl, improves Constants handling","shortMessageHtmlLink":"Handles IdentDecl, improves Constants handling"}},{"before":"704972f3cbbc84cdf3b13569b3c37d5c1b0f006f","after":"ac1aded6c327d9c607bb313a8bf82d3fb7faf1cf","ref":"refs/heads/main","pushedAt":"2024-07-25T22:29:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Handles uses of module instances like N!Nat","shortMessageHtmlLink":"Handles uses of module instances like N!Nat"}},{"before":"0fbd58b4d5e443223e162cdd237c121fa63a35d7","after":"704972f3cbbc84cdf3b13569b3c37d5c1b0f006f","ref":"refs/heads/main","pushedAt":"2024-07-25T22:21:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Handles module definition","shortMessageHtmlLink":"Handles module definition"}},{"before":"d965ba34e6a4e971812ffbd7cda3f7c8b4472c95","after":"0fbd58b4d5e443223e162cdd237c121fa63a35d7","ref":"refs/heads/main","pushedAt":"2024-07-25T22:18:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Handles module definition","shortMessageHtmlLink":"Handles module definition"}},{"before":"be5df3101902b134e14b97712706957c7cefd721","after":"d965ba34e6a4e971812ffbd7cda3f7c8b4472c95","ref":"refs/heads/main","pushedAt":"2024-07-25T22:08:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Improve bounded quant, handles prefixExpr","shortMessageHtmlLink":"Improve bounded quant, handles prefixExpr"}},{"before":"94401f1adb0885b0fb60c6d36303095d8ebda27b","after":"be5df3101902b134e14b97712706957c7cefd721","ref":"refs/heads/main","pushedAt":"2024-07-25T20:21:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Uses the new level way to keep track of indent levels","shortMessageHtmlLink":"Uses the new level way to keep track of indent levels"}},{"before":"121f09300106747599d5b77c604c8bc9ac4c238c","after":"94401f1adb0885b0fb60c6d36303095d8ebda27b","ref":"refs/heads/main","pushedAt":"2024-07-25T18:10:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Improves handling of some cases, handles FcnConst, handles Case","shortMessageHtmlLink":"Improves handling of some cases, handles FcnConst, handles Case"}},{"before":"697022c64a95bb13001a4af637839142f37227a5","after":"121f09300106747599d5b77c604c8bc9ac4c238c","ref":"refs/heads/main","pushedAt":"2024-07-24T21:00:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoPonzi","name":"Federico Ponzi","path":"/FedericoPonzi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2124904?s=80&v=4"},"commit":{"message":"Add support for infix Lhs, better handling for subsetOf and setOfAll, handle times infix operator","shortMessageHtmlLink":"Add support for infix Lhs, better handling for subsetOf and setOfAll,…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0zMVQxMjo0ODo1NS4wMDAwMDBazwAAAASpXnw5","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yNFQyMTowMDowOS4wMDAwMDBazwAAAASIXzX8"}},"title":"Activity · FedericoPonzi/tlaplus-formatter"}