{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":107693841,"defaultBranch":"master","name":"Dat3M","ownerLogin":"hernanponcedeleon","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-10-20T15:20:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11671435?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726901711.0","currentOid":""},"activityList":{"items":[{"before":"d10f7bf4b0ba74947f9319588be5b29f6400ab97","after":"bca05dbf7a44d3ad34274f74e9a88d1771100296","ref":"refs/heads/lra-refactoring","pushedAt":"2024-09-23T15:26:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"natgavrilenko","name":null,"path":"/natgavrilenko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9434771?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"bdee43d6949430d8225dba39f6e279aeebd80d9f","after":"8babb5af024a24cb7d437dee833efbac7c3d3b22","ref":"refs/heads/badges","pushedAt":"2024-09-21T14:37:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Autogenerated JaCoCo coverage badge","shortMessageHtmlLink":"Autogenerated JaCoCo coverage badge"}},{"before":"d37bbad7a489f4cc432cda9d6f3f5e6fe8f998f8","after":"99182f511c38c7d7ff8ac6c4913753b5466556f2","ref":"refs/heads/pasm","pushedAt":"2024-09-21T11:39:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Feedback implemented\n\nSigned-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Feedback implemented"}},{"before":"ced0faaea2d670510a24a6a3fa8b416a55fc387e","after":"d37bbad7a489f4cc432cda9d6f3f5e6fe8f998f8","ref":"refs/heads/pasm","pushedAt":"2024-09-21T10:14:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Replace zero registers in specifications\n\nSigned-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Replace zero registers in specifications"}},{"before":"6eb5059a959a184e893172a58aa7bcdd9cc657b5","after":"ced0faaea2d670510a24a6a3fa8b416a55fc387e","ref":"refs/heads/pasm","pushedAt":"2024-09-21T06:55:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Some improvements to aarch64 pseudo-assembly\n\nSigned-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Some improvements to aarch64 pseudo-assembly"}},{"before":"e91f205ec3039ce7c8d642b2461407ce31ec9876","after":null,"ref":"refs/heads/backwards-reaching-definitions","pushedAt":"2024-09-21T06:55:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"}},{"before":"90c3a7b572350a2f85719a1b1945b1e87a8987d1","after":"73ba96cc45a86775abac72493b436deab020b4b7","ref":"refs/heads/development","pushedAt":"2024-09-21T06:55:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Backwards reaching definitions (#726)","shortMessageHtmlLink":"Backwards reaching definitions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2505123937\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/726\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/726/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/726\">#726</a>)"}},{"before":null,"after":"8c70a94f09637b8a170eac79f52a4ff1e12d5d95","ref":"refs/heads/alias-cycle-elimination","pushedAt":"2024-09-20T16:49:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xeren","name":"René Maseli","path":"/xeren","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5527554?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'refs/remotes/origin/development' into alias-top","shortMessageHtmlLink":"Merge remote-tracking branch 'refs/remotes/origin/development' into a…"}},{"before":"b8f136feb5452831943760dd6ac99be4f6c20302","after":"e91f205ec3039ce7c8d642b2461407ce31ec9876","ref":"refs/heads/backwards-reaching-definitions","pushedAt":"2024-09-20T16:47:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xeren","name":"René Maseli","path":"/xeren","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5527554?s=80&v=4"},"commit":{"message":"Small reformat","shortMessageHtmlLink":"Small reformat"}},{"before":"bf0c691bcc3dd98ff02185b786317f9e2c98d8da","after":"b8f136feb5452831943760dd6ac99be4f6c20302","ref":"refs/heads/backwards-reaching-definitions","pushedAt":"2024-09-20T16:38:37.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"xeren","name":"René Maseli","path":"/xeren","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5527554?s=80&v=4"},"commit":{"message":"Remove option program.processing.loopBounds.useDefAnalysis\n\nRemove NaiveLoopBoundAnnotation.newInstance()\nAdd NaiveLoopBoundAnnotation.fromConfig(Configuration)\nAdd ReachingDefinitionsAnalysis.configure(Configuration)\nSet BackwardsReachingDefinitionsAnalysis package-private","shortMessageHtmlLink":"Remove option program.processing.loopBounds.useDefAnalysis"}},{"before":"8b3309455b143fcbb99ff99617154bebc930d7d6","after":"d10f7bf4b0ba74947f9319588be5b29f6400ab97","ref":"refs/heads/lra-refactoring","pushedAt":"2024-09-20T16:34:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"natgavrilenko","name":null,"path":"/natgavrilenko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9434771?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"21db5a9ff586068e90fd197770cbf764d3d46346","after":"6eb5059a959a184e893172a58aa7bcdd9cc657b5","ref":"refs/heads/pasm","pushedAt":"2024-09-20T14:13:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Some improvements to aarch64 pseudo-assembly\n\nSigned-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Some improvements to aarch64 pseudo-assembly"}},{"before":null,"after":"21db5a9ff586068e90fd197770cbf764d3d46346","ref":"refs/heads/pasm","pushedAt":"2024-09-20T13:03:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Some improvements to aarch64 pseudo-assembly\n\nSigned-off-by: Hernan Ponce de Leon <zeta96@gmail.com>","shortMessageHtmlLink":"Some improvements to aarch64 pseudo-assembly"}},{"before":"45b48dff3a0730111d9dffc33bf225913ffcc0f0","after":"0de81fb110cf0bd2d3e061896bf58ee0d4bbc63e","ref":"refs/heads/arm-asm","pushedAt":"2024-09-20T11:56:31.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Merge branch 'development' into arm-asm","shortMessageHtmlLink":"Merge branch 'development' into arm-asm"}},{"before":"c1cd2734735d65cf582ddda6b2eca93f906baaaa","after":null,"ref":"refs/heads/xchg","pushedAt":"2024-09-20T11:24:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"}},{"before":"690a283de06bf0a418f9fe81a80ae9d49376ad41","after":"90c3a7b572350a2f85719a1b1945b1e87a8987d1","ref":"refs/heads/development","pushedAt":"2024-09-20T11:24:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Add support for atomic_exchange_explicit in litmus code (#740)\n\nSigned-off-by: Hernan Ponce de Leon <zeta96@gmail.com>","shortMessageHtmlLink":"Add support for atomic_exchange_explicit in litmus code (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2537223113\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/740\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/740/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/740\">#740</a>)"}},{"before":"ffa97e7938db72a8f1d59e07c312f5f6f9e06ad9","after":"8b3309455b143fcbb99ff99617154bebc930d7d6","ref":"refs/heads/lra-refactoring","pushedAt":"2024-09-20T10:21:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"natgavrilenko","name":null,"path":"/natgavrilenko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9434771?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"527e81a1629f1e86a59a42ac779d481e37936050","after":"c1cd2734735d65cf582ddda6b2eca93f906baaaa","ref":"refs/heads/xchg","pushedAt":"2024-09-20T06:41:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Add support for atomic_exchange_explicit in litmus code\n\nSigned-off-by: Hernan Ponce de Leon <zeta96@gmail.com>","shortMessageHtmlLink":"Add support for atomic_exchange_explicit in litmus code"}},{"before":"821d5d74f0c5dd082ae24a1b42d2d3bd2b23d92c","after":"bdee43d6949430d8225dba39f6e279aeebd80d9f","ref":"refs/heads/badges","pushedAt":"2024-09-19T21:52:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Autogenerated JaCoCo coverage badge","shortMessageHtmlLink":"Autogenerated JaCoCo coverage badge"}},{"before":"c18bb43ac45f42a11fd7b69ace93243b26b6dd71","after":null,"ref":"refs/heads/svcomp","pushedAt":"2024-09-19T20:27:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"}},{"before":"e04d77d69320e2e332e4f4ed98b1cf826009db7c","after":"690a283de06bf0a418f9fe81a80ae9d49376ad41","ref":"refs/heads/development","pushedAt":"2024-09-19T20:27:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Pass the C file to the svcomp runner rather than the optimized llvm (#739)\n\nSigned-off-by: Hernan Ponce de Leon <zeta96@gmail.com>","shortMessageHtmlLink":"Pass the C file to the svcomp runner rather than the optimized llvm (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2533620229\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/739\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/739/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/739\">#…</a>"}},{"before":null,"after":"527e81a1629f1e86a59a42ac779d481e37936050","ref":"refs/heads/xchg","pushedAt":"2024-09-19T19:35:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Add support for atomic_exchange_explicit in litmus code\n\nSigned-off-by: Hernan Ponce de Leon <zeta96@gmail.com>","shortMessageHtmlLink":"Add support for atomic_exchange_explicit in litmus code"}},{"before":"190c50442520cde2f117bf68ca673366b86191a4","after":"ffa97e7938db72a8f1d59e07c312f5f6f9e06ad9","ref":"refs/heads/lra-refactoring","pushedAt":"2024-09-19T16:43:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"natgavrilenko","name":null,"path":"/natgavrilenko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9434771?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"63c0b170b1610288d5f1f73eed5b22ec60080f54","after":"190c50442520cde2f117bf68ca673366b86191a4","ref":"refs/heads/lra-refactoring","pushedAt":"2024-09-19T09:41:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"natgavrilenko","name":null,"path":"/natgavrilenko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9434771?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"397eef39cd4b87fd39896e979e905f3bfc9afc3a","after":"63c0b170b1610288d5f1f73eed5b22ec60080f54","ref":"refs/heads/lra-refactoring","pushedAt":"2024-09-19T07:53:51.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"natgavrilenko","name":null,"path":"/natgavrilenko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9434771?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"026cf924c90fe19b91b605b8ebbaea12c99eff15","after":"a9056998d42f4365616a3db4da347f3efff83d92","ref":"refs/heads/litmus_testgen","pushedAt":"2024-09-19T07:46:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AndrejFinki","name":"Andrej Sh.","path":"/AndrejFinki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/126242006?s=80&v=4"},"commit":{"message":"Tested all litmus tests for correctness","shortMessageHtmlLink":"Tested all litmus tests for correctness"}},{"before":null,"after":"c18bb43ac45f42a11fd7b69ace93243b26b6dd71","ref":"refs/heads/svcomp","pushedAt":"2024-09-18T12:23:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Pass the C file to the svcomp runner rather than the optimized llvm\n\nSigned-off-by: Hernan Ponce de Leon <zeta96@gmail.com>","shortMessageHtmlLink":"Pass the C file to the svcomp runner rather than the optimized llvm"}},{"before":null,"after":"397eef39cd4b87fd39896e979e905f3bfc9afc3a","ref":"refs/heads/lra-refactoring","pushedAt":"2024-09-17T14:57:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"natgavrilenko","name":null,"path":"/natgavrilenko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9434771?s=80&v=4"},"commit":{"message":"Refctoring lazy relation analysis","shortMessageHtmlLink":"Refctoring lazy relation analysis"}},{"before":"5f5bad15dbfb7cbaaf004153d45e26e98d4369d2","after":"026cf924c90fe19b91b605b8ebbaea12c99eff15","ref":"refs/heads/litmus_testgen","pushedAt":"2024-09-17T12:15:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AndrejFinki","name":"Andrej Sh.","path":"/AndrejFinki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/126242006?s=80&v=4"},"commit":{"message":"Add support for SetIdentity and Filters\n\nSquashed commit of the following:\n\ncommit ec8df831798e36f9d03ee3215dc3541f096fb6a1\nAuthor: AndrejFinki <andrej.shekerov@student.finki.ukim.mk>\nDate:   Tue Sep 17 11:04:20 2024 +0200\n\n    Add support for Filter Union operation\n\ncommit 2eed200d86435629400b0714c54fd50e084fd6b0\nAuthor: AndrejFinki <andrej.shekerov@student.finki.ukim.mk>\nDate:   Tue Sep 17 10:45:40 2024 +0200\n\n    Rename folder from converter to convert\n\ncommit 76a06eb5e27dedd7520d3077eb4564e85733c2a2\nAuthor: AndrejFinki <andrej.shekerov@student.finki.ukim.mk>\nDate:   Tue Sep 17 10:43:44 2024 +0200\n\n    Add example on how to turn a Filter into a Relation","shortMessageHtmlLink":"Add support for SetIdentity and Filters"}},{"before":null,"after":"65bf165a56f24d4436f5341bb1135bdd7eb6f245","ref":"refs/heads/litmus_testgen_tags","pushedAt":"2024-09-17T12:09:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AndrejFinki","name":"Andrej Sh.","path":"/AndrejFinki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/126242006?s=80&v=4"},"commit":{"message":"Add incomplete support for tags","shortMessageHtmlLink":"Add incomplete support for tags"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yM1QxNToyNjoxMC4wMDAwMDBazwAAAAS-JPp-","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yM1QxNToyNjoxMC4wMDAwMDBazwAAAAS-JPp-","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QxMjowOTo0Mi4wMDAwMDBazwAAAAS4ey28"}},"title":"Activity · hernanponcedeleon/Dat3M"}