{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":104296277,"defaultBranch":"master","name":"smart-contracts","ownerLogin":"anmavrid","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-09-21T03:18:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/25355219?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1609965936.0","currentOid":""},"activityList":{"items":[{"before":"ab0c4e30a3908431bca396e5e562bd9496a3c6d4","after":"94eb36a83e6836c7122c9934388e32015dc9ea5f","ref":"refs/heads/master","pushedAt":"2023-11-03T18:19:17.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #24 from Atefeh-Zareh/log-fix-extensions\n\nLog fix extensions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944066567\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/24/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/24\">#24</a> from Atefeh-Zareh/log-fix-extensions"}},{"before":"26f6e3891d7d93a5fd13d7cce03efb43e920cf18","after":"ab0c4e30a3908431bca396e5e562bd9496a3c6d4","ref":"refs/heads/master","pushedAt":"2023-11-03T18:19:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #23 from Atefeh-Zareh/new-template-16\n\nNew template 16","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944061438\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/23/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/23\">#23</a> from Atefeh-Zareh/new-template-16"}},{"before":"01b882e70ae50c3c32dace643f1b6830c7f9e72d","after":"26f6e3891d7d93a5fd13d7cce03efb43e920cf18","ref":"refs/heads/master","pushedAt":"2023-11-03T18:18:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #22 from Atefeh-Zareh/new-template-15\n\nNew template 15","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944060674\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/22/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/22\">#22</a> from Atefeh-Zareh/new-template-15"}},{"before":"e426cf48af06ebee124400dae6bcd5b166ceaffa","after":"01b882e70ae50c3c32dace643f1b6830c7f9e72d","ref":"refs/heads/master","pushedAt":"2023-11-03T18:18:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #21 from Atefeh-Zareh/new-template-14\n\nNew template 14","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944059850\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/21/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/21\">#21</a> from Atefeh-Zareh/new-template-14"}},{"before":"48e24bd70311e5c145e87f892a4d25935cf98dcc","after":"e426cf48af06ebee124400dae6bcd5b166ceaffa","ref":"refs/heads/master","pushedAt":"2023-11-03T18:18:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #20 from Atefeh-Zareh/new-template-13\n\nNew template 13","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944059035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/20/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/20\">#20</a> from Atefeh-Zareh/new-template-13"}},{"before":"034daa52b479a4cb366a530f12d67a8051f095e4","after":"48e24bd70311e5c145e87f892a4d25935cf98dcc","ref":"refs/heads/master","pushedAt":"2023-11-03T18:18:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #19 from Atefeh-Zareh/new-template-12\n\nNew template 12","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944058199\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/19/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/19\">#19</a> from Atefeh-Zareh/new-template-12"}},{"before":"11dbfe91fd18e15f732effe1762037d3c105884d","after":"034daa52b479a4cb366a530f12d67a8051f095e4","ref":"refs/heads/master","pushedAt":"2023-11-03T18:17:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #18 from Atefeh-Zareh/new-template-11\n\nNew template 11","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944056821\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/18/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/18\">#18</a> from Atefeh-Zareh/new-template-11"}},{"before":"5f4f8db150431b6770f8abdfcf0f84483d1133b3","after":"11dbfe91fd18e15f732effe1762037d3c105884d","ref":"refs/heads/master","pushedAt":"2023-11-03T18:17:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #17 from Atefeh-Zareh/new-template-10\n\nNew template 10","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944055780\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/17/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/17\">#17</a> from Atefeh-Zareh/new-template-10"}},{"before":"a6d67f3c656905683b48a20b85c1802293d6f012","after":"5f4f8db150431b6770f8abdfcf0f84483d1133b3","ref":"refs/heads/master","pushedAt":"2023-11-03T18:17:27.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #16 from Atefeh-Zareh/new-template-9\n\nNew template 9","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944054792\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/16/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/16\">#16</a> from Atefeh-Zareh/new-template-9"}},{"before":"eccae4e32a6b6c67e64db86c24c3daadde864c5d","after":"a6d67f3c656905683b48a20b85c1802293d6f012","ref":"refs/heads/master","pushedAt":"2023-11-03T18:17:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #15 from Atefeh-Zareh/new-template-8\n\nNew template 8","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944053209\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/15/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/15\">#15</a> from Atefeh-Zareh/new-template-8"}},{"before":"9d8ec4e7c8f9884a89fa451249eb5cee168c36de","after":"eccae4e32a6b6c67e64db86c24c3daadde864c5d","ref":"refs/heads/master","pushedAt":"2023-11-03T18:16:31.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #14 from Atefeh-Zareh/template-7\n\nTemplate 7","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944051181\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/14/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/14\">#14</a> from Atefeh-Zareh/template-7"}},{"before":"87a186e9769000c04c6b9ff9e5376624514354de","after":"9d8ec4e7c8f9884a89fa451249eb5cee168c36de","ref":"refs/heads/master","pushedAt":"2023-09-06T17:26:56.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #13 from Atefeh-Zareh/property6-implementation\n\nProperty6 implementation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1872202989\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/13/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/13\">#13</a> from Atefeh-Zareh/property6-implementation"}},{"before":"17e985f5af877e8a90b47cc48d0d5db427455afe","after":"87a186e9769000c04c6b9ff9e5376624514354de","ref":"refs/heads/master","pushedAt":"2023-09-06T17:25:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"anmavrid","name":"Anastasia Mavridou","path":"/anmavrid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25355219?s=80&v=4"},"commit":{"message":"Merge pull request #10 from Atefeh-Zareh/property2-bug-fix\n\nBugFix: Corrected NuXmv Translation for Property 2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1872199117\" data-permission-text=\"Title is private\" data-url=\"https://github.com/anmavrid/smart-contracts/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/anmavrid/smart-contracts/pull/10/hovercard\" href=\"https://github.com/anmavrid/smart-contracts/pull/10\">#10</a> from Atefeh-Zareh/property2-bug-fix"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADpvpVYAA","startCursor":null,"endCursor":null}},"title":"Activity · anmavrid/smart-contracts"}