{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":22045039,"defaultBranch":"master","name":"eldarica","ownerLogin":"uuverifiers","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-07-20T22:34:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8218667?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714303137.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"6836c6d93ddefadca7aabe2a3957c3e58988f668","ref":"refs/heads/heap-invariants-no-split","pushedAt":"2024-04-28T11:18:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Several heap-related bug-fixes and improvements.\n- Fixes a bug in AbstractAnalyserMk2.\n- When attempting to build clause DAGs, try to build a\n  less optimal DAG first for only the problematic clause\n  before giving up.\n- Reorder heap preprocessors.\n- Make heap invariant encoding and update site tagger to\n  work for non-normalized clauses.\n- Fix and enable static analysis in heap read-write eliminator.","shortMessageHtmlLink":"Several heap-related bug-fixes and improvements."}},{"before":"e252be557fc5bdd9eb9f6403372790024297c7d1","after":"ef18ff1af0df10d4d9e2c7e2267eefe0b4eef178","ref":"refs/heads/scala-2.13","pushedAt":"2024-04-26T12:50:02.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"fixed failing test case","shortMessageHtmlLink":"fixed failing test case"}},{"before":"406d7bd1de356a17223d10a0774423982671cb4d","after":"c2880b93263b58ad824bb7243e7d268fa4d4c94d","ref":"refs/heads/master","pushedAt":"2024-04-26T12:16:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"adapted to Princess changes","shortMessageHtmlLink":"adapted to Princess changes"}},{"before":"88cda0c65799325ff4004bd5577fdcb10cf857b1","after":"49353e382eb7feb50e412a0a033135dc85b0ebbb","ref":"refs/heads/heap-invariants","pushedAt":"2024-04-23T07:19:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Adds TagSet analysis and other changes to heap inv encoder.\n- Completely remove heaps with -heapElim option (i.e., no\n  counters).\n- Only consider certain functions for direction during clause\n  splitting, others are considered as sync nodes.\n- Improved intra-clause read eliminator.","shortMessageHtmlLink":"Adds TagSet analysis and other changes to heap inv encoder."}},{"before":"9dded9b5f6dbcd258c1436fc5b4d391e69fff25f","after":"88cda0c65799325ff4004bd5577fdcb10cf857b1","ref":"refs/heads/heap-invariants","pushedAt":"2024-04-19T08:28:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"More work on heap analysis and invariant encoding:\n- Add -heapElim option that subsumes -heapInv and also eliminates heaps.\n- Ensure every clause is analysed at least once in AbstractAnalserMk2 - needed for clause rewriter.\n- Do not eliminate any clauses in heap update sites analysis\n- Add intra-clause heap read/write eliminator.","shortMessageHtmlLink":"More work on heap analysis and invariant encoding:"}},{"before":"4c307560a4e4536b2c5084d0818902adc96c786c","after":"9dded9b5f6dbcd258c1436fc5b4d391e69fff25f","ref":"refs/heads/heap-invariants","pushedAt":"2024-04-05T08:42:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Fixes bugs in update sites analysis, adds heap eliminator","shortMessageHtmlLink":"Fixes bugs in update sites analysis, adds heap eliminator"}},{"before":"5c724d64e8f1101dd025336e993d8764a5168cc8","after":"4c307560a4e4536b2c5084d0818902adc96c786c","ref":"refs/heads/heap-invariants","pushedAt":"2024-03-29T21:58:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Update rules of HeapUpdateSitesAnalysis","shortMessageHtmlLink":"Update rules of HeapUpdateSitesAnalysis"}},{"before":"33eaab3e744c73dffb9454d93d9422e76489f902","after":"5c724d64e8f1101dd025336e993d8764a5168cc8","ref":"refs/heads/heap-invariants","pushedAt":"2024-03-29T11:41:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Heap updates sites analysis and refactored abstract analyzer","shortMessageHtmlLink":"Heap updates sites analysis and refactored abstract analyzer"}},{"before":"93095b59f59bd2193b957fd461cefe6ae411475c","after":"33eaab3e744c73dffb9454d93d9422e76489f902","ref":"refs/heads/heap-invariants","pushedAt":"2024-03-27T12:49:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Heap update sites analysis, implement heap/addr eq/neq methods","shortMessageHtmlLink":"Heap update sites analysis, implement heap/addr eq/neq methods"}},{"before":"6b8a2792598fb91bacffde5f7173ece18828b506","after":"93095b59f59bd2193b957fd461cefe6ae411475c","ref":"refs/heads/heap-invariants","pushedAt":"2024-03-26T16:23:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Fix issues in heap update site tagger","shortMessageHtmlLink":"Fix issues in heap update site tagger"}},{"before":"38d537826fc0e5defec414cc7b053241b0806f50","after":"6b8a2792598fb91bacffde5f7173ece18828b506","ref":"refs/heads/heap-invariants","pushedAt":"2024-03-26T13:41:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Add preprocessor test file","shortMessageHtmlLink":"Add preprocessor test file"}},{"before":"c3fc3a7ae4eac0d94f3ffda221644ceb00bee3d9","after":"38d537826fc0e5defec414cc7b053241b0806f50","ref":"refs/heads/heap-invariants","pushedAt":"2024-03-26T13:41:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Add first versions of heap updates sites tagger & analysis","shortMessageHtmlLink":"Add first versions of heap updates sites tagger & analysis"}},{"before":"b7d375d275c781ee8ad281e5414f60953da4ab86","after":null,"ref":"refs/heads/symex","pushedAt":"2024-03-25T17:26:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"}},{"before":"7498ff2dc2d5aafb4c32451c65e4a6b388973679","after":null,"ref":"refs/heads/hint-learning","pushedAt":"2024-03-25T17:26:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"}},{"before":"8379c4a39e75942ce6c172eb30f808299ffacd20","after":null,"ref":"refs/heads/heaptheory","pushedAt":"2024-03-25T17:26:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"}},{"before":"f826e6a8ec3c9e4bcc2f422712fab6bfd72c03c9","after":null,"ref":"refs/heads/template-parser","pushedAt":"2024-03-25T17:26:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"}},{"before":"0e6f1b67a1f2470895122c1e69ca9921527810cb","after":null,"ref":"refs/heads/incremental","pushedAt":"2024-03-25T17:26:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"}},{"before":"47e569edb29c1aa76f89fb70702e321efa63595a","after":null,"ref":"refs/heads/array-splitting","pushedAt":"2024-03-25T17:25:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"}},{"before":"84e21cb87aa0e4664f93cd777d41d166c77cc4c5","after":"406d7bd1de356a17223d10a0774423982671cb4d","ref":"refs/heads/master","pushedAt":"2024-03-25T14:48:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"},"commit":{"message":"Add parser jars to unmanaged jars","shortMessageHtmlLink":"Add parser jars to unmanaged jars"}},{"before":"048fb11c91b1a4d07cbaf65bb7ffc8858e33fa50","after":"e252be557fc5bdd9eb9f6403372790024297c7d1","ref":"refs/heads/scala-2.13","pushedAt":"2024-03-22T13:39:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"merge","shortMessageHtmlLink":"merge"}},{"before":"d5df0def8e83b2cde4b7380f8e6df35af62624c5","after":"048fb11c91b1a4d07cbaf65bb7ffc8858e33fa50","ref":"refs/heads/scala-2.13","pushedAt":"2024-03-22T13:38:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"merge","shortMessageHtmlLink":"merge"}},{"before":"a112e5ccc22854aa28baad84bd4e9af0f4fe29a3","after":"84e21cb87aa0e4664f93cd777d41d166c77cc4c5","ref":"refs/heads/master","pushedAt":"2024-03-22T13:21:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"missing information","shortMessageHtmlLink":"missing information"}},{"before":"ae533b7073ff26bf5c3f8e4ba374763a89e0ee98","after":"d5df0def8e83b2cde4b7380f8e6df35af62624c5","ref":"refs/heads/scala-2.13","pushedAt":"2024-03-22T11:16:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"Merge branch 'master' into scala-2.13","shortMessageHtmlLink":"Merge branch 'master' into scala-2.13"}},{"before":"16430614fc75fb1ba95122d5f578ed36e89ca1b3","after":"a112e5ccc22854aa28baad84bd4e9af0f4fe29a3","ref":"refs/heads/master","pushedAt":"2024-03-22T11:16:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"option -sym","shortMessageHtmlLink":"option -sym"}},{"before":"462c97a3ed49ea7513740fd7947505cd4731b1e0","after":"ae533b7073ff26bf5c3f8e4ba374763a89e0ee98","ref":"refs/heads/scala-2.13","pushedAt":"2024-03-22T11:09:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"Merge branch 'master' into scala-2.13","shortMessageHtmlLink":"Merge branch 'master' into scala-2.13"}},{"before":"8791c90a98ba3ec15de81123ba41ee2302a93e3c","after":"16430614fc75fb1ba95122d5f578ed36e89ca1b3","ref":"refs/heads/master","pushedAt":"2024-03-22T11:08:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"versions","shortMessageHtmlLink":"versions"}},{"before":"136469ca3ca08f5bcb21a535667e6476a7c2a4ae","after":"462c97a3ed49ea7513740fd7947505cd4731b1e0","ref":"refs/heads/scala-2.13","pushedAt":"2024-03-20T12:33:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"eliminated view bounds","shortMessageHtmlLink":"eliminated view bounds"}},{"before":"31c4ebeba4a84695ae2eebc57c35c5072673a82c","after":"136469ca3ca08f5bcb21a535667e6476a7c2a4ae","ref":"refs/heads/scala-2.13","pushedAt":"2024-03-20T11:33:20.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"Merge branch 'master' into scala-2.13","shortMessageHtmlLink":"Merge branch 'master' into scala-2.13"}},{"before":"de1608ae17ecc435dd89e43f8bc25bc8e9571aa7","after":null,"ref":"refs/heads/symex-fix","pushedAt":"2024-03-20T08:29:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zafer-esen","name":null,"path":"/zafer-esen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32148113?s=80&v=4"}},{"before":"37408195dbd8eddb4d82204cb037c72005fcafac","after":"8791c90a98ba3ec15de81123ba41ee2302a93e3c","ref":"refs/heads/master","pushedAt":"2024-03-20T08:13:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"pruemmer","name":"Philipp Ruemmer","path":"/pruemmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4580351?s=80&v=4"},"commit":{"message":"improved fix","shortMessageHtmlLink":"improved fix"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPDqU0gA","startCursor":null,"endCursor":null}},"title":"Activity · uuverifiers/eldarica"}