{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":800477204,"defaultBranch":"master","name":"MSc-Thesis","ownerLogin":"AlecsFerra","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-05-14T12:08:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35380179?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715688862.0","currentOid":""},"activityList":{"items":[{"before":"d4f79c277118b26ab97e74ad5c4111616dc15feb","after":"b44f3b0bfeb408f21e25f97c5f600ac2af497bf2","ref":"refs/heads/master","pushedAt":"2024-07-07T08:28:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Grammar errors","shortMessageHtmlLink":"Grammar errors"}},{"before":"226aa6ab18cc010d49db3d8f3ba0ecbd1ecc09ea","after":"d4f79c277118b26ab97e74ad5c4111616dc15feb","ref":"refs/heads/master","pushedAt":"2024-07-02T09:46:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Ack","shortMessageHtmlLink":"Ack"}},{"before":"54ba3f2d9784235d7efbf7719c0d68a19adc06a2","after":"226aa6ab18cc010d49db3d8f3ba0ecbd1ecc09ea","ref":"refs/heads/master","pushedAt":"2024-06-30T18:11:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Make intro more readable","shortMessageHtmlLink":"Make intro more readable"}},{"before":"3d80e8447ac3b3b3d8294b73bb5f72673132db58","after":"54ba3f2d9784235d7efbf7719c0d68a19adc06a2","ref":"refs/heads/master","pushedAt":"2024-06-30T16:50:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Monofile","shortMessageHtmlLink":"Monofile"}},{"before":"43170d2003c59ce4e945eb7792a8a2297ad0b534","after":"3d80e8447ac3b3b3d8294b73bb5f72673132db58","ref":"refs/heads/master","pushedAt":"2024-06-30T16:14:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Begin fixes","shortMessageHtmlLink":"Begin fixes"}},{"before":"7226bc5c14d8299149b798713fe8ea856853c98e","after":"43170d2003c59ce4e945eb7792a8a2297ad0b534","ref":"refs/heads/master","pushedAt":"2024-06-27T17:05:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"287849ba2235916eb5f4a2fc626bcb7cef8f9ed2","after":"7226bc5c14d8299149b798713fe8ea856853c98e","ref":"refs/heads/master","pushedAt":"2024-06-27T16:54:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Update flat script","shortMessageHtmlLink":"Update flat script"}},{"before":"23766319cfcbafec98dc781916817d07763d3f4b","after":"287849ba2235916eb5f4a2fc626bcb7cef8f9ed2","ref":"refs/heads/master","pushedAt":"2024-06-27T12:13:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Bold theorems","shortMessageHtmlLink":"Bold theorems"}},{"before":"8a94a2ab2ff68ec897e23a7d9502b7812c757b9d","after":"23766319cfcbafec98dc781916817d07763d3f4b","ref":"refs/heads/master","pushedAt":"2024-06-27T11:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Flattening","shortMessageHtmlLink":"Flattening"}},{"before":"064d12f2042e169d988cf6c2789d730e72a4745d","after":"8a94a2ab2ff68ec897e23a7d9502b7812c757b9d","ref":"refs/heads/master","pushedAt":"2024-06-27T10:09:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Removed aux","shortMessageHtmlLink":"Removed aux"}},{"before":"06d775b9f63a5f2f9fde02b33a3b66718e20acbf","after":"064d12f2042e169d988cf6c2789d730e72a4745d","ref":"refs/heads/master","pushedAt":"2024-06-27T10:09:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Corrections","shortMessageHtmlLink":"Corrections"}},{"before":"01872f48473d9b5f17cec779d89cf815eada8576","after":"06d775b9f63a5f2f9fde02b33a3b66718e20acbf","ref":"refs/heads/master","pushedAt":"2024-06-26T20:58:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Moved quote","shortMessageHtmlLink":"Moved quote"}},{"before":"24252732046f7bef9fd18f2770daba3a30fc692b","after":"01872f48473d9b5f17cec779d89cf815eada8576","ref":"refs/heads/master","pushedAt":"2024-06-26T20:51:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Fix first two chap","shortMessageHtmlLink":"Fix first two chap"}},{"before":"a22cbf937966729bc98e122f14be2313c18e0796","after":"24252732046f7bef9fd18f2770daba3a30fc692b","ref":"refs/heads/master","pushedAt":"2024-06-26T09:57:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"7ae375735afd9b1bd64cc36c1802c52373ffb82d","after":"a22cbf937966729bc98e122f14be2313c18e0796","ref":"refs/heads/master","pushedAt":"2024-06-26T09:53:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Updated readme","shortMessageHtmlLink":"Updated readme"}},{"before":"f521b5517472bb75759ce29399191d45b6502eb0","after":"7ae375735afd9b1bd64cc36c1802c52373ffb82d","ref":"refs/heads/master","pushedAt":"2024-06-26T09:41:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Fixed gitignore","shortMessageHtmlLink":"Fixed gitignore"}},{"before":"29b7ab9bd2d452277e5aad0afed9a087a8568437","after":"f521b5517472bb75759ce29399191d45b6502eb0","ref":"refs/heads/master","pushedAt":"2024-06-26T09:38:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Fixed folders","shortMessageHtmlLink":"Fixed folders"}},{"before":"ae72ea887b7aa476c3de97a83fedcf00e19ee38f","after":"29b7ab9bd2d452277e5aad0afed9a087a8568437","ref":"refs/heads/master","pushedAt":"2024-06-26T09:36:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Fix interval hasse diagram","shortMessageHtmlLink":"Fix interval hasse diagram"}},{"before":"28ac82ef7d869000a47912830ff234c509aa2f96","after":"ae72ea887b7aa476c3de97a83fedcf00e19ee38f","ref":"refs/heads/master","pushedAt":"2024-06-23T10:06:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"PDFa metadata","shortMessageHtmlLink":"PDFa metadata"}},{"before":"bc32e5568e1440f405e42e376c012c832e8364bd","after":"28ac82ef7d869000a47912830ff234c509aa2f96","ref":"refs/heads/master","pushedAt":"2024-06-22T16:24:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Minor fix£","shortMessageHtmlLink":"Minor fix£"}},{"before":"07e949aef3bbbdd4a85379b570699e8d746429b3","after":"bc32e5568e1440f405e42e376c012c832e8364bd","ref":"refs/heads/master","pushedAt":"2024-06-22T13:35:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Redone intro","shortMessageHtmlLink":"Redone intro"}},{"before":"e08f89863fb522984618ffbe0a1a4713a2522081","after":"07e949aef3bbbdd4a85379b570699e8d746429b3","ref":"refs/heads/master","pushedAt":"2024-06-22T12:24:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"co-additivity","shortMessageHtmlLink":"co-additivity"}},{"before":"e1df9d37845f2d371ad19afdf1cbf3667dbe22f3","after":"e08f89863fb522984618ffbe0a1a4713a2522081","ref":"refs/heads/master","pushedAt":"2024-06-22T08:20:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Some examples in hoare logic","shortMessageHtmlLink":"Some examples in hoare logic"}},{"before":"8db0589a432e9f4a37853e14df52fbe30c58c2ba","after":"e1df9d37845f2d371ad19afdf1cbf3667dbe22f3","ref":"refs/heads/master","pushedAt":"2024-06-21T21:15:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Better hasse diagram intervals","shortMessageHtmlLink":"Better hasse diagram intervals"}},{"before":"b6bea496aafe9dd44b588b1a306bcf084d4d69a9","after":"8db0589a432e9f4a37853e14df52fbe30c58c2ba","ref":"refs/heads/master","pushedAt":"2024-06-21T19:29:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Redid inst backwards","shortMessageHtmlLink":"Redid inst backwards"}},{"before":"bfe0f3bc782bfd3c9ebf1523405159c431c4bdb7","after":"b6bea496aafe9dd44b588b1a306bcf084d4d69a9","ref":"refs/heads/master","pushedAt":"2024-06-21T17:36:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Add necessary conditions","shortMessageHtmlLink":"Add necessary conditions"}},{"before":"42dbaf34c3860115ec32b9afac11d36388d83cbb","after":"bfe0f3bc782bfd3c9ebf1523405159c431c4bdb7","ref":"refs/heads/master","pushedAt":"2024-06-21T15:30:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Future work","shortMessageHtmlLink":"Future work"}},{"before":"006f76d0e3546bb2ba306429c004cc9c9d13b228","after":"42dbaf34c3860115ec32b9afac11d36388d83cbb","ref":"refs/heads/master","pushedAt":"2024-06-21T14:40:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Relatied work - OL","shortMessageHtmlLink":"Relatied work - OL"}},{"before":"573bd200a2113c545e2fb696e61e8dea659bac86","after":"006f76d0e3546bb2ba306429c004cc9c9d13b228","ref":"refs/heads/master","pushedAt":"2024-06-21T13:10:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Change citation style","shortMessageHtmlLink":"Change citation style"}},{"before":"32da7cede3af2de00d03991ec856d4f32d22be2a","after":"573bd200a2113c545e2fb696e61e8dea659bac86","ref":"refs/heads/master","pushedAt":"2024-06-21T12:41:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AlecsFerra","name":"Alessio","path":"/AlecsFerra","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35380179?s=80&v=4"},"commit":{"message":"Added hasse diagrams","shortMessageHtmlLink":"Added hasse diagrams"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wN1QwODoyODoxMS4wMDAwMDBazwAAAAR4wrnB","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wN1QwODoyODoxMS4wMDAwMDBazwAAAAR4wrnB","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yMVQxMjo0MTo0Mi4wMDAwMDBazwAAAARrlRtW"}},"title":"Activity · AlecsFerra/MSc-Thesis"}