{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":621794035,"defaultBranch":"main","name":"WhileAbstractInterpreter","ownerLogin":"Edivad99","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-31T11:59:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/25778604?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1684232927.0329769","currentOid":""},"activityList":{"items":[{"before":"151a648d301cce17e0ce5a8b41cf7a6c5df70b88","after":"c2433c45b0eba5f55d8c8e74074216187b31628e","ref":"refs/heads/main","pushedAt":"2023-07-21T08:20:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"89af406ff93b61a6212c8a00fb79f993b0fd6b4d","after":"151a648d301cce17e0ce5a8b41cf7a6c5df70b88","ref":"refs/heads/main","pushedAt":"2023-07-20T13:40:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":"42c5e8be8f1202e0f7c0e986eff84178dbcf6c93","after":"89af406ff93b61a6212c8a00fb79f993b0fd6b4d","ref":"refs/heads/main","pushedAt":"2023-07-19T14:09:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Aggiunto incr e decr","shortMessageHtmlLink":"Aggiunto incr e decr"}},{"before":"f827fcf488d08a5163cf7cfc53f7955eaac9ea3e","after":"42c5e8be8f1202e0f7c0e986eff84178dbcf6c93","ref":"refs/heads/main","pushedAt":"2023-07-15T10:41:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Update deps","shortMessageHtmlLink":"Update deps"}},{"before":"051aa110212a0394d12f392aff7c3c7f9b09b61f","after":null,"ref":"refs/heads/sign-domain","pushedAt":"2023-05-16T10:28:47.032Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"}},{"before":"dbd3daf552a704fa676ce555d67cfd0fe429b097","after":null,"ref":"refs/heads/congruence-domain","pushedAt":"2023-05-16T10:28:35.321Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"}},{"before":"3a4909c6be1ce6c4049f686ceff70d7b8ef724dd","after":null,"ref":"refs/heads/interval-update","pushedAt":"2023-05-16T10:28:23.804Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"}},{"before":"46fc7b335e6cec641bf6de56c809d33190f4608e","after":"f827fcf488d08a5163cf7cfc53f7955eaac9ea3e","ref":"refs/heads/main","pushedAt":"2023-05-16T10:28:19.927Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Merge pull request #3 from Edivad99/interval-update\n\nInterval update","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1711728313\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Edivad99/WhileAbstractInterpreter/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Edivad99/WhileAbstractInterpreter/pull/3/hovercard\" href=\"https://github.com/Edivad99/WhileAbstractInterpreter/pull/3\">#3</a> from Edivad99/interval-update"}},{"before":"b89c7f5416fec98a8270fa2dd2f546c73b1c01fe","after":"3a4909c6be1ce6c4049f686ceff70d7b8ef724dd","ref":"refs/heads/interval-update","pushedAt":"2023-05-16T10:27:33.292Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Sistemato per la presentazione","shortMessageHtmlLink":"Sistemato per la presentazione"}},{"before":"55e45abf0c3e95f4edd9b5ed8414c06c5054801a","after":"b89c7f5416fec98a8270fa2dd2f546c73b1c01fe","ref":"refs/heads/interval-update","pushedAt":"2023-05-12T16:00:05.901Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Update lib","shortMessageHtmlLink":"Update lib"}},{"before":"d28292935b704016b244f5ec440100b2cf49b076","after":"55e45abf0c3e95f4edd9b5ed8414c06c5054801a","ref":"refs/heads/interval-update","pushedAt":"2023-05-12T15:39:53.178Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Bug fix","shortMessageHtmlLink":"Bug fix"}},{"before":"e82c995697147a7855a93fc5404875d0c1972998","after":"d28292935b704016b244f5ec440100b2cf49b076","ref":"refs/heads/interval-update","pushedAt":"2023-05-10T18:38:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Un po' di refactor","shortMessageHtmlLink":"Un po' di refactor"}},{"before":null,"after":"e82c995697147a7855a93fc5404875d0c1972998","ref":"refs/heads/interval-update","pushedAt":"2023-05-10T14:17:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Update IntervalDomain.fs","shortMessageHtmlLink":"Update IntervalDomain.fs"}},{"before":"1c686ad65e8f12bea0b5d397fa2edbaea918592e","after":"46fc7b335e6cec641bf6de56c809d33190f4608e","ref":"refs/heads/main","pushedAt":"2023-05-08T11:48:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Sistemato un bug","shortMessageHtmlLink":"Sistemato un bug"}},{"before":"43fbb3dd09e37bd80d87d561362f5d44204ea0c1","after":"1c686ad65e8f12bea0b5d397fa2edbaea918592e","ref":"refs/heads/main","pushedAt":"2023-05-08T11:30:47.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Merge pull request #2 from Edivad99/congruence-domain\n\nCongruence domain","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1700078784\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Edivad99/WhileAbstractInterpreter/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Edivad99/WhileAbstractInterpreter/pull/2/hovercard\" href=\"https://github.com/Edivad99/WhileAbstractInterpreter/pull/2\">#2</a> from Edivad99/congruence-domain"}},{"before":"74d9c912aa92c272934c671b488b81f3e7206121","after":"dbd3daf552a704fa676ce555d67cfd0fe429b097","ref":"refs/heads/congruence-domain","pushedAt":"2023-05-08T11:29:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Aggiunto i test","shortMessageHtmlLink":"Aggiunto i test"}},{"before":"23dc11d40967e080e4f70783189f2f1221081b59","after":"74d9c912aa92c272934c671b488b81f3e7206121","ref":"refs/heads/congruence-domain","pushedAt":"2023-05-08T11:01:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Abstr cond","shortMessageHtmlLink":"Abstr cond"}},{"before":"5c9bd33b2664aad1c7a642a37c6b73b75805b785","after":"23dc11d40967e080e4f70783189f2f1221081b59","ref":"refs/heads/congruence-domain","pushedAt":"2023-05-07T16:03:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"L'if ora non obbliga ad implementare il branch else","shortMessageHtmlLink":"L'if ora non obbliga ad implementare il branch else"}},{"before":"42cb82a5e905f8bb7a7db48c8285968f41f678a0","after":"5c9bd33b2664aad1c7a642a37c6b73b75805b785","ref":"refs/heads/congruence-domain","pushedAt":"2023-05-05T13:07:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Implementato widening, narrowing, intersect, union","shortMessageHtmlLink":"Implementato widening, narrowing, intersect, union"}},{"before":null,"after":"42cb82a5e905f8bb7a7db48c8285968f41f678a0","ref":"refs/heads/congruence-domain","pushedAt":"2023-05-03T14:12:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"First implementation of congruence domain","shortMessageHtmlLink":"First implementation of congruence domain"}},{"before":"cc0c9c9fc94ce55763b505987a4536f41c4b1598","after":"4d72173da128f427aac1eeacb24f06b03bf1239a","ref":"refs/heads/linear-equality-domain","pushedAt":"2023-05-03T12:30:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Commentato gli errori","shortMessageHtmlLink":"Commentato gli errori"}},{"before":null,"after":"cc0c9c9fc94ce55763b505987a4536f41c4b1598","ref":"refs/heads/linear-equality-domain","pushedAt":"2023-04-26T13:52:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"First attempt","shortMessageHtmlLink":"First attempt"}},{"before":"5d27d8a784dcd6a430243e8520eb893b3fdd9ca9","after":"43fbb3dd09e37bd80d87d561362f5d44204ea0c1","ref":"refs/heads/main","pushedAt":"2023-04-24T18:46:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Domain richiede che T implementi equality\n\nAggiunto un timer per vedere quanto è veloce","shortMessageHtmlLink":"Domain richiede che T implementi equality"}},{"before":"4251f80b64804dc85d3fc929f4ab6f6ba40bdb39","after":"5d27d8a784dcd6a430243e8520eb893b3fdd9ca9","ref":"refs/heads/main","pushedAt":"2023-04-20T13:18:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dam-99","name":"Damiano Mason","path":"/Dam-99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57217353?s=80&v=4"},"commit":{"message":"added some other sign tests","shortMessageHtmlLink":"added some other sign tests"}},{"before":"121eb246168b316a88bbee66478808f401d55035","after":"4251f80b64804dc85d3fc929f4ab6f6ba40bdb39","ref":"refs/heads/main","pushedAt":"2023-04-19T14:00:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Eliminato codice duplicato","shortMessageHtmlLink":"Eliminato codice duplicato"}},{"before":"a89b8822305fdbd293ceef3516ee7bd9ffbc2e6a","after":"121eb246168b316a88bbee66478808f401d55035","ref":"refs/heads/main","pushedAt":"2023-04-19T13:51:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Edivad99","name":"Davide Albiero","path":"/Edivad99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25778604?s=80&v=4"},"commit":{"message":"Aggiunto widening narrowing intersect && ||","shortMessageHtmlLink":"Aggiunto widening narrowing intersect &amp;&amp; ||"}},{"before":"4ba4548021c40336df9c885a7c5fe0e2942e6746","after":"a89b8822305fdbd293ceef3516ee7bd9ffbc2e6a","ref":"refs/heads/main","pushedAt":"2023-04-19T12:50:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dam-99","name":"Damiano Mason","path":"/Dam-99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57217353?s=80&v=4"},"commit":{"message":"fix sign \">\" operator che avevo sbagliato a copiare dagli appunti","shortMessageHtmlLink":"fix sign \"&gt;\" operator che avevo sbagliato a copiare dagli appunti"}},{"before":"6f9ac6c29b7a5cd9f3c63165f2c0b80f8a00abea","after":"4ba4548021c40336df9c885a7c5fe0e2942e6746","ref":"refs/heads/main","pushedAt":"2023-04-19T12:23:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Dam-99","name":"Damiano Mason","path":"/Dam-99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57217353?s=80&v=4"},"commit":{"message":"Merge pull request #1 from Edivad99/sign-domain\n\nSign domain implementation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1674761557\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Edivad99/WhileAbstractInterpreter/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Edivad99/WhileAbstractInterpreter/pull/1/hovercard\" href=\"https://github.com/Edivad99/WhileAbstractInterpreter/pull/1\">#1</a> from Edivad99/sign-domain"}},{"before":"4ba4548021c40336df9c885a7c5fe0e2942e6746","after":"6f9ac6c29b7a5cd9f3c63165f2c0b80f8a00abea","ref":"refs/heads/main","pushedAt":"2023-04-19T12:20:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dam-99","name":"Damiano Mason","path":"/Dam-99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57217353?s=80&v=4"},"commit":{"message":"cambio di segno che non é stato aggiunto allo stage nel commit prima del merge fasdhiadfuyewau","shortMessageHtmlLink":"cambio di segno che non é stato aggiunto allo stage nel commit prima …"}},{"before":"c64dfc9881796c0c6bbf45b070f6dc9541ba3a5c","after":"4ba4548021c40336df9c885a7c5fe0e2942e6746","ref":"refs/heads/main","pushedAt":"2023-04-19T12:10:50.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"Dam-99","name":"Damiano Mason","path":"/Dam-99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57217353?s=80&v=4"},"commit":{"message":"Merge pull request #1 from Edivad99/sign-domain\n\nSign domain implementation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1674761557\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Edivad99/WhileAbstractInterpreter/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Edivad99/WhileAbstractInterpreter/pull/1/hovercard\" href=\"https://github.com/Edivad99/WhileAbstractInterpreter/pull/1\">#1</a> from Edivad99/sign-domain"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0yMVQwODoyMDo1MC4wMDAwMDBazwAAAANaONW4","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0yMVQwODoyMDo1MC4wMDAwMDBazwAAAANaONW4","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0xOVQxMjoxMDo1MC4wMDAwMDBazwAAAAMb-ebv"}},"title":"Activity · Edivad99/WhileAbstractInterpreter"}