{"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":"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"}},{"before":"652c6a306f6e6203456617f66d059df262749c56","after":"eb65f13c6585df7f1daaeacadbbe88a6f2381396","ref":"refs/heads/master","pushedAt":"2024-03-30T17:47: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":"More house-keeping + preparing for `0.6.0-alpha.1`","shortMessageHtmlLink":"More house-keeping + preparing for <code>0.6.0-alpha.1</code>"}},{"before":"9076c19c04e857685fc9e4f5b4f4182605bcbbd2","after":"652c6a306f6e6203456617f66d059df262749c56","ref":"refs/heads/master","pushedAt":"2024-03-29T23:38:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Fix `ascent-byods-rels` `Cargo.toml`","shortMessageHtmlLink":"Fix <code>ascent-byods-rels</code> <code>Cargo.toml</code>"}},{"before":"3b6759637f175900c8320f12dad3d2e91bc776fe","after":"9076c19c04e857685fc9e4f5b4f4182605bcbbd2","ref":"refs/heads/master","pushedAt":"2024-03-29T23:20:05.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":"Improve CI workflow","shortMessageHtmlLink":"Improve CI workflow"}},{"before":"6ef20621e9575702302b8a78a9a379719ff28703","after":"3b6759637f175900c8320f12dad3d2e91bc776fe","ref":"refs/heads/master","pushedAt":"2024-03-29T23:12:59.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":"Remove `scratchpad.rs` contents (commited by mistake)","shortMessageHtmlLink":"Remove <code>scratchpad.rs</code> contents (commited by mistake)"}},{"before":"e1af80e4c277f26bf7f21642d295ab55f7cb31fc","after":"6ef20621e9575702302b8a78a9a379719ff28703","ref":"refs/heads/master","pushedAt":"2024-03-29T23:06:18.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":"BYODS house-keeping","shortMessageHtmlLink":"BYODS house-keeping"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEYBVlqAA","startCursor":null,"endCursor":null}},"title":"Activity · s-arash/ascent"}