{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":408210576,"defaultBranch":"master","name":"ascent","ownerLogin":"s-arash","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-09-19T18:51:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4473311?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717879155.0","currentOid":""},"activityList":{"items":[{"before":"9805d02cb830b6e66abcd4d48836a14cd98366f3","after":"1e8dbbb4682887fcbfd57072558f27ed2aac256e","ref":"refs/heads/master","pushedAt":"2024-06-23T01:15:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Fix warnings\n\n+ Weekly schedule for CI","shortMessageHtmlLink":"Fix warnings"}},{"before":"93bf9b5ccc8f35bb8030794b01c249317124b3b0","after":"7664236b4bfc482c8b73a10a4f3c9ef1595c9061","ref":"refs/heads/feature-par","pushedAt":"2024-06-23T00:42:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Fix warnings","shortMessageHtmlLink":"Fix warnings"}},{"before":"35047fe14971bf5103134b0ee6225808f54fa2c4","after":"93bf9b5ccc8f35bb8030794b01c249317124b3b0","ref":"refs/heads/feature-par","pushedAt":"2024-06-23T00:33:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Fix warnings","shortMessageHtmlLink":"Fix warnings"}},{"before":"42a932ae919a9c9cb1aa322ac6a891b6893ca83a","after":"35047fe14971bf5103134b0ee6225808f54fa2c4","ref":"refs/heads/feature-par","pushedAt":"2024-06-23T00:05:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Move parallel dependencies behind Cargo feature `par`","shortMessageHtmlLink":"Move parallel dependencies behind Cargo feature <code>par</code>"}},{"before":"7caa82863959907e85de32f6b6b91d94fa39977f","after":"42a932ae919a9c9cb1aa322ac6a891b6893ca83a","ref":"refs/heads/feature-par","pushedAt":"2024-06-23T00:00:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Move parallel dependencies behind Cargo feature `par`","shortMessageHtmlLink":"Move parallel dependencies behind Cargo feature <code>par</code>"}},{"before":"0c7e6600ae08935c31e72aa70a0ca21b7ee8dd3a","after":"7caa82863959907e85de32f6b6b91d94fa39977f","ref":"refs/heads/feature-par","pushedAt":"2024-06-08T20:58:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"WIP: move parallel dependencies behind Cargo feature `par`","shortMessageHtmlLink":"WIP: move parallel dependencies behind Cargo feature <code>par</code>"}},{"before":"04d72ece9cc83ffe1a549e740c5ee9481f5e83cc","after":"0c7e6600ae08935c31e72aa70a0ca21b7ee8dd3a","ref":"refs/heads/feature-par","pushedAt":"2024-06-08T20:52:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"WIP: move parallel dependencies behind Cargo feature `par`","shortMessageHtmlLink":"WIP: move parallel dependencies behind Cargo feature <code>par</code>"}},{"before":"57be091bcf3640e727a7d2f186ebd877fafdc72f","after":"04d72ece9cc83ffe1a549e740c5ee9481f5e83cc","ref":"refs/heads/feature-par","pushedAt":"2024-06-08T20:43:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"WIP: move parallel dependencies behind Cargo feature `par`","shortMessageHtmlLink":"WIP: move parallel dependencies behind Cargo feature <code>par</code>"}},{"before":null,"after":"57be091bcf3640e727a7d2f186ebd877fafdc72f","ref":"refs/heads/feature-par","pushedAt":"2024-06-08T20:39:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"WIP: move parallel dependencies behind Cargo feature `par`","shortMessageHtmlLink":"WIP: move parallel dependencies behind Cargo feature <code>par</code>"}},{"before":"9f9b0c799469507a409395a822d731f34c07f864","after":"9805d02cb830b6e66abcd4d48836a14cd98366f3","ref":"refs/heads/master","pushedAt":"2024-05-24T23:28:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Fix unsoundness of `ascent_base::util::update()` (#42)\n\n- Reimplement `update()` by using safe code and requiring `Default`\r\n- Remove default impls of `meet_mut` and `join_mut` for `Lattice` and implement them for lattice types by hand","shortMessageHtmlLink":"Fix unsoundness of <code>ascent_base::util::update()</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316372800\" data-permission-text=\"Title is private\" data-url=\"https://github.com/s-arash/ascent/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/s-arash/ascent/pull/42/hovercard\" href=\"https://github.com/s-arash/ascent/pull/42\">#42</a>)"}},{"before":"755b88d899f5b7adc072cc5192a811028e93c54c","after":"09e71ff2aba7de1620853e3e0d04aa1d3ab93cb7","ref":"refs/heads/issue-41-unsound-util-update","pushedAt":"2024-05-24T23:19:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Fix unsoundness of `ascent_base::util::update()`\n\n- Reimplement `update()` by using safe code and requring the `Default` bound\n- Remove default impls of `meet_mut` and `join_mut` for `Lattice` and implement them for lattice types by hand","shortMessageHtmlLink":"Fix unsoundness of <code>ascent_base::util::update()</code>"}},{"before":"d24b5fd15376812a8520524ab58a82464101dcf8","after":"755b88d899f5b7adc072cc5192a811028e93c54c","ref":"refs/heads/issue-41-unsound-util-update","pushedAt":"2024-05-24T23:11:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Fix unsoundness of `ascent_base::util::update()`\n\n- Reimplement `update()` by using safe code and requring the `Default` bound\n- Remove default impls of `meet_mut` and `join_mut` for `Lattice` and implement them for lattice types by hand","shortMessageHtmlLink":"Fix unsoundness of <code>ascent_base::util::update()</code>"}},{"before":null,"after":"d24b5fd15376812a8520524ab58a82464101dcf8","ref":"refs/heads/issue-41-unsound-util-update","pushedAt":"2024-05-24T22:52:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Fix unsoundness of `ascent_base::util::update()`\n\n- Reimplement `update()` by using safe code and requring the `Default` bound\n- Remove default impls of `meet_mut` and `join_mut` for `Lattice` and implement them for lattice types by hand","shortMessageHtmlLink":"Fix unsoundness of <code>ascent_base::util::update()</code>"}},{"before":"5f8c54b2ec6263ffc35123b991148a46e43e4179","after":null,"ref":"refs/heads/macro-in-macro","pushedAt":"2024-04-15T00:50:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"}},{"before":"2f3af2cca3c3ada9cc7c791995fd967b7f34ee03","after":null,"ref":"refs/heads/par","pushedAt":"2024-04-15T00:49:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"}},{"before":"afcbd2ed1dd440529d052ec4ab48def9a1a547a7","after":null,"ref":"refs/heads/merge-byods","pushedAt":"2024-04-15T00:46:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"}},{"before":"82129c02157dbb3a402e4e7458c8e329ef380cf0","after":null,"ref":"refs/heads/wasm-support","pushedAt":"2024-04-15T00:45:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"}},{"before":"26b94a8bb72578f96fa50158f11a7e4187078724","after":"9f9b0c799469507a409395a822d731f34c07f864","ref":"refs/heads/master","pushedAt":"2024-04-14T22:40:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Test examples in CI","shortMessageHtmlLink":"Test examples in CI"}},{"before":"6fe815900d4adcd90f02a7862763471d54d87940","after":"9f9b0c799469507a409395a822d731f34c07f864","ref":"refs/heads/ci","pushedAt":"2024-04-14T20:58:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Test examples in CI","shortMessageHtmlLink":"Test examples in CI"}},{"before":"6f61f1ba22ce5ba0a28a27b2791b1523c866cff6","after":"26b94a8bb72578f96fa50158f11a7e4187078724","ref":"refs/heads/master","pushedAt":"2024-04-14T19:54:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Examples (#40)\n\n* Add basic examples for each of ascent's rule syntaxes\r\n\r\n* Add a couple of simple examples\r\n\r\n* Add a couple more complex examples\r\n\r\n(adapted from soufflé's examples at https://souffle-lang.github.io/examples)\r\n\r\n* Resolve \"can't leak private type\" errors by making types `pub`\r\n\r\n* Add commas before `if` clauses in examples\r\n\r\n* Rework example showcasing a LISP-style list\r\n\r\n* Generate `prog.number` from a range rather than a hard-coded vec\r\n\r\n* Add comment on question-mark syntax","shortMessageHtmlLink":"Examples (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240956001\" data-permission-text=\"Title is private\" data-url=\"https://github.com/s-arash/ascent/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/s-arash/ascent/pull/40/hovercard\" href=\"https://github.com/s-arash/ascent/pull/40\">#40</a>)"}},{"before":"aaadee690afde9d4951b188cba7607c886af5c72","after":"6f61f1ba22ce5ba0a28a27b2791b1523c866cff6","ref":"refs/heads/master","pushedAt":"2024-04-14T17:08:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Make the code-gen part of macro-expansion deterministic (#34)\n\n* Make the code-gen part of macro-expansion deterministic\r\n\r\n* Inline relation sorting logic","shortMessageHtmlLink":"Make the code-gen part of macro-expansion deterministic (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2177948788\" data-permission-text=\"Title is private\" data-url=\"https://github.com/s-arash/ascent/issues/34\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/s-arash/ascent/pull/34/hovercard\" href=\"https://github.com/s-arash/ascent/pull/34\">#34</a>)"}},{"before":"0443eee415209eeeb6f33c4a3645b41ca7990604","after":"aaadee690afde9d4951b188cba7607c886af5c72","ref":"refs/heads/master","pushedAt":"2024-04-13T16:25:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Add 'LICENSE' file (#38)","shortMessageHtmlLink":"Add 'LICENSE' file (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2239521580\" data-permission-text=\"Title is private\" data-url=\"https://github.com/s-arash/ascent/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/s-arash/ascent/pull/38/hovercard\" href=\"https://github.com/s-arash/ascent/pull/38\">#38</a>)"}},{"before":"03f4f792442ecaf9e4f178a6a1b5840eab526388","after":"0443eee415209eeeb6f33c4a3645b41ca7990604","ref":"refs/heads/master","pushedAt":"2024-03-31T18:21:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Preparing `0.6.0` release","shortMessageHtmlLink":"Preparing <code>0.6.0</code> release"}},{"before":"c30c5cd4e1aee4b16ff41dc1a52388490b1d1e55","after":"03f4f792442ecaf9e4f178a6a1b5840eab526388","ref":"refs/heads/master","pushedAt":"2024-03-31T18:12:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Move `tracking_alloc` and benches/examples form `ascent-byods-rels` to `ascent-byods-rels/example`","shortMessageHtmlLink":"Move <code>tracking_alloc</code> and benches/examples form <code>ascent-byods-rels</code> t…"}},{"before":"0ee62381818f07305f4391f4e64159bd9ea10af3","after":"c30c5cd4e1aee4b16ff41dc1a52388490b1d1e55","ref":"refs/heads/master","pushedAt":"2024-03-31T02:53:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Preparing 0.6.0-alpha.2 release","shortMessageHtmlLink":"Preparing 0.6.0-alpha.2 release"}},{"before":"44dfd67fd6b8e5d774f337183fe5bc4a4883c5d5","after":null,"ref":"refs/heads/synv2","pushedAt":"2024-03-31T00:47:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"}},{"before":"eb65f13c6585df7f1daaeacadbbe88a6f2381396","after":"0ee62381818f07305f4391f4e64159bd9ea10af3","ref":"refs/heads/master","pushedAt":"2024-03-31T00:46:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Migrate to `syn` v2.0 (#36)","shortMessageHtmlLink":"Migrate to <code>syn</code> v2.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2216708326\" data-permission-text=\"Title is private\" data-url=\"https://github.com/s-arash/ascent/issues/36\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/s-arash/ascent/pull/36/hovercard\" href=\"https://github.com/s-arash/ascent/pull/36\">#36</a>)"}},{"before":"7c27e2f3c61c9f2a567d7576ba90f2cccdbc55de","after":"44dfd67fd6b8e5d774f337183fe5bc4a4883c5d5","ref":"refs/heads/synv2","pushedAt":"2024-03-31T00:40:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Migrate to `syn` v2.0","shortMessageHtmlLink":"Migrate to <code>syn</code> v2.0"}},{"before":"95602d6fe681682e11a0e9ef4324f0dca0d9390e","after":"7c27e2f3c61c9f2a567d7576ba90f2cccdbc55de","ref":"refs/heads/synv2","pushedAt":"2024-03-31T00:09:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Migrate to `syn` v2.0","shortMessageHtmlLink":"Migrate to <code>syn</code> v2.0"}},{"before":null,"after":"95602d6fe681682e11a0e9ef4324f0dca0d9390e","ref":"refs/heads/synv2","pushedAt":"2024-03-30T23:59:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Migrate to `syn` v2.0","shortMessageHtmlLink":"Migrate to <code>syn</code> v2.0"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yM1QwMToxNToyMS4wMDAwMDBazwAAAARshskn","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yM1QwMToxNToyMS4wMDAwMDBazwAAAARshskn","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0zMFQyMzo1OToyNC4wMDAwMDBazwAAAAQjiufP"}},"title":"Activity · s-arash/ascent"}