{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":685584481,"defaultBranch":"master","name":"mata-comparison-results","ownerLogin":"VeriFIT","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-31T14:58:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13378354?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725017988.0","currentOid":""},"activityList":{"items":[{"before":"31d78721fb326d185e97488e154659e6291feb92","after":null,"ref":"refs/heads/tacas-update","pushedAt":"2024-08-30T11:39:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"}},{"before":"a1dac6f1cd2bcf9e185b6ecbec0fa70fe2d34791","after":null,"ref":"refs/heads/repo-cleaning","pushedAt":"2024-08-30T11:39:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"}},{"before":"25be3b7f48fc3772a83d48eda76727080f12093f","after":null,"ref":"refs/heads/script-update","pushedAt":"2024-08-30T11:39:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"}},{"before":"9ca696e1a83e1ffd272b8e7838f1efbcb5006d45","after":"df78ac66f46297e39fcd72dd76ab89e5e4635aca","ref":"refs/heads/master","pushedAt":"2024-08-30T11:38:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"Merge pull request #3 from VeriFIT/tacas-update\n\nCopy of TACAS'24 data","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2496995577\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata-comparison-results/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata-comparison-results/pull/3/hovercard\" href=\"https://github.com/VeriFIT/mata-comparison-results/pull/3\">#3</a> from VeriFIT/tacas-update"}},{"before":null,"after":"31d78721fb326d185e97488e154659e6291feb92","ref":"refs/heads/tacas-update","pushedAt":"2024-08-30T11:34:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"results: copy of tacas24 data","shortMessageHtmlLink":"results: copy of tacas24 data"}},{"before":"60e81df7690692a7648acc52c98cb5e7a4c805a0","after":"9ca696e1a83e1ffd272b8e7838f1efbcb5006d45","ref":"refs/heads/master","pushedAt":"2024-05-10T08:41:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"Merge pull request #2 from VeriFIT/repo-cleaning\n\nRemove evaluation scripts","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2289120344\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata-comparison-results/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata-comparison-results/pull/2/hovercard\" href=\"https://github.com/VeriFIT/mata-comparison-results/pull/2\">#2</a> from VeriFIT/repo-cleaning"}},{"before":null,"after":"a1dac6f1cd2bcf9e185b6ecbec0fa70fe2d34791","ref":"refs/heads/repo-cleaning","pushedAt":"2024-01-12T12:59:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"remove evaluation scripts","shortMessageHtmlLink":"remove evaluation scripts"}},{"before":"792d1117dcca66a640995e9112017775f49019e1","after":"60e81df7690692a7648acc52c98cb5e7a4c805a0","ref":"refs/heads/master","pushedAt":"2024-01-10T14:01:22.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"Merge pull request #1 from VeriFIT/script-update\n\nJupyter: extended evaluation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2074441782\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata-comparison-results/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata-comparison-results/pull/1/hovercard\" href=\"https://github.com/VeriFIT/mata-comparison-results/pull/1\">#1</a> from VeriFIT/script-update"}},{"before":null,"after":"25be3b7f48fc3772a83d48eda76727080f12093f","ref":"refs/heads/script-update","pushedAt":"2024-01-10T12:59:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"jupyter: extended evaluation","shortMessageHtmlLink":"jupyter: extended evaluation"}},{"before":"1d6914eeb1f6efaa27bd087c37334f477c221c47","after":"0d7776144220aafdfeceeb803f0337c0f70d67d8","ref":"refs/heads/tacas24-artefact","pushedAt":"2023-10-24T15:17:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Update notebook","shortMessageHtmlLink":"Update notebook"}},{"before":"b996f6b1e2ec79599b5ee393e15d94c38d816682","after":"1d6914eeb1f6efaa27bd087c37334f477c221c47","ref":"refs/heads/tacas24-artefact","pushedAt":"2023-10-24T15:16:39.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Update scripts","shortMessageHtmlLink":"Update scripts"}},{"before":"301801ffbf9290f5a042e8776b36bd951a952995","after":"b996f6b1e2ec79599b5ee393e15d94c38d816682","ref":"refs/heads/tacas24-artefact","pushedAt":"2023-10-19T16:19:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Remove notebookj","shortMessageHtmlLink":"Remove notebookj"}},{"before":null,"after":"301801ffbf9290f5a042e8776b36bd951a952995","ref":"refs/heads/tacas24-artefact","pushedAt":"2023-10-19T15:35:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Clean up","shortMessageHtmlLink":"Clean up"}},{"before":"9e6f0559a6ad003b8d80ec15b8b6d72b1b61fae6","after":"792d1117dcca66a640995e9112017775f49019e1","ref":"refs/heads/master","pushedAt":"2023-10-18T13:11:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Remove old scripts","shortMessageHtmlLink":"Remove old scripts"}},{"before":"22d58a706a99b6b236fa4451531ea91a028ba98f","after":"9e6f0559a6ad003b8d80ec15b8b6d72b1b61fae6","ref":"refs/heads/master","pushedAt":"2023-10-17T08:37:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add forgotten csv","shortMessageHtmlLink":"Add forgotten csv"}},{"before":"13951a7faa50892a3ffd1412f698608adcf7113d","after":"22d58a706a99b6b236fa4451531ea91a028ba98f","ref":"refs/heads/master","pushedAt":"2023-10-17T07:50:51.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Update all (god help us)","shortMessageHtmlLink":"Update all (god help us)"}},{"before":"78b6f52faeb56417e6f49deb955506b4d5dc7beb","after":"13951a7faa50892a3ffd1412f698608adcf7113d","ref":"refs/heads/master","pushedAt":"2023-10-17T06:29:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Small cleanup","shortMessageHtmlLink":"Small cleanup"}},{"before":"9bd55d7d6a269419de5f1b2107832b6789a4ecca","after":"78b6f52faeb56417e6f49deb955506b4d5dc7beb","ref":"refs/heads/master","pushedAt":"2023-10-17T06:23:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add new results","shortMessageHtmlLink":"Add new results"}},{"before":"f380c61d67a9eecad48e1be5b7b55eba06213f0a","after":"9bd55d7d6a269419de5f1b2107832b6789a4ecca","ref":"refs/heads/master","pushedAt":"2023-10-16T19:01:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add sequential email filter","shortMessageHtmlLink":"Add sequential email filter"}},{"before":"886f5ae21f898fbcbf5d633c66f47a3f7bdbc026","after":"f380c61d67a9eecad48e1be5b7b55eba06213f0a","ref":"refs/heads/master","pushedAt":"2023-10-16T17:35:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add jalib experiments","shortMessageHtmlLink":"Add jalib experiments"}},{"before":"928a2b28901874e0493f46ce894692e3a64107e9","after":"886f5ae21f898fbcbf5d633c66f47a3f7bdbc026","ref":"refs/heads/master","pushedAt":"2023-10-16T15:39:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add new figures","shortMessageHtmlLink":"Add new figures"}},{"before":"eeed73a6df83110c88f5536dd39d51f31bfcf759","after":"928a2b28901874e0493f46ce894692e3a64107e9","ref":"refs/heads/master","pushedAt":"2023-10-16T15:25:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Recompute automata","shortMessageHtmlLink":"Recompute automata"}},{"before":"e9875e530dca64e3a9b76edf8d52af1da2302156","after":"eeed73a6df83110c88f5536dd39d51f31bfcf759","ref":"refs/heads/master","pushedAt":"2023-10-16T13:46:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Generate inconsistent results","shortMessageHtmlLink":"Generate inconsistent results"}},{"before":"164d222c615d8c0c6344cfcae693d77ac1d30462","after":"e9875e530dca64e3a9b76edf8d52af1da2302156","ref":"refs/heads/master","pushedAt":"2023-10-16T12:51:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add figures for automata","shortMessageHtmlLink":"Add figures for automata"}},{"before":"9b8bc77edf234946bd123d2ebae5336a4861572e","after":"164d222c615d8c0c6344cfcae693d77ac1d30462","ref":"refs/heads/master","pushedAt":"2023-10-16T12:46:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add mintermization times","shortMessageHtmlLink":"Add mintermization times"}},{"before":"20ef5357a33235a4fef538393a2939a16c55a251","after":"9b8bc77edf234946bd123d2ebae5336a4861572e","ref":"refs/heads/master","pushedAt":"2023-10-16T12:26:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:VeriFIT/mata-comparison-results","shortMessageHtmlLink":"Merge branch 'master' of github.com:VeriFIT/mata-comparison-results"}},{"before":"24b3aa1c2871f6840a946b8ab872e8617606e2e5","after":"20ef5357a33235a4fef538393a2939a16c55a251","ref":"refs/heads/master","pushedAt":"2023-10-13T17:59:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Update jupyter","shortMessageHtmlLink":"Update jupyter"}},{"before":"4bfe327ade6d7eacf0b7c0669d61cfc2cdb3044a","after":"24b3aa1c2871f6840a946b8ab872e8617606e2e5","ref":"refs/heads/master","pushedAt":"2023-10-12T20:42:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add jupyter notebook","shortMessageHtmlLink":"Add jupyter notebook"}},{"before":"9ce17a4d2c5c14d634e093d5ee8ba02a4fb0efb5","after":"4bfe327ade6d7eacf0b7c0669d61cfc2cdb3044a","ref":"refs/heads/master","pushedAt":"2023-10-12T06:49:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add mata experiments","shortMessageHtmlLink":"Add mata experiments"}},{"before":"eabba9ba1af8f05d6e23f12ad56a2b8bd68cbb90","after":"9ce17a4d2c5c14d634e093d5ee8ba02a4fb0efb5","ref":"refs/heads/master","pushedAt":"2023-10-11T17:42:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tfiedor","name":"Tomas Fiedor","path":"/tfiedor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6544197?s=80&v=4"},"commit":{"message":"Add relative table","shortMessageHtmlLink":"Add relative table"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEqJllcQA","startCursor":null,"endCursor":null}},"title":"Activity · VeriFIT/mata-comparison-results"}