{"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:1726777636.0","currentOid":""},"activityList":{"items":[{"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"}},{"before":"2eed200d86435629400b0714c54fd50e084fd6b0","after":"ec8df831798e36f9d03ee3215dc3541f096fb6a1","ref":"refs/heads/litmus_testgen_feature","pushedAt":"2024-09-17T09:04:21.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 Filter Union operation","shortMessageHtmlLink":"Add support for Filter Union operation"}},{"before":"76a06eb5e27dedd7520d3077eb4564e85733c2a2","after":"2eed200d86435629400b0714c54fd50e084fd6b0","ref":"refs/heads/litmus_testgen_feature","pushedAt":"2024-09-17T08:45:43.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":"Rename folder from converter to convert","shortMessageHtmlLink":"Rename folder from converter to convert"}},{"before":"5f5bad15dbfb7cbaaf004153d45e26e98d4369d2","after":"76a06eb5e27dedd7520d3077eb4564e85733c2a2","ref":"refs/heads/litmus_testgen_feature","pushedAt":"2024-09-17T08:43:45.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 example on how to turn a Filter into a Relation","shortMessageHtmlLink":"Add example on how to turn a Filter into a Relation"}},{"before":"bcfbba5cd383c84be7174e8bf9bdfa3fa78574fb","after":"821d5d74f0c5dd082ae24a1b42d2d3bd2b23d92c","ref":"refs/heads/badges","pushedAt":"2024-09-16T10:53:24.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":"479e85e35c0dee8190f1a9bb63084b9f3caf10f4","after":"e04d77d69320e2e332e4f4ed98b1cf826009db7c","ref":"refs/heads/development","pushedAt":"2024-09-16T10:05:54.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":"Added support for includes and functions in cat (#736)\n\nCo-authored-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Added support for includes and functions in cat (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2522074278\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/736\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/736/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/736\">#736</a>)"}},{"before":"9a23ab07c017edd2d9b698c279913ee214b4df5a","after":"f289f5c079c7e093a85151f3e3a5b274238c2b0e","ref":"refs/heads/master","pushedAt":"2024-09-16T09:43:05.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 to show source location in witness graph for spirv (#738)\n\nSigned-off-by: Tianrui Zheng <tianrui.zheng@huawei.com>","shortMessageHtmlLink":"add support to show source location in witness graph for spirv (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2524997272\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/738\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/738/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/738\">#738</a>)"}},{"before":"9b43ed85dfe59e999e4c9bd1a9b5ab8c22e27fe7","after":"bcfbba5cd383c84be7174e8bf9bdfa3fa78574fb","ref":"refs/heads/badges","pushedAt":"2024-09-16T07:22:46.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":"9b9fc0a547d726ab3476529dd4f37f689c83d611","after":null,"ref":"refs/heads/enable_loopTransform_litmus","pushedAt":"2024-09-16T07:20:09.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":"0e1be0f13296a0558c3af7f57f60e98d2680a650","after":null,"ref":"refs/heads/cat_parsing","pushedAt":"2024-09-16T06:03:59.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":"66e10caa75830630f7d6c44faf727dfd8e256fd8","after":"479e85e35c0dee8190f1a9bb63084b9f3caf10f4","ref":"refs/heads/development","pushedAt":"2024-09-16T06:03:57.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":"Added support for includes and functions in cat (#736)\n\nCo-authored-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Added support for includes and functions in cat (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2522074278\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/736\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/736/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/736\">#736</a>)"}},{"before":"1027e7fc46cbfabea24c6f9b502a80e5ccbdc20b","after":"0e1be0f13296a0558c3af7f57f60e98d2680a650","ref":"refs/heads/cat_parsing","pushedAt":"2024-09-15T19:46:15.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":"Minor improvement\n\nSigned-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Minor improvement"}},{"before":"00150161f4407dc4ef29675ae2f8b93140a8cfb6","after":"1027e7fc46cbfabea24c6f9b502a80e5ccbdc20b","ref":"refs/heads/cat_parsing","pushedAt":"2024-09-15T18:35:11.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":"Add intermediate relations to the wmm when adding bias\n\nSigned-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Add intermediate relations to the wmm when adding bias"}},{"before":"c7e53fd4b8d07a0ee3755741955fc29078c23873","after":"00150161f4407dc4ef29675ae2f8b93140a8cfb6","ref":"refs/heads/cat_parsing","pushedAt":"2024-09-15T06:30:27.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hernanponcedeleon","name":"Hernan Ponce de Leon","path":"/hernanponcedeleon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11671435?s=80&v=4"},"commit":{"message":"Merge development\n\nSigned-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Merge development"}},{"before":"01d81de1f8bdf167871e0cd66e8c84fb4478c6ec","after":"9b43ed85dfe59e999e4c9bd1a9b5ab8c22e27fe7","ref":"refs/heads/badges","pushedAt":"2024-09-14T18:16:10.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":"d1750a077837d8787588a885fa1568fd8db135f9","after":null,"ref":"refs/heads/executionModel","pushedAt":"2024-09-14T16:52:45.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":"c29c77e3f52f9684a5da858c71777953a74b5544","after":"66e10caa75830630f7d6c44faf727dfd8e256fd8","ref":"refs/heads/development","pushedAt":"2024-09-14T16:52:44.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 progress models (#731)\n\nCo-authored-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":"Add support for progress models (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519077593\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/731\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/731/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/731\">#731</a>)"}},{"before":"6bf8fa7d0e44734e8003a4e81f786aee55e4eb78","after":"d1750a077837d8787588a885fa1568fd8db135f9","ref":"refs/heads/executionModel","pushedAt":"2024-09-14T12:20:05.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":"Remove Vulkan Liveness tests (covered by Fair Liveness test)","shortMessageHtmlLink":"Remove Vulkan Liveness tests (covered by Fair Liveness test)"}},{"before":"d9643fded3a480031d1e7170f5800ce2377e184d","after":"6bf8fa7d0e44734e8003a4e81f786aee55e4eb78","ref":"refs/heads/executionModel","pushedAt":"2024-09-14T10:52:25.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":"Merge branch 'development' into executionModel","shortMessageHtmlLink":"Merge branch 'development' into executionModel"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEu1mS6QA","startCursor":null,"endCursor":null}},"title":"Activity · hernanponcedeleon/Dat3M"}