{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":395706453,"defaultBranch":"master","name":"golem","ownerLogin":"usi-verification-and-security","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-08-13T15:38:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/50205340?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725451164.0","currentOid":""},"activityList":{"items":[{"before":"4820f06aa8c4916298782f0085b5b13d66755e05","after":"c503f7ff5c9259661e20ee8c50854fa976eb3c59","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-17T10:15:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: fixed formatting by build order","shortMessageHtmlLink":"Merging nested loops: fixed formatting by build order"}},{"before":"ba6b53f9836b54ce2e6b93b9ab804cd96da7ab58","after":"4820f06aa8c4916298782f0085b5b13d66755e05","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-17T10:09:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"TPA nested loops: Formatter fix","shortMessageHtmlLink":"TPA nested loops: Formatter fix"}},{"before":"895555373b9e62930c5e4001e8eb319b80ad978c","after":"ba6b53f9836b54ce2e6b93b9ab804cd96da7ab58","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-17T10:04:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"TPA nested loops: PR comments fixes, quickfix of loop detection, removed code duplications","shortMessageHtmlLink":"TPA nested loops: PR comments fixes, quickfix of loop detection, remo…"}},{"before":"150be41d49418b4f8900a35ff7165f3ed55d5d47","after":"895555373b9e62930c5e4001e8eb319b80ad978c","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-17T10:02:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: fixed formatting","shortMessageHtmlLink":"Merging nested loops: fixed formatting"}},{"before":"0276f493b2a211876e9fa736543c8c4d8c096c62","after":"150be41d49418b4f8900a35ff7165f3ed55d5d47","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-17T09:55:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: removed code duplication","shortMessageHtmlLink":"Merging nested loops: removed code duplication"}},{"before":"aa60396cc590070a7c090a318f10851cb58e72c2","after":"0276f493b2a211876e9fa736543c8c4d8c096c62","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-17T09:36:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: changed nodes from int to SymRef","shortMessageHtmlLink":"Merging nested loops: changed nodes from int to SymRef"}},{"before":"1598c78775ab7e9a151e2ceeaebec3e5606f35f3","after":"aa60396cc590070a7c090a318f10851cb58e72c2","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-17T08:23:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: Created utils file","shortMessageHtmlLink":"Merging nested loops: Created utils file"}},{"before":"f33d78ad167ce25f6f87d746384b2fb4b454d0a3","after":"1598c78775ab7e9a151e2ceeaebec3e5606f35f3","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-16T12:58:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"TPA nested loops: PR comments fixes","shortMessageHtmlLink":"TPA nested loops: PR comments fixes"}},{"before":"7f01167091ff93668788cb2fbfd8428771bf8221","after":"563c1dd529f0a95dc7f80bc584ebd23636607b92","ref":"refs/heads/nested-loops-tpa","pushedAt":"2024-09-16T10:21:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"TPA nested loops: bounded unsat reachability","shortMessageHtmlLink":"TPA nested loops: bounded unsat reachability"}},{"before":"8d5cef02af29a665c335991f19eacf7a9b4765fd","after":"1ddf2af8ca63a5376d8f7bad2386d24f842bad66","ref":"refs/heads/master","pushedAt":"2024-09-10T15:08:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"IMC: Remove unnecessary option setting","shortMessageHtmlLink":"IMC: Remove unnecessary option setting"}},{"before":"fec8614a0176bf28715ee02011871ed74dd53436","after":"8d5cef02af29a665c335991f19eacf7a9b4765fd","ref":"refs/heads/master","pushedAt":"2024-09-07T10:01:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"Fix the process of creating CHC representation from input terms\n\nPreviously, when extracting uninterpreted predicates from the term\nrepresentation, we would not preserve the order of predicates, if\nmultiple UP were present. This was due to the use of `partition`\nalgorithm. To preserve the relative order, we must use `stable_partition`.\nThe produced proofs should now be correct with respect to the provided\ninput.","shortMessageHtmlLink":"Fix the process of creating CHC representation from input terms"}},{"before":"7f01167091ff93668788cb2fbfd8428771bf8221","after":"fec8614a0176bf28715ee02011871ed74dd53436","ref":"refs/heads/master","pushedAt":"2024-09-07T09:55:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"Fix the process of creating CHC representation from input terms\n\nPreviously, when extracting uninterpreted predicates from the term\nrepresentation, we would not preserve the order of predicates, if\nmultiple UP were present. This was due to the use of `partition`\nalgorithm. To preserve the relative order, we must use `stable_partition`.\nThe produced proofs should now be correct with respect to the provided\ninput.","shortMessageHtmlLink":"Fix the process of creating CHC representation from input terms"}},{"before":null,"after":"7f01167091ff93668788cb2fbfd8428771bf8221","ref":"refs/heads/nested-loops-tpa","pushedAt":"2024-09-04T11:59:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Update help message for engines","shortMessageHtmlLink":"Update help message for engines"}},{"before":"3d9ffb21f0cca3efbeea4b4d12a62a445e634c14","after":"f33d78ad167ce25f6f87d746384b2fb4b454d0a3","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-04T10:18:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: clang file","shortMessageHtmlLink":"Merging nested loops: clang file"}},{"before":"ac31aa2144baaf3b2b114e3715cae26d2cf100c2","after":"7f01167091ff93668788cb2fbfd8428771bf8221","ref":"refs/heads/master","pushedAt":"2024-09-03T07:07:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"Update help message for engines","shortMessageHtmlLink":"Update help message for engines"}},{"before":"506dcbbce255c84d394fd01df5348190e7765611","after":null,"ref":"refs/heads/gh-actions-release","pushedAt":"2024-09-02T22:28:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"}},{"before":"fdc88267ef337ac8e2cc8d61d1116dd73cae3364","after":"ac31aa2144baaf3b2b114e3715cae26d2cf100c2","ref":"refs/heads/master","pushedAt":"2024-09-02T22:27:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"CMake: Bump version to 0.6.0","shortMessageHtmlLink":"CMake: Bump version to 0.6.0"}},{"before":"1b85fa249fa6f34bea1c8e7ec16ff076f21194ee","after":"fdc88267ef337ac8e2cc8d61d1116dd73cae3364","ref":"refs/heads/master","pushedAt":"2024-09-02T22:26:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"First draft of automating release","shortMessageHtmlLink":"First draft of automating release"}},{"before":null,"after":"506dcbbce255c84d394fd01df5348190e7765611","ref":"refs/heads/gh-actions-release","pushedAt":"2024-09-02T10:31:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"Testing automated release","shortMessageHtmlLink":"Testing automated release"}},{"before":"51299f265db56e60e1617429ebff20261d4f3a96","after":"3d9ffb21f0cca3efbeea4b4d12a62a445e634c14","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-01T13:00:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: clang file","shortMessageHtmlLink":"Merging nested loops: clang file"}},{"before":"c04111e6ad895031acebad26415a146bb98e3277","after":"51299f265db56e60e1617429ebff20261d4f3a96","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-01T12:53:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: small clean-up","shortMessageHtmlLink":"Merging nested loops: small clean-up"}},{"before":"e435f016700b513a566b1d4d4f68e045c6599f83","after":"c04111e6ad895031acebad26415a146bb98e3277","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-01T12:46:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: small clean-up","shortMessageHtmlLink":"Merging nested loops: small clean-up"}},{"before":"c0a7af201b8205d88cd11c13b55527392172f05c","after":"e435f016700b513a566b1d4d4f68e045c6599f83","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-09-01T12:32:46.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: code prettification","shortMessageHtmlLink":"Merging nested loops: code prettification"}},{"before":"1b85fa249fa6f34bea1c8e7ec16ff076f21194ee","after":null,"ref":"refs/heads/pa-proper-refinement","pushedAt":"2024-08-31T18:40:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"}},{"before":"255f64e1ca085a1dbbe40f1a9d07b400f1135bc7","after":"1b85fa249fa6f34bea1c8e7ec16ff076f21194ee","ref":"refs/heads/master","pushedAt":"2024-08-31T18:40:53.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"PA: Do not start from scratch after refinement","shortMessageHtmlLink":"PA: Do not start from scratch after refinement"}},{"before":"3bd5419a0c0eb60cfe644315b34ef86edb35f127","after":"1b85fa249fa6f34bea1c8e7ec16ff076f21194ee","ref":"refs/heads/pa-proper-refinement","pushedAt":"2024-08-31T18:33:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"PA: Do not start from scratch after refinement","shortMessageHtmlLink":"PA: Do not start from scratch after refinement"}},{"before":null,"after":"3bd5419a0c0eb60cfe644315b34ef86edb35f127","ref":"refs/heads/pa-proper-refinement","pushedAt":"2024-08-30T21:32:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"PA: Do not start from scratch after refinement","shortMessageHtmlLink":"PA: Do not start from scratch after refinement"}},{"before":"7435e1c8aec34623f48ed351d59090d1c6b6be24","after":"c0a7af201b8205d88cd11c13b55527392172f05c","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-08-30T14:05:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: dynamic name generation","shortMessageHtmlLink":"Merging nested loops: dynamic name generation"}},{"before":"9a5aeb57532d1d50a6137c74d0da842a07ee6666","after":"7435e1c8aec34623f48ed351d59090d1c6b6be24","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-08-30T13:39:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: warnings fix","shortMessageHtmlLink":"Merging nested loops: warnings fix"}},{"before":"e10dd5b611e584c1e9ce80f970da3e91094f5c3c","after":"9a5aeb57532d1d50a6137c74d0da842a07ee6666","ref":"refs/heads/CPG-merge-nested-loops","pushedAt":"2024-08-30T13:30:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"BritikovKI","name":"Konstantin Britikov","path":"/BritikovKI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31989062?s=80&v=4"},"commit":{"message":"Merging nested loops: warnings fix","shortMessageHtmlLink":"Merging nested loops: warnings fix"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QxMDoxNTo0OS4wMDAwMDBazwAAAAS4X_14","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QxMDoxNTo0OS4wMDAwMDBazwAAAAS4X_14","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0zMFQxMzozMDoyNi4wMDAwMDBazwAAAASos12n"}},"title":"Activity · usi-verification-and-security/golem"}