{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":5427318,"defaultBranch":"master","name":"zipperposition","ownerLogin":"sneeuwballen","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-08-15T14:53:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/53345006?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1698958529.0","currentOid":""},"activityList":{"items":[{"before":"d018ae5c7ca8780a3b23285802c999c996e12075","after":"1ac8a1b7a3e1a39a662fc0832bca74bf846ea8d6","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2024-06-20T17:07:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Consistently embed whole product polynomial as one term.","shortMessageHtmlLink":"Consistently embed whole product polynomial as one term."}},{"before":"2443423198327d5c301bba64d370458a04ae5560","after":"d018ae5c7ca8780a3b23285802c999c996e12075","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2024-06-05T16:18:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Add form for basic “+1” shifts, distinct from substitutions ⊇ multishifts, into the recurrence polynomial data structure.","shortMessageHtmlLink":"Add form for basic “+1” shifts, distinct from substitutions ⊇ multish…"}},{"before":"158e26b5178bd30ecc42cc0f00770d42fa2e1d53","after":"2443423198327d5c301bba64d370458a04ae5560","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2024-03-20T19:17:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Add variable dependencies to term while propagating to substitution to block multishift degenerating simplifications.","shortMessageHtmlLink":"Add variable dependencies to term while propagating to substitution t…"}},{"before":"82cfc2e57f7001f219acb2349f98c11c86ea5d49","after":"158e26b5178bd30ecc42cc0f00770d42fa2e1d53","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2024-03-06T17:28:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Made swapping of triangular summations test case pass.","shortMessageHtmlLink":"Made swapping of triangular summations test case pass."}},{"before":"a22e976b5f824b2ebc0d5026a264cdb1413f4eb3","after":"050072e01d8539f9126993482b595e09f921f66a","ref":"refs/heads/master","pushedAt":"2024-02-08T16:01:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"bug fix","shortMessageHtmlLink":"bug fix"}},{"before":"2889c1f0831f01e8e2f8ffabd5fd12b758ba6a30","after":"a22e976b5f824b2ebc0d5026a264cdb1413f4eb3","ref":"refs/heads/master","pushedAt":"2024-02-08T15:23:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"detail in CI","shortMessageHtmlLink":"detail in CI"}},{"before":"08638ec765aa3282302cbba1206d7ffd3f10ca06","after":"82cfc2e57f7001f219acb2349f98c11c86ea5d49","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2024-01-17T19:42:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Still non-termination with binomial coefficients and ordering errors with sum swapping.","shortMessageHtmlLink":"Still non-termination with binomial coefficients and ordering errors …"}},{"before":"47155f360f1b986e830a9b3d80e8989dd294fec2","after":"08638ec765aa3282302cbba1206d7ffd3f10ca06","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-12-15T19:58:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Try paper's examples: 2/8 pass.","shortMessageHtmlLink":"Try paper's examples: 2/8 pass."}},{"before":"1629df3117c68a20cf7e82bc076e4de9c64bf1c0","after":"2889c1f0831f01e8e2f8ffabd5fd12b758ba6a30","ref":"refs/heads/master","pushedAt":"2023-12-07T05:27:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"faster CI","shortMessageHtmlLink":"faster CI"}},{"before":"7ea2a185e21e855f5a30ded6e1b920cf25072eac","after":"1629df3117c68a20cf7e82bc076e4de9c64bf1c0","ref":"refs/heads/master","pushedAt":"2023-12-07T05:26:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"remove ccshims","shortMessageHtmlLink":"remove ccshims"}},{"before":"0c92b3c7ce4ad7a70a7c5bd11edd4e4903278f19","after":"7ea2a185e21e855f5a30ded6e1b920cf25072eac","ref":"refs/heads/master","pushedAt":"2023-11-14T20:21:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abentkamp","name":"Alexander Bentkamp","path":"/abentkamp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3168777?s=80&v=4"},"commit":{"message":"Avoid \"-\" in TSTP variable names","shortMessageHtmlLink":"Avoid \"-\" in TSTP variable names"}},{"before":"c04d9dfbf52e6d0707246aacf538b4f0c9e4191d","after":"0c92b3c7ce4ad7a70a7c5bd11edd4e4903278f19","ref":"refs/heads/master","pushedAt":"2023-11-08T15:46:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abentkamp","name":"Alexander Bentkamp","path":"/abentkamp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3168777?s=80&v=4"},"commit":{"message":"Turn predicate elimination output into debug msgs","shortMessageHtmlLink":"Turn predicate elimination output into debug msgs"}},{"before":null,"after":"287495679006b1abf585b7aa07fe6bea027cb819","ref":"refs/heads/tptp-output","pushedAt":"2023-11-02T20:55:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"abentkamp","name":"Alexander Bentkamp","path":"/abentkamp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3168777?s=80&v=4"},"commit":{"message":"clarify types in TPTP output","shortMessageHtmlLink":"clarify types in TPTP output"}},{"before":"a0d66540bc1654fd0a33239ebb50d55f0a02a576","after":"47155f360f1b986e830a9b3d80e8989dd294fec2","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-10-31T14:32:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Work with embedding of terms & polynomials. No shift simplification quick-fix.","shortMessageHtmlLink":"Work with embedding of terms & polynomials. No shift simplification q…"}},{"before":"c7017d604c8dfc9f0bb70d8942cc0b79e86228a4","after":"c04d9dfbf52e6d0707246aacf538b4f0c9e4191d","ref":"refs/heads/master","pushedAt":"2023-10-30T14:17:36.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"adapt zipperposition to deprecated functions/modules (CCArray.create, Pervasives); testTerm: add test_patterns because test_whnf2 was defined twice; fix warning 6 (missing label) and warning 39 (unused rec)","shortMessageHtmlLink":"adapt zipperposition to deprecated functions/modules (CCArray.create,…"}},{"before":"5361350ed0c6b8a6c8dc0a09dc69b2ed0eedd7b1","after":"c7017d604c8dfc9f0bb70d8942cc0b79e86228a4","ref":"refs/heads/master","pushedAt":"2023-10-30T13:53:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"modify CI params","shortMessageHtmlLink":"modify CI params"}},{"before":"71798cc0559d2c365ad43a0a54e204a2d079cebd","after":"5361350ed0c6b8a6c8dc0a09dc69b2ed0eedd7b1","ref":"refs/heads/master","pushedAt":"2023-10-02T08:46:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"abentkamp","name":"Alexander Bentkamp","path":"/abentkamp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3168777?s=80&v=4"},"commit":{"message":"Merge pull request #96 from PratherConid/master\n\nportfolio script bug fix","shortMessageHtmlLink":"Merge pull request #96 from PratherConid/master"}},{"before":"5507a595198fc512165ab3ebc85a1ddbca165b51","after":"a0d66540bc1654fd0a33239ebb50d55f0a02a576","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-08-08T18:05:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Fix dynamic debug type tests.","shortMessageHtmlLink":"Fix dynamic debug type tests."}},{"before":"977766e60bac66446055426544438765c21ada26","after":"5507a595198fc512165ab3ebc85a1ddbca165b51","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-08-07T18:20:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Manual merging of ∑ stuff to version 2.1. Hide tests folder temporarily.","shortMessageHtmlLink":"Manual merging of ∑ stuff to version 2.1. Hide tests folder temporarily."}},{"before":"11d0bcc201134fc72b9d08a7e397684e9758fb61","after":"977766e60bac66446055426544438765c21ada26","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-08-07T10:11:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Use Zipperposition v2.1 as the basis to compile on Cygwin (without tests yet)","shortMessageHtmlLink":"Use Zipperposition v2.1 as the basis to compile on Cygwin (without te…"}},{"before":"73782067a8c6f67e2fb4efc657f2f5651ceb0ceb","after":"11d0bcc201134fc72b9d08a7e397684e9758fb61","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-06-19T12:55:21.706Z","pushType":"push","commitsCount":3,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Include configuration file to use Zipperposition from Ocaml's toplevel and Utop.","shortMessageHtmlLink":"Include configuration file to use Zipperposition from Ocaml's topleve…"}},{"before":"227154b41310309803746befb6fc2906f6864862","after":"73782067a8c6f67e2fb4efc657f2f5651ceb0ceb","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-06-07T15:01:14.977Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"minor cleanup (test commit)","shortMessageHtmlLink":"minor cleanup (test commit)"}},{"before":"aad5bbc76e9105478992234d254bef3b2da403b1","after":"227154b41310309803746befb6fc2906f6864862","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-05-12T14:30:02.357Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Improve variable presence/absence handling in propagation to substitution.","shortMessageHtmlLink":"Improve variable presence/absence handling in propagation to substitu…"}},{"before":"3eba28dbba0e80d478da062e75e9c8614c9f0ee5","after":"aad5bbc76e9105478992234d254bef3b2da403b1","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-04-26T13:32:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Propagation to summation. Simplification of the leading coefficient.","shortMessageHtmlLink":"Propagation to summation. Simplification of the leading coefficient."}},{"before":"1182c9598ae9515ba8ab26d2b1156ed53e1de075","after":"3eba28dbba0e80d478da062e75e9c8614c9f0ee5","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-04-14T14:18:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Polynomial saturation esp. unification bug fixes.","shortMessageHtmlLink":"Polynomial saturation esp. unification bug fixes."}},{"before":"a50f1265d05cfae2ab8493ff2b8494936453c725","after":"1182c9598ae9515ba8ab26d2b1156ed53e1de075","ref":"refs/heads/work-in-progress-indexed-sums","pushedAt":"2023-04-04T12:05:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0function","name":null,"path":"/0function","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18149151?s=80&v=4"},"commit":{"message":"Propagation to compound shifts. Improved documentation of monomial order and related stuff.","shortMessageHtmlLink":"Propagation to compound shifts. Improved documentation of monomial or…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEas-ZGgA","startCursor":null,"endCursor":null}},"title":"Activity · sneeuwballen/zipperposition"}