{"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:1716591124.0","currentOid":""},"activityList":{"items":[{"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"}},{"before":"6e76eddcf85fabb3895d4583fc0c266fbf0a4c27","after":"e1af80e4c277f26bf7f21642d295ab55f7cb31fc","ref":"refs/heads/master","pushedAt":"2024-03-29T17:57:57.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":"House-keeping\n\n- Rename `rels-ascent` to `ascent-byods-rels`\n- Update Cargo.toml files to used workspace dependencies\n- Minor cleanup","shortMessageHtmlLink":"House-keeping"}},{"before":"bb433bfe97b9ca7aac2cbafa1cc63db494344e7b","after":"6e76eddcf85fabb3895d4583fc0c266fbf0a4c27","ref":"refs/heads/master","pushedAt":"2024-03-17T22:52: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":"Cleanup: Fixing warnings","shortMessageHtmlLink":"Cleanup: Fixing warnings"}},{"before":"d4b4df1a34d036806a6030e0df077345fd527bc6","after":"a101997b36431e5db397a673e418907c43f8ef28","ref":"refs/heads/gh-pages","pushedAt":"2024-03-16T21:14:36.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":"Update with BYODS info","shortMessageHtmlLink":"Update with BYODS info"}},{"before":"a022abb6cda3ab554d375d34a3eb52edf4080dc7","after":"bb433bfe97b9ca7aac2cbafa1cc63db494344e7b","ref":"refs/heads/master","pushedAt":"2024-03-16T20:46:46.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"s-arash","name":"Arash Sahebolamri","path":"/s-arash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4473311?s=80&v=4"},"commit":{"message":"Merge pull request #28 from s-arash/merge-byods\n\nMerge byods","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2045427206\" data-permission-text=\"Title is private\" data-url=\"https://github.com/s-arash/ascent/issues/28\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/s-arash/ascent/pull/28/hovercard\" href=\"https://github.com/s-arash/ascent/pull/28\">#28</a> from s-arash/merge-byods"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEU3dLngA","startCursor":null,"endCursor":null}},"title":"Activity · s-arash/ascent"}