{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":20107238,"defaultBranch":"trunk","name":"cpachecker","ownerLogin":"sosy-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-05-23T16:57:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16129993?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714145135.0","currentOid":""},"activityList":{"items":[{"before":"a570ade0efa0ae7038b868c8563569b0e1f6f646","after":"1be850a557b51584cc763dd4633cff1fc14ac572","ref":"refs/heads/trunk","pushedAt":"2024-04-26T15:25:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Prepare version number for next release cycle\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46355 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Prepare version number for next release cycle"}},{"before":null,"after":"af0f2fe7c73f7e8094d447798d817f990a6c01aa","ref":"refs/heads/tags/cpachecker-2.3.1","pushedAt":"2024-04-26T15:25:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Release 2.3.1 of CPAchecker!\n\nMany thanks to all contributors!\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/tags/cpachecker-2.3.1@46354 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Release 2.3.1 of CPAchecker!"}},{"before":"53bd490b55fcaa081862f3ec88666fbcc242a58a","after":"a570ade0efa0ae7038b868c8563569b0e1f6f646","ref":"refs/heads/trunk","pushedAt":"2024-04-26T15:24:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Release 2.3.1\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46353 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Release 2.3.1"}},{"before":"524f063dcdf45eec2300b719466c118936dcafe3","after":"53bd490b55fcaa081862f3ec88666fbcc242a58a","ref":"refs/heads/trunk","pushedAt":"2024-04-26T11:47:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Add support for reading predicates from YAML witnesses\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46352 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Add support for reading predicates from YAML witnesses"}},{"before":"3c95eb6e6aef6b56cc3e0ee8b36e7a475f5357f5","after":"524f063dcdf45eec2300b719466c118936dcafe3","ref":"refs/heads/trunk","pushedAt":"2024-04-26T11:16:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Make \"-default\" support \"-spec no-data-race.prp\"\n\nWe have one primary data-race analysis\nthat we advertise to users,\nso there should be no reason why it is not included in \"-default\".\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46351 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Make \"-default\" support \"-spec no-data-race.prp\""}},{"before":"d4af07df60f5d95ed1b94dcf921619a181521f1e","after":"3c95eb6e6aef6b56cc3e0ee8b36e7a475f5357f5","ref":"refs/heads/trunk","pushedAt":"2024-04-26T09:32:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Polish release notes\n\nThe release notes should focus on the user-visible improvements.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46350 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Polish release notes"}},{"before":"748a03985f20dfd191ad5b28322cfa2cb1972a3e","after":"d4af07df60f5d95ed1b94dcf921619a181521f1e","ref":"refs/heads/trunk","pushedAt":"2024-04-26T09:32:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Fix comments in Assertion.spc\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46349 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Fix comments in Assertion.spc"}},{"before":"218fba9c8904bf784f19672417c5fbbd1788d91d","after":"748a03985f20dfd191ad5b28322cfa2cb1972a3e","ref":"refs/heads/trunk","pushedAt":"2024-04-26T09:32:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"fix trunk\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46348 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"fix trunk"}},{"before":"69e191e96a19af86a3a36681e4afda0684b37925","after":"218fba9c8904bf784f19672417c5fbbd1788d91d","ref":"refs/heads/trunk","pushedAt":"2024-04-25T12:40:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Include and format all example programs used in the tutorial paper\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46347 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Include and format all example programs used in the tutorial paper"}},{"before":"6100b41d096c9fb4b5bc023923a015b72fa04230","after":"69e191e96a19af86a3a36681e4afda0684b37925","ref":"refs/heads/trunk","pushedAt":"2024-04-25T11:52:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Correctly use old smg config as properties in itself\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46346 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Correctly use old smg config as properties in itself"}},{"before":"ecc0f67a0547afc42a159a37bfcc64600bc69482","after":"6100b41d096c9fb4b5bc023923a015b72fa04230","ref":"refs/heads/trunk","pushedAt":"2024-04-25T11:36:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Add more detailed news about the future of SMG and SMG2\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46345 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Add more detailed news about the future of SMG and SMG2"}},{"before":"343386f1644219d94b10d8622857a8cdc6178842","after":"ecc0f67a0547afc42a159a37bfcc64600bc69482","ref":"refs/heads/trunk","pushedAt":"2024-04-25T11:34:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Add SMG news\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46344 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Add SMG news"}},{"before":"6d9e157f2fd7d065623ae2f4452ef4e8c0131b96","after":"343386f1644219d94b10d8622857a8cdc6178842","ref":"refs/heads/trunk","pushedAt":"2024-04-25T11:28:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Re-Add old smg properties in unmaintained config folder\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46343 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Re-Add old smg properties in unmaintained config folder"}},{"before":"a08ca38ab7492f259c15d0b0f7c5245b9d0b7751","after":"6d9e157f2fd7d065623ae2f4452ef4e8c0131b96","ref":"refs/heads/trunk","pushedAt":"2024-04-25T10:53:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Use Map instead of HashMap and format\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46342 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Use Map instead of HashMap and format"}},{"before":"9d3957df6fd69b07c8cbe96fbda9d653c9ffc5e7","after":"a08ca38ab7492f259c15d0b0f7c5245b9d0b7751","ref":"refs/heads/trunk","pushedAt":"2024-04-25T10:48:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Add information regarding thfactoring of witnesses version 2.0 to news\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46341 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Add information regarding thfactoring of witnesses version 2.0 to news"}},{"before":"f11ae8dd6bc41cec3c0f6176ab81dd17a8088c4f","after":"9d3957df6fd69b07c8cbe96fbda9d653c9ffc5e7","ref":"refs/heads/trunk","pushedAt":"2024-04-25T10:44:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Move Persistent Data Structures to util smg package\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46340 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Move Persistent Data Structures to util smg package"}},{"before":"4d49d263632015d48ee32c0fc5fbbf1ca1a94647","after":"f11ae8dd6bc41cec3c0f6176ab81dd17a8088c4f","ref":"refs/heads/trunk","pushedAt":"2024-04-24T19:10:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Apply errorprone patch\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46339 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Apply errorprone patch"}},{"before":"4808be961e1e04646f49366ae7a07c08c57d39f8","after":"4d49d263632015d48ee32c0fc5fbbf1ca1a94647","ref":"refs/heads/trunk","pushedAt":"2024-04-24T19:07:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"There are some cases where there are multiple statements with the same locations, in these cases an exception is thrown when building an ImmutableSortedMap\n\nSince ImmutableSortedMap does not implement buildKeepingLast we first construct an ImmutableMap and then make a copy of it. We also keep the elements in a sepparate set where deterministic behavior is not that relevant for a sanity check that only entries are added more than once which are actually equal\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46338 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"There are some cases where there are multiple statements with the sam…"}},{"before":"6eef1ce430a6f12d8b3cbde31900e3ec35c4a919","after":"4808be961e1e04646f49366ae7a07c08c57d39f8","ref":"refs/heads/trunk","pushedAt":"2024-04-24T19:07:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"When trying to find the parenthesised block for a loop condition, null elements have to be considered\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46337 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"When trying to find the parenthesised block for a loop condition, nul…"}},{"before":"c0426617b773207bbb5eced4c39c2792a08dfc9f","after":"6eef1ce430a6f12d8b3cbde31900e3ec35c4a919","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:25:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Add new search algorithm for lists that does not touch heap objects multiple times, allows looping lists and respects target offets (the code is currently a bit messy and needs cleanup)\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46336 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Add new search algorithm for lists that does not touch heap obje…"}},{"before":"09785be703ce85cfdc06ea00d955f6e5efeaf0df","after":"c0426617b773207bbb5eced4c39c2792a08dfc9f","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Add nesting level consistency check for SMGs + some improvements in methods to get PTEs etc.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46335 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Add nesting level consistency check for SMGs + some improvements…"}},{"before":"36f24fff8371e5f17d171754fbf613eb84484fcb","after":"09785be703ce85cfdc06ea00d955f6e5efeaf0df","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Abstract with SLL/DLL nfo/pfo target offsets and looped SLL/DLL correctly + utility method to check pointer target offsets\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46334 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Abstract with SLL/DLL nfo/pfo target offsets and looped SLL/DLL …"}},{"before":"191fc9b6639ebd5449d2ba100bfe7055188ae821","after":"36f24fff8371e5f17d171754fbf613eb84484fcb","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Materialize for SLL/DLL nfo/pfo target offsets\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46333 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Materialize for SLL/DLL nfo/pfo target offsets"}},{"before":"7da89ad4cd686200cb3dd52d47a300f394c4b9a2","after":"191fc9b6639ebd5449d2ba100bfe7055188ae821","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Fix tests for SLL/DLL nfo/pfo target offsets 2\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46332 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Fix tests for SLL/DLL nfo/pfo target offsets 2"}},{"before":"5b8670714efa9b3a8494c7229395162d9b28a394","after":"7da89ad4cd686200cb3dd52d47a300f394c4b9a2","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Fix tests for SLL/DLL nfo/pfo target offsets\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46331 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Fix tests for SLL/DLL nfo/pfo target offsets"}},{"before":"877ac542d96fa3358c5e49cc7e87ae23734a8b95","after":"5b8670714efa9b3a8494c7229395162d9b28a394","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Add dummy values for SLL/DLL nfo/pfo target offsets in unused join algorithm\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46330 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Add dummy values for SLL/DLL nfo/pfo target offsets in unused jo…"}},{"before":"fa2e18528d1d9701bf4e0336bf2e66804f945725","after":"877ac542d96fa3358c5e49cc7e87ae23734a8b95","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Add null checks for Points-to-Edges\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46329 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Add null checks for Points-to-Edges"}},{"before":"3fcbead41a04bd9e60c2a68133407701bf00dc04","after":"fa2e18528d1d9701bf4e0336bf2e66804f945725","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"SMG: Add null checks and targetOffsets for SLL and DLL in Objects\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46328 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"SMG: Add null checks and targetOffsets for SLL and DLL in Objects"}},{"before":"de35b706e90f056d38493e17cde07e061afaf2d8","after":"3fcbead41a04bd9e60c2a68133407701bf00dc04","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Switch SMG properties to SMG2\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46327 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Switch SMG properties to SMG2"}},{"before":"47c8f3ff8278af27c6c2a8cc02569a80f86abd3f","after":"de35b706e90f056d38493e17cde07e061afaf2d8","ref":"refs/heads/trunk","pushedAt":"2024-04-24T15:24:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sosy-bot","name":"SoSy-Bot","path":"/sosy-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91528941?s=80&v=4"},"commit":{"message":"Add missing spec for memcleanup\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@46326 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","shortMessageHtmlLink":"Add missing spec for memcleanup"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEO0vKfAA","startCursor":null,"endCursor":null}},"title":"Activity · sosy-lab/cpachecker"}