{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":750756023,"defaultBranch":"master","name":"CaDiCaL-DRUPing-for-Interpolants-Project-Version-Base","ownerLogin":"TechnionFV","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-01-31T08:59:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/135013874?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715515495.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"e71bd58937e6513f71bd8c93d91578785c592721","ref":"refs/heads/Rebasing","pushedAt":"2024-05-12T12:04:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"bumped version","shortMessageHtmlLink":"bumped version"}},{"before":"a3f41f67e2f7b74b1550e0457f22d937a20360d0","after":"f82ac66765a624a60e4640dca7d8229e7f60a758","ref":"refs/heads/DRUPing","pushedAt":"2024-04-29T19:09:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"Expose DRUP partition increase method to cadical's API","shortMessageHtmlLink":"Expose DRUP partition increase method to cadical's API"}},{"before":"47d723ea3926c8ddd451346a2d1f74a33d3dedb6","after":"a3f41f67e2f7b74b1550e0457f22d937a20360d0","ref":"refs/heads/DRUPing","pushedAt":"2024-04-15T06:35:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"remove dead code","shortMessageHtmlLink":"remove dead code"}},{"before":null,"after":"47d723ea3926c8ddd451346a2d1f74a33d3dedb6","ref":"refs/heads/DRUPing","pushedAt":"2024-04-07T12:57:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"Extend drupper with the ability to replay the proof forward with a proof iterator on the fly","shortMessageHtmlLink":"Extend drupper with the ability to replay the proof forward with a pr…"}},{"before":"46e53cb310d8610bb81e72f9fb98a33cf474ec0e","after":"784f8702654c246595503bfed4a4b8e45c8e185f","ref":"refs/heads/DRUP2Core1.5.6","pushedAt":"2024-03-13T11:23:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"remove dead code","shortMessageHtmlLink":"remove dead code"}},{"before":"89a61f704b1dca4ce1520544556b9bf5840320a7","after":"46e53cb310d8610bb81e72f9fb98a33cf474ec0e","ref":"refs/heads/DRUP2Core1.5.6","pushedAt":"2024-03-13T11:10:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"Complete implementation introducing:\n   - CoreIterator which can be used by the user to iterate the core clauses of a trimmed formula\n   - Support for a new cadical feature otfs (on-the-fly self subsumption)\n   - Removed redundant cadical API methods and left only trim","shortMessageHtmlLink":"Complete implementation introducing:"}},{"before":"ea65158344316264de83ef9bcb26c079c7fe625d","after":"89a61f704b1dca4ce1520544556b9bf5840320a7","ref":"refs/heads/DRUP2Core1.5.6","pushedAt":"2024-03-03T00:04:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"add traverse_core_clauses to cadical API","shortMessageHtmlLink":"add traverse_core_clauses to cadical API"}},{"before":"30623677245182cd740ba44b10d6b4ffdbd5c0ac","after":"977113c56cceb57ced87ef8df2ddbd97654d032c","ref":"refs/heads/DRUP2Interpolants1.5.6","pushedAt":"2024-02-07T13:34:35.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"Merge branch 'DRUP2Core1.5.6' into DRUP2Interpolants1.5.6","shortMessageHtmlLink":"Merge branch 'DRUP2Core1.5.6' into DRUP2Interpolants1.5.6"}},{"before":"28fe6f432bcf30d7e9c3da47ca3b8c8889b399b0","after":"ea65158344316264de83ef9bcb26c079c7fe625d","ref":"refs/heads/DRUP2Core1.5.6","pushedAt":"2024-02-05T21:20:00.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"expose trim + extract_cre_variables to cadical's API","shortMessageHtmlLink":"expose trim + extract_cre_variables to cadical's API"}},{"before":"35219a40ceaf8483cab7e51478d2291fe59f34b0","after":"30623677245182cd740ba44b10d6b4ffdbd5c0ac","ref":"refs/heads/DRUP2Interpolants1.5.6","pushedAt":"2024-02-04T13:00:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"Merge branch 'DRUP2Core1.5.6' into DRUP2Interpolants1.5.6","shortMessageHtmlLink":"Merge branch 'DRUP2Core1.5.6' into DRUP2Interpolants1.5.6"}},{"before":"7ba5b11d559c4729b59262acc8be42144efac371","after":"28fe6f432bcf30d7e9c3da47ca3b8c8889b399b0","ref":"refs/heads/DRUP2Core1.5.6","pushedAt":"2024-02-04T12:59:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"Safe iterations over all variables in ::unmark_core ()","shortMessageHtmlLink":"Safe iterations over all variables in ::unmark_core ()"}},{"before":"dd752f9350187f5286cc222eb8aed17055742a40","after":"35219a40ceaf8483cab7e51478d2291fe59f34b0","ref":"refs/heads/DRUP2Interpolants1.5.6","pushedAt":"2024-02-04T08:22:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"colorize falsified original","shortMessageHtmlLink":"colorize falsified original"}},{"before":"eb954a1dee2b809d85d5b028380c0467ef0eede8","after":"dd752f9350187f5286cc222eb8aed17055742a40","ref":"refs/heads/DRUP2Interpolants1.5.6","pushedAt":"2024-02-04T07:31:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"Merge branch 'DRUP2Core1.5.6' into DRUP2Interpolants1.5.6","shortMessageHtmlLink":"Merge branch 'DRUP2Core1.5.6' into DRUP2Interpolants1.5.6"}},{"before":"e6b696148fca56f0f53c6547c43c59e316807804","after":"7ba5b11d559c4729b59262acc8be42144efac371","ref":"refs/heads/DRUP2Core1.5.6","pushedAt":"2024-02-04T07:28:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"handle duplicated literals derievd to empty clause","shortMessageHtmlLink":"handle duplicated literals derievd to empty clause"}},{"before":"e6b696148fca56f0f53c6547c43c59e316807804","after":"eb954a1dee2b809d85d5b028380c0467ef0eede8","ref":"refs/heads/DRUP2Interpolants1.5.6","pushedAt":"2024-02-02T20:39:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"declare interpolate replay methods","shortMessageHtmlLink":"declare interpolate replay methods"}},{"before":null,"after":"e6b696148fca56f0f53c6547c43c59e316807804","ref":"refs/heads/DRUP2Interpolants1.5.6","pushedAt":"2024-02-02T17:30:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"DRUP feature on top of release 1.5.6","shortMessageHtmlLink":"DRUP feature on top of release 1.5.6"}},{"before":null,"after":"e6b696148fca56f0f53c6547c43c59e316807804","ref":"refs/heads/DRUP2Core1.5.6","pushedAt":"2024-01-31T09:09:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"baselkhouri","name":"Basel Khouri","path":"/baselkhouri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65031058?s=80&v=4"},"commit":{"message":"DRUP feature on top of release 1.5.6","shortMessageHtmlLink":"DRUP feature on top of release 1.5.6"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAER6YPTAA","startCursor":null,"endCursor":null}},"title":"Activity · TechnionFV/CaDiCaL-DRUPing-for-Interpolants-Project-Version-Base"}