{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":18972985,"defaultBranch":"master","name":"libpoly","ownerLogin":"SRI-CSL","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-04-20T20:16:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8029212?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705522668.0","currentOid":""},"activityList":{"items":[{"before":"fd1a354d0a92f8c3b75c488683261d2b7f8697f0","after":"7a4dedcdc3446ac8fba5673faeb2e95bed9bb73a","ref":"refs/heads/master","pushedAt":"2024-03-08T04:15:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Rabin root finding (#78)\n\n* extended assertion in berlekamp factorization\r\n\r\n* some code cleanup (made functions static, added assertions)\r\n\r\n* Added lp_upolynomial_roots_find_Zp and\r\n\r\n* Added comment with reference\r\n\r\n* Added todos and comments\r\n\r\n* Added C++ code for find_roots_Zp\r\n\r\n* Added python lib and test for root_finding_Zp\r\n\r\n* Revert changes to libpoly0.symbols\r\n\r\n* Removed (already fixed) TODO\r\n\r\n* Fixed typo\r\n\r\n* Fixed comment\r\n\r\n* added missing comments\r\n\r\n---------\r\n\r\nCo-authored-by: Thomas Hader <thomas.hader@sri.com>","shortMessageHtmlLink":"Rabin root finding (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2147852340\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/78\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/78/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/78\">#78</a>)"}},{"before":"f59197ff74743be11cea00bc599e4cb26e9cd3ed","after":"fd1a354d0a92f8c3b75c488683261d2b7f8697f0","ref":"refs/heads/master","pushedAt":"2024-03-07T02:22:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Support for subresultant generation and features for Zp (#79)\n\n* used preprocessor define to exclude dead code\r\n\r\n* added lp_assignment_is_set\r\n\r\n* added support for constant polynomials in lp_polynomial_to_univariate\r\n\r\n* implemented generation of subresultant regular sub-chains\r\n\r\n* fixed whitespaces\r\n\r\n* update cpp file to use lp_assignment_is_set\r\n\r\n* fixes division bug for prime fields\r\n\r\n* added lp_polynomial_evaluate_integer\r\n\r\n* added lp_polynomial_to_univariate_m\r\n\r\n* added C++ wrapper for lp_polynomial_to_univariate_m\r\n\r\n* added lp_assignment_is_integer, lp_assignment_is_empty, lp_polynomial_constraint_evaluate_Zp, and lp_sign_condition_Zp_valid\r\n\r\n* Some new functions\r\n\r\n* fixes\r\n\r\n* fixed lp_sign_condition_Zp_valid\r\n\r\n* fixed coefficient_reduce_Zp\r\n\r\n* Fixed lp_polynomial_to_univariate_m\r\n\r\n* Renamed SRS with Subres\r\n\r\n* Renamed psc.c with subres.\r\n\r\n* Review updates\r\n\r\n---------\r\n\r\nCo-authored-by: Thomas Hader <thomas.hader@sri.com>\r\nCo-authored-by: Thomas Hader <tom@hader.email>","shortMessageHtmlLink":"Support for subresultant generation and features for Zp (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2147969230\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/79\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/79/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/79\">#79</a>)"}},{"before":"48f48f945111ab021bed4ad4f192f2cac0c2e84b","after":"f59197ff74743be11cea00bc599e4cb26e9cd3ed","ref":"refs/heads/master","pushedAt":"2024-03-06T17:46:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Data structures update (#77)\n\n* added lp_polynomial_vector_print\r\n\r\n* added lp_polynomial_vector_swap\r\n\r\n* added lp_polynomial_vector_get_context\r\n\r\n* implemented lp_polynomial_vector_copy\r\n\r\n* implemented lp_polynomial_hash_set_remove\r\n\r\n* fixed typo\r\n\r\n* heap implemented\r\n\r\n* added lp_polynomial_hash_set_new and lp_polynomial_hash_set_delete.\r\n\r\n* added lp_polynomial_hash_set_insert_vector\r\n\r\n* added some heap functions\r\n\r\n* added lp_polynomial_vector_push_back_move\r\n\r\n* added lp_variable_order_max and lp_variable_order_min\r\n\r\n* fixed bugs in new code\r\n\r\n* added lp_polynomial_hash_set_insert_move\r\n\r\n* added get_size and at functions for hash_set and heap. Made some parameters const.\r\n\r\n* added lp_polynomial_heap_push_move\r\n\r\n* fixed typo\r\n\r\n* added upolynomial_to_polynomial and hash_set_intersection\r\n\r\n* fixed memory bug in polynomial_heap.c\r\n\r\n* Fixed review comments.\r\n\r\n---------\r\n\r\nCo-authored-by: Thomas Hader <thomas.hader@sri.com>","shortMessageHtmlLink":"Data structures update (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2143412422\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/77\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/77/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/77\">#77</a>)"}},{"before":"26725ac92c927fde7fa62085411cdcc285683d09","after":"48f48f945111ab021bed4ad4f192f2cac0c2e84b","ref":"refs/heads/master","pushedAt":"2024-01-29T08:00:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Use Py_hash_t as return type of hash functions (#76)","shortMessageHtmlLink":"Use Py_hash_t as return type of hash functions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2101011022\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/76\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/76/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/76\">#76</a>)"}},{"before":"96e353fc2061fd2be2e174b59f538fdb5675557c","after":"26725ac92c927fde7fa62085411cdcc285683d09","ref":"refs/heads/master","pushedAt":"2024-01-17T20:25:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Make tests conditional on BUILD_TESTING (#73)","shortMessageHtmlLink":"Make tests conditional on BUILD_TESTING (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2079971875\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/73\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/73/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/73\">#73</a>)"}},{"before":"8a3a0bf483a6910e14115dcd78d3be6eeda57b7e","after":null,"ref":"refs/heads/ahmed-irfan-patch-1","pushedAt":"2024-01-17T20:17:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"}},{"before":"862d7cb9a573484bf4fdebe6846071b3aed1ad0e","after":"96e353fc2061fd2be2e174b59f538fdb5675557c","ref":"refs/heads/master","pushedAt":"2024-01-17T20:17:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update CMakeLists.txt (#75)","shortMessageHtmlLink":"Update CMakeLists.txt (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2086900694\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/75\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/75/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/75\">#75</a>)"}},{"before":null,"after":"8a3a0bf483a6910e14115dcd78d3be6eeda57b7e","ref":"refs/heads/ahmed-irfan-patch-1","pushedAt":"2024-01-17T20:09:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update CMakeLists.txt","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"5a85023f79a9e061f70c9b7dd0d2da5d089ab2b1","after":"862d7cb9a573484bf4fdebe6846071b3aed1ad0e","ref":"refs/heads/master","pushedAt":"2023-11-03T16:32:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Fixed divrem bugs, added pseudo divrem (#72)\n\n* Added assertion in coefficient_div to warn about problem of dividing a constant by a polynomial.\r\n\r\n* Minor fixes in polynomial.c.\r\n\r\n* Added pseudo div and rem functions.\r\n\r\n* fixed various typos and minor code issues\r\n\r\n* Updated trace macros\r\n\r\n* removed function prototype with missing implementation from header file\r\n\r\n* Bump version\r\n\r\n* fixed typo\r\n\r\n* removed duplicate macro definition\r\n\r\n* updated description on lp_polynomial_reduce and coefficient_reduce\r\n\r\n* Undo patch version bump\r\n\r\n* added new functions to python bindings and updated tests\r\n\r\n* fixed algebraic number tests and added return code on failed tests\r\n\r\n* minor format\r\n\r\n---------\r\n\r\nCo-authored-by: Thomas Hader <thomas.hader@sri.com>","shortMessageHtmlLink":"Fixed divrem bugs, added pseudo divrem (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1973167075\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/72\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/72/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/72\">#72</a>)"}},{"before":"dfcf44e3cd9b772768b8b137a7533f3a9518c5bd","after":null,"ref":"refs/heads/ahmed-irfan-patch-1","pushedAt":"2023-10-31T22:32:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"}},{"before":"1db2cd89b717ce34c950aa23af92daef15c20c36","after":"5a85023f79a9e061f70c9b7dd0d2da5d089ab2b1","ref":"refs/heads/master","pushedAt":"2023-10-31T22:32:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Ahmed irfan patch 1 (#71)\n\n* Update action.yml\r\n\r\n* Update action.yml","shortMessageHtmlLink":"Ahmed irfan patch 1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1971381484\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/71\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/71/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/71\">#71</a>)"}},{"before":"f1dfa73c67d869131b75f141aee34fd3f14ea7db","after":"dfcf44e3cd9b772768b8b137a7533f3a9518c5bd","ref":"refs/heads/ahmed-irfan-patch-1","pushedAt":"2023-10-31T22:23:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update action.yml","shortMessageHtmlLink":"Update action.yml"}},{"before":null,"after":"f1dfa73c67d869131b75f141aee34fd3f14ea7db","ref":"refs/heads/ahmed-irfan-patch-1","pushedAt":"2023-10-31T22:13:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update action.yml","shortMessageHtmlLink":"Update action.yml"}},{"before":"1119aa4877a8e52b0e4499353dffee824352a828","after":"1db2cd89b717ce34c950aa23af92daef15c20c36","ref":"refs/heads/master","pushedAt":"2023-10-31T16:46:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"3b0381fa92a8bbbd94a3bca66bb60c68330b65d9","after":"1119aa4877a8e52b0e4499353dffee824352a828","ref":"refs/heads/master","pushedAt":"2023-09-20T02:05:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"db6f4e063af5616ad49b32c03e198a11bae79840","after":"3b0381fa92a8bbbd94a3bca66bb60c68330b65d9","ref":"refs/heads/master","pushedAt":"2023-08-01T05:08:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update CMakeLists.txt\n\nincrement patch number","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"b3a3bf823722d30cfe97aae7fae8f7e8ea579d3b","after":"db6f4e063af5616ad49b32c03e198a11bae79840","ref":"refs/heads/master","pushedAt":"2023-07-31T08:20:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update CMakeLists.txt\n\nupdate version number","shortMessageHtmlLink":"Update CMakeLists.txt"}},{"before":"126147f1ceae9f771a68bad9cbc199cf96daec46","after":"b3a3bf823722d30cfe97aae7fae8f7e8ea579d3b","ref":"refs/heads/master","pushedAt":"2023-05-27T02:33:39.982Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Merge pull request #68 from RyanGlScott/T67\n\nRemove unused `enabled_count` variable","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1728342435\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/68\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/68/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/68\">#68</a> from RyanGlScott/T67"}},{"before":"11f645ba129278e72823fe71916e69b339994c5a","after":"126147f1ceae9f771a68bad9cbc199cf96daec46","ref":"refs/heads/master","pushedAt":"2023-03-18T00:38:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ianamason","name":"Ian A Mason","path":"/ianamason","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3421676?s=80&v=4"},"commit":{"message":"Merge pull request #66 from RyanGlScott/T65\n\nAdapt `u_memstream` code from `mesa`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1629294786\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/66\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/66/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/66\">#66</a> from RyanGlScott/T65"}},{"before":"bb3f5bea447d8c2dbeded31221b7b0657c73f25f","after":null,"ref":"refs/heads/fix_45","pushedAt":"2023-03-13T22:26:55.614Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"}},{"before":"fd98930feff4046a373e35fa402f5acdc7757654","after":null,"ref":"refs/heads/doctest-2.4.10","pushedAt":"2023-03-13T19:08:33.284Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"}},{"before":"80f8d65da9125e665fc73327ea8321e0eac3c599","after":null,"ref":"refs/heads/ci-mac","pushedAt":"2023-03-13T19:08:18.034Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"}},{"before":"b553def2566c011770672410a6e839308ec2e362","after":"11f645ba129278e72823fe71916e69b339994c5a","ref":"refs/heads/master","pushedAt":"2023-03-13T19:08:13.174Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Merge pull request #64 from SRI-CSL/ci-mac\n\nCi mac","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1621797303\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/64\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/64/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/64\">#64</a> from SRI-CSL/ci-mac"}},{"before":"347269a5b411f5b21f5e393ed89772f1ff7bc8ae","after":"80f8d65da9125e665fc73327ea8321e0eac3c599","ref":"refs/heads/ci-mac","pushedAt":"2023-03-13T17:24:11.437Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update action.yml\n\ntry pip","shortMessageHtmlLink":"Update action.yml"}},{"before":"8c62aed0ee5dcc7a4efed109090090c95761f65d","after":"347269a5b411f5b21f5e393ed89772f1ff7bc8ae","ref":"refs/heads/ci-mac","pushedAt":"2023-03-13T17:02:41.840Z","pushType":"push","commitsCount":8,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Merge branch 'master' into ci-mac","shortMessageHtmlLink":"Merge branch 'master' into ci-mac"}},{"before":"786ae99608ad44c1f1a4314b91672833a23af165","after":"b553def2566c011770672410a6e839308ec2e362","ref":"refs/heads/master","pushedAt":"2023-03-13T16:37:39.345Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ianamason","name":"Ian A Mason","path":"/ianamason","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3421676?s=80&v=4"},"commit":{"message":"Merge pull request #62 from SRI-CSL/doctest-2.4.10\n\nupdate doctest","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1618293669\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/62\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/62/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/62\">#62</a> from SRI-CSL/doctest-2.4.10"}},{"before":"1c041d07a89236cd9e29ab2036ae1ea663a92b86","after":"786ae99608ad44c1f1a4314b91672833a23af165","ref":"refs/heads/master","pushedAt":"2023-03-13T16:30:38.510Z","pushType":"push","commitsCount":1,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"55a298eca29cff69d6438330bde7e4293fd3fa57","after":null,"ref":"refs/heads/ci","pushedAt":"2023-03-13T16:04:02.695Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"}},{"before":"8956e760f9007c50fb3c9e6ec7a8eb043c5170f0","after":null,"ref":"refs/heads/cmake-2.8.12","pushedAt":"2023-03-13T16:03:39.553Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"}},{"before":"3ca794f9bceb22d1ce619f32d30910a28d73c8f5","after":"1c041d07a89236cd9e29ab2036ae1ea663a92b86","ref":"refs/heads/master","pushedAt":"2023-03-13T16:03:34.655Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ahmed-irfan","name":"Ahmed Irfan","path":"/ahmed-irfan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43099566?s=80&v=4"},"commit":{"message":"Merge pull request #61 from SRI-CSL/cmake-2.8.12\n\nupdate min cmake version","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1618291326\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SRI-CSL/libpoly/issues/61\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SRI-CSL/libpoly/pull/61/hovercard\" href=\"https://github.com/SRI-CSL/libpoly/pull/61\">#61</a> from SRI-CSL/cmake-2.8.12"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAED8frJwA","startCursor":null,"endCursor":null}},"title":"Activity · SRI-CSL/libpoly"}