{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":824593690,"defaultBranch":"main","name":"PreDi","ownerLogin":"mojtaba-eshghie","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-07-05T13:17:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/37236297?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726392002.0","currentOid":""},"activityList":{"items":[{"before":"a2519f9babbe6c82fa7088878eac1c24124bc626","after":"cb67163ae42b40a154a71de8f429781682748a73","ref":"refs/heads/main","pushedAt":"2024-09-15T09:21:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Merge pull request #47 from mojtaba-eshghie/enhancement_issue_40\n\nEnhancement: #40 included tests for interesting cases;","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2526822913\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/pull/47/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/pull/47\">#47</a> from mojtaba-eshghie/enhancement_issue_40"}},{"before":null,"after":"b27fff09dd8842b96b5c88c79934e3162530e4e2","ref":"refs/heads/enhancement_issue_40","pushedAt":"2024-09-15T09:20:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Enhancement: #40 included tests for interesting cases;","shortMessageHtmlLink":"Enhancement: <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519389544\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/40\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/40/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/40\">#40</a> included tests for interesting cases;"}},{"before":"8fa3c1792ef5a9e09496484db2e5948665cb77ae","after":"a2519f9babbe6c82fa7088878eac1c24124bc626","ref":"refs/heads/main","pushedAt":"2024-09-14T17:12:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fixing CI","shortMessageHtmlLink":"Fixing CI"}},{"before":"06437680bf899ced6490de93064b73399b659a02","after":"43ca5bff7ccfdf94dd922b8776f6daa487ae0e40","ref":"refs/heads/fix_issue_41","pushedAt":"2024-09-14T17:10:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fixing CI","shortMessageHtmlLink":"Fixing CI"}},{"before":"69294d7fcfc08495d5e169d9aaebc98fe06e4cf0","after":"8fa3c1792ef5a9e09496484db2e5948665cb77ae","ref":"refs/heads/main","pushedAt":"2024-09-14T17:08:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Merge pull request #46 from mojtaba-eshghie/fix_issue_41\n\nFix: resolved #41 by switching to Z3 and making assumptions about typ…","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2526517953\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/pull/46/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/pull/46\">#46</a> from mojtaba-eshghie/fix_issue_41"}},{"before":null,"after":"06437680bf899ced6490de93064b73399b659a02","ref":"refs/heads/fix_issue_41","pushedAt":"2024-09-14T17:07:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fix: resolved #41 by switching to Z3 and making assumptions about type and value of symbols (a > 0)","shortMessageHtmlLink":"Fix: <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #41.\">resolved</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519394237\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/41\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/41/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/41\">#41</a> by switching to Z3 and making assumptions about typ…"}},{"before":"4d1921a566343d5ca730357d52319051a38e4c97","after":"69294d7fcfc08495d5e169d9aaebc98fe06e4cf0","ref":"refs/heads/main","pushedAt":"2024-09-14T15:17:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/mojtaba-eshghie/PreDi into main","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/mojtaba-eshghie/PreDi\">https://github.com/mojtaba-eshghie/PreDi</a> into …"}},{"before":"94c1376ae35527e3da83f7c597f8657aafa29a5f","after":"4d1921a566343d5ca730357d52319051a38e4c97","ref":"refs/heads/main","pushedAt":"2024-09-14T15:13:54.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Merge pull request #45 from mojtaba-eshghie/issue_bug_39\n\nIssue bug 39","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2526468963\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/45\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/pull/45/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/pull/45\">#45</a> from mojtaba-eshghie/issue_bug_39"}},{"before":null,"after":"f269a68aedd75d553a84a9024bbaefed54b100bc","ref":"refs/heads/issue_bug_39","pushedAt":"2024-09-14T15:13:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fix: #39 by relying on the same sympy satisfiability strategy","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #39.\">Fix</span>: <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516739531\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/39\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/39/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/39\">#39</a> by relying on the same sympy satisfiability strategy"}},{"before":"39b8848f51bc2b1121728e70806969c672e5fdec","after":"94c1376ae35527e3da83f7c597f8657aafa29a5f","ref":"refs/heads/main","pushedAt":"2024-09-14T14:13:47.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Merge pull request #44 from mojtaba-eshghie/issue_bug_42\n\nFix: issues #37 and #42 which point to the same problem are resolved …","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2526444330\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/44\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/pull/44/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/pull/44\">#44</a> from mojtaba-eshghie/issue_bug_42"}},{"before":"7994261e3964a8aa56cd5242500040369a69181c","after":"faed783a76a0f89c2c7ecfe508ef1e72adacefc3","ref":"refs/heads/issue_bug_42","pushedAt":"2024-09-14T14:13:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fix: resolved #37 and #42 with Z3 solvers (bad sympy number to Z3 number conversion solved)","shortMessageHtmlLink":"Fix: <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #37.\">resolved</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2510343466\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/37\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/37/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/37\">#37</a> and <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519410327\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/42\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/42/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/42\">#42</a> with Z3 solvers (bad sympy number to Z3 num…"}},{"before":null,"after":"7994261e3964a8aa56cd5242500040369a69181c","ref":"refs/heads/issue_bug_42","pushedAt":"2024-09-14T14:05:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fix: issues #37 and #42 which point to the same problem are resolved using a swift switch to Z3 solver instead","shortMessageHtmlLink":"Fix: issues <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2510343466\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/37\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/37/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/37\">#37</a> and <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519410327\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/42\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/42/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/42\">#42</a> which point to the same problem are resolved …"}},{"before":"49b6cc601e9b097346d7d6a0f3f8eb1da8ce19ca","after":"39b8848f51bc2b1121728e70806969c672e5fdec","ref":"refs/heads/main","pushedAt":"2024-09-11T11:23:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Enhancing the documentation","shortMessageHtmlLink":"Enhancing the documentation"}},{"before":"97151696c714bb286f4fded55565a89b44d89d9e","after":"49b6cc601e9b097346d7d6a0f3f8eb1da8ce19ca","ref":"refs/heads/main","pushedAt":"2024-09-11T11:17:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Enhancement: Fixing  #35","shortMessageHtmlLink":"Enhancement: Fixing <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2405735524\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/35\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/35/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/35\">#35</a>"}},{"before":"8b5ba5bda4dd43141a315a6751367f2c27d9aeee","after":"97151696c714bb286f4fded55565a89b44d89d9e","ref":"refs/heads/main","pushedAt":"2024-07-29T11:15:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Commenting debugging material","shortMessageHtmlLink":"Commenting debugging material"}},{"before":"cc0161a4f384e7e4c47883901e7861c552133f18","after":"8b5ba5bda4dd43141a315a6751367f2c27d9aeee","ref":"refs/heads/main","pushedAt":"2024-07-27T09:26:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Adding comparison results","shortMessageHtmlLink":"Adding comparison results"}},{"before":"79430a4b444f7fcbcbee3ca0ce6b404e3db1ccef","after":"cc0161a4f384e7e4c47883901e7861c552133f18","ref":"refs/heads/main","pushedAt":"2024-07-27T09:19:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Adding some experiments to the playground","shortMessageHtmlLink":"Adding some experiments to the playground"}},{"before":"f2bcf6e63e95019f1c8afc60b026d41862247659","after":"79430a4b444f7fcbcbee3ca0ce6b404e3db1ccef","ref":"refs/heads/main","pushedAt":"2024-07-19T08:41:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/mojtaba-eshghie/SPi into main","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/mojtaba-eshghie/SPi\">https://github.com/mojtaba-eshghie/SPi</a> into main"}},{"before":"b0e620255ea7e49edec13362375b42dcc804446a","after":"f2bcf6e63e95019f1c8afc60b026d41862247659","ref":"refs/heads/main","pushedAt":"2024-07-18T07:12:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8ffbfba0e77450932fedfbd61651e81cd279691d","after":"b0e620255ea7e49edec13362375b42dcc804446a","ref":"refs/heads/main","pushedAt":"2024-07-18T07:11:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"5fb6cb879f3c8cffe01fe264403fb68b02cab209","after":"8ffbfba0e77450932fedfbd61651e81cd279691d","ref":"refs/heads/main","pushedAt":"2024-07-16T13:58:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e349b5801d5ec7670596caf1f0f32dd3f6cddc5d","after":"5fb6cb879f3c8cffe01fe264403fb68b02cab209","ref":"refs/heads/main","pushedAt":"2024-07-12T08:39:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Updating documentation in README.md","shortMessageHtmlLink":"Updating documentation in README.md"}},{"before":"0bebf3e176a00698b627c6ae1bfc84dafc668114","after":"e349b5801d5ec7670596caf1f0f32dd3f6cddc5d","ref":"refs/heads/main","pushedAt":"2024-07-12T08:27:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fix: resolved #34 with release 0.1.13","shortMessageHtmlLink":"Fix: <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #34.\">resolved</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2404889348\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/34\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/34/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/34\">#34</a> with release 0.1.13"}},{"before":"a13fe14b6cacff2766fcce10ad9a892f3d22ce41","after":"0bebf3e176a00698b627c6ae1bfc84dafc668114","ref":"refs/heads/main","pushedAt":"2024-07-12T08:23:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fix: resolving setup.py issues #34","shortMessageHtmlLink":"Fix: resolving setup.py issues <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2404889348\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/34\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/34/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/34\">#34</a>"}},{"before":"36909417b581e76d546f67ecdb797dea2e00e9d1","after":"a13fe14b6cacff2766fcce10ad9a892f3d22ce41","ref":"refs/heads/main","pushedAt":"2024-07-12T06:56:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Fix: modified setup.py and put all sources under src/predi #34","shortMessageHtmlLink":"Fix: modified setup.py and put all sources under src/predi <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2404889348\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/34\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/34/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/34\">#34</a>"}},{"before":"39d5d508eb9718553479f7ea5a4df25b0748f58b","after":"36909417b581e76d546f67ecdb797dea2e00e9d1","ref":"refs/heads/main","pushedAt":"2024-07-11T17:17:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Updating README.md","shortMessageHtmlLink":"Updating README.md"}},{"before":"a409ca8bf28897d1e585f85fb23c8e946e27c7ac","after":"39d5d508eb9718553479f7ea5a4df25b0748f58b","ref":"refs/heads/main","pushedAt":"2024-07-11T17:03:51.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"Merge pull request #33 from mojtaba-eshghie/feat_issue_32\n\nFeat issue 32","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2403654207\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/33\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/pull/33/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/pull/33\">#33</a> from mojtaba-eshghie/feat_issue_32"}},{"before":"0dc36ab8c81fe58dad0addac7e93f79a66b440cc","after":"b56c1983bf7bbdd42b748a9b926dd7e1bb52480f","ref":"refs/heads/feat_issue_32","pushedAt":"2024-07-11T17:02:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"feat: proper handling of different kinds of negation is resolved #32","shortMessageHtmlLink":"feat: proper handling of different kinds of negation is <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #32.\">resolved</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2403482571\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/32\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/32/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/32\">#32</a>"}},{"before":null,"after":"0dc36ab8c81fe58dad0addac7e93f79a66b440cc","ref":"refs/heads/feat_issue_32","pushedAt":"2024-07-11T16:59:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"fix: developed an algorithm for  #32","shortMessageHtmlLink":"fix: developed an algorithm for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2403482571\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mojtaba-eshghie/PreDi/issues/32\" data-hovercard-type=\"issue\" data-hovercard-url=\"/mojtaba-eshghie/PreDi/issues/32/hovercard\" href=\"https://github.com/mojtaba-eshghie/PreDi/issues/32\">#32</a>"}},{"before":"864388351e10742c1b5ac9821c845c3a33f75511","after":"a409ca8bf28897d1e585f85fb23c8e946e27c7ac","ref":"refs/heads/main","pushedAt":"2024-07-11T15:25:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mojtaba-eshghie","name":"Mojtaba Eshghie","path":"/mojtaba-eshghie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/37236297?s=80&v=4"},"commit":{"message":"fix: sporious exception throwing problem resolved (comparator class)","shortMessageHtmlLink":"fix: sporious exception throwing problem resolved (comparator class)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNVQwOToyMTozNS4wMDAwMDBazwAAAAS2nG9n","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xMVQxNToyNTowMC4wMDAwMDBazwAAAAR8_a8A"}},"title":"Activity · mojtaba-eshghie/PreDi"}