{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":398440351,"defaultBranch":"master","name":"wax","ownerLogin":"olson-sean-k","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-08-21T01:38:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1481619?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1711565359.0","currentOid":""},"activityList":{"items":[{"before":"0620b103e1c9a8eaa71a7bc9e5c1b75ee2d5aef0","after":"080bfd4b800b98d8d3b76b70ce9c5e4c4ed2d43b","ref":"refs/heads/regex","pushedAt":"2024-04-01T19:04:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Implement platform-specific separator patterns.\n\nThis change also adds some notes (TODOs) about folding token trees into\nHIRs.","shortMessageHtmlLink":"Implement platform-specific separator patterns."}},{"before":"5872defc60bbc2174cd88d76eeab9b394b1e60e9","after":"0620b103e1c9a8eaa71a7bc9e5c1b75ee2d5aef0","ref":"refs/heads/regex","pushedAt":"2024-03-30T00:30:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Consider adjacent tokens when constructing a HIR.","shortMessageHtmlLink":"Consider adjacent tokens when constructing a HIR."}},{"before":null,"after":"5872defc60bbc2174cd88d76eeab9b394b1e60e9","ref":"refs/heads/regex","pushedAt":"2024-03-27T18:49:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"[wip] Compile globs via HIR rather than text.\n\nThis change migrates from `regex` to its intermediate `regex-syntax` and\n`regex-automata` crates. This greatly improves the flexibility in\nencoding globs and matched text and removes the need for obtuse textual\nencoding before compiling automata.","shortMessageHtmlLink":"[wip] Compile globs via HIR rather than text."}},{"before":"35899613ff7d9bfc3ac026053faaa872dfe35d56","after":null,"ref":"refs/heads/query","pushedAt":"2024-03-26T21:57:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"}},{"before":"46d690b283329e1059ec8149aaa8ab41864cf101","after":null,"ref":"refs/heads/query-squashed","pushedAt":"2024-03-26T21:57:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"}},{"before":"da774b0a8703d459c7e5002dc39ab9b40170561d","after":"46d690b283329e1059ec8149aaa8ab41864cf101","ref":"refs/heads/master","pushedAt":"2024-03-26T21:57:05.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Determine exhaustiveness as `When` instead of `bool`.\n\nThis change uses `BoundaryTerm` to query disjunctive terms and determine\nnot only if a token is or isn't exhaustive but also if it is _sometimes_\nexhaustive. `Program::is_exhaustive` now returns `When`, much like\n`has_root`.","shortMessageHtmlLink":"Determine exhaustiveness as <code>When</code> instead of <code>bool</code>."}},{"before":"f984ec9cb9f4aee8436fbd189b7f312cc5e9db2b","after":"46d690b283329e1059ec8149aaa8ab41864cf101","ref":"refs/heads/query-squashed","pushedAt":"2024-03-26T21:50:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Determine exhaustiveness as `When` instead of `bool`.\n\nThis change uses `BoundaryTerm` to query disjunctive terms and determine\nnot only if a token is or isn't exhaustive but also if it is _sometimes_\nexhaustive. `Program::is_exhaustive` now returns `When`, much like\n`has_root`.","shortMessageHtmlLink":"Determine exhaustiveness as <code>When</code> instead of <code>bool</code>."}},{"before":null,"after":"f984ec9cb9f4aee8436fbd189b7f312cc5e9db2b","ref":"refs/heads/query-squashed","pushedAt":"2024-03-26T21:35:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Determine exhaustiveness as `When` instead of `bool`.\n\nThis change uses `BoundaryTerm` to query disjunctive terms and determine\nnot only if a token is or isn't exhaustive but also if it is _sometimes_\nexhaustive. `Program::is_exhaustive` now returns `When`, much like\n`has_root`.","shortMessageHtmlLink":"Determine exhaustiveness as <code>When</code> instead of <code>bool</code>."}},{"before":"69bf4c468aaf794ea2ec8e13bddf144f57cc4182","after":"35899613ff7d9bfc3ac026053faaa872dfe35d56","ref":"refs/heads/query","pushedAt":"2024-03-26T20:00:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Determine when `Program`s are exhaustive with `BoundaryTerm`.","shortMessageHtmlLink":"Determine when <code>Program</code>s are exhaustive with <code>BoundaryTerm</code>."}},{"before":"62071d56f8e6232329ab3b9594c2cbc453df81e9","after":"69bf4c468aaf794ea2ec8e13bddf144f57cc4182","ref":"refs/heads/query","pushedAt":"2024-03-26T00:44:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Replace `map`+`unwrap_or` with `map_or`.","shortMessageHtmlLink":"Replace <code>map</code>+<code>unwrap_or</code> with <code>map_or</code>."}},{"before":"0d9df1ec9a40764292071f9b21435eefcc913e7c","after":"62071d56f8e6232329ab3b9594c2cbc453df81e9","ref":"refs/heads/query","pushedAt":"2024-03-26T00:32:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Implement `bounded_at_depth_variance` in terms of `DepthVariance`.","shortMessageHtmlLink":"Implement <code>bounded_at_depth_variance</code> in terms of <code>DepthVariance</code>."}},{"before":"5ea2e02660eb9040676d7491c82d60d66575841a","after":"0d9df1ec9a40764292071f9b21435eefcc913e7c","ref":"refs/heads/query","pushedAt":"2024-03-26T00:01:39.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Rename the `bound` module to `natural`.\n\nThis change completes collapsing and moving the `invariant::natural`\nmodule into `variance::bound`, which is now `variance::natural`.","shortMessageHtmlLink":"Rename the <code>bound</code> module to <code>natural</code>."}},{"before":"572ffbcc04f28b0afb6dc0b9d307ef3d14286de3","after":"5ea2e02660eb9040676d7491c82d60d66575841a","ref":"refs/heads/query","pushedAt":"2024-03-25T22:19:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Remove commented code and rename term items.","shortMessageHtmlLink":"Remove commented code and rename term items."}},{"before":"828e7cf9c2300ca71f19c45426172db723855e50","after":"572ffbcc04f28b0afb6dc0b9d307ef3d14286de3","ref":"refs/heads/query","pushedAt":"2024-03-25T17:43:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Use `Closed` terms for separators.\n\nIt is unnecessary to map terms via `close_boundary_separation`. This\nchange removes this function and emits `Closed` terms for `Separator`s\n(and similar terms for tree wildcards).","shortMessageHtmlLink":"Use <code>Closed</code> terms for separators."}},{"before":"6280daf45a1283081aedf2a086ae92796bca7911","after":"828e7cf9c2300ca71f19c45426172db723855e50","ref":"refs/heads/query","pushedAt":"2024-03-25T17:13:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Introduce `BoundaryTerm`s.\n\nThis (very WIP) change introduces general `BoundaryTerm`s, which\nassociat boundary information in variance terms in folds. This allows\nfor a more complete algebra that is aware of separation terminals as\nterms are summed. Depth bounds are now correct (AFAICT). However, this\nstill does not properly support the type of \"coalescence\" needed for\ntree wildcards.\n\nThis needs a lot of cleaning up and reorganizing! Names, module\nhierarchy, oh my!\n\n`BoundaryTerm` may be useful for computing the bounds of breadth as\nwell. For example, products of such terms are aware of boundary\nterminals, which may remove the need to examine terminal tokens while\nalso propogating terminals into the next level of the fold.","shortMessageHtmlLink":"Introduce <code>BoundaryTerm</code>s."}},{"before":"08cab4eda51df33ac8945ff0c9244d5967042143","after":"6280daf45a1283081aedf2a086ae92796bca7911","ref":"refs/heads/query","pushedAt":"2024-03-18T21:51:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Update documentation for `Program` and `query` types.","shortMessageHtmlLink":"Update documentation for <code>Program</code> and <code>query</code> types."}},{"before":"e8e03ab356cb6320739dcfe071bf0dcc7f246638","after":"08cab4eda51df33ac8945ff0c9244d5967042143","ref":"refs/heads/query","pushedAt":"2024-03-18T18:46:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Proxy bound types through simpler types in the public API.","shortMessageHtmlLink":"Proxy bound types through simpler types in the public API."}},{"before":"a6cdb88097ddc64192a805856df9f6095faa5fd6","after":"e8e03ab356cb6320739dcfe071bf0dcc7f246638","ref":"refs/heads/query","pushedAt":"2024-03-18T18:00:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Move more types into `query`.\n\nThis change also uses type aliases in bound APIs for consistency in code\nand documentation.","shortMessageHtmlLink":"Move more types into <code>query</code>."}},{"before":"1a9f767783a10d583243ea907c7134f0a8efea5d","after":"a6cdb88097ddc64192a805856df9f6095faa5fd6","ref":"refs/heads/query","pushedAt":"2024-03-16T04:10:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Rename `GlobVariance` to `TokenVariance`.","shortMessageHtmlLink":"Rename <code>GlobVariance</code> to <code>TokenVariance</code>."}},{"before":"a2f876408bd4aecc26a15dfe9bfbf51b449c9ec3","after":"1a9f767783a10d583243ea907c7134f0a8efea5d","ref":"refs/heads/query","pushedAt":"2024-03-16T04:03:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Export more types in `query`.","shortMessageHtmlLink":"Export more types in <code>query</code>."}},{"before":"e439b1499940eb3e662a043c3f376e9f78ee7e50","after":"a2f876408bd4aecc26a15dfe9bfbf51b449c9ec3","ref":"refs/heads/query","pushedAt":"2024-03-16T02:03:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Expose `Variance` etc. in a `query` module.","shortMessageHtmlLink":"Expose <code>Variance</code> etc. in a <code>query</code> module."}},{"before":null,"after":"e439b1499940eb3e662a043c3f376e9f78ee7e50","ref":"refs/heads/query","pushedAt":"2024-03-16T01:25:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Refactor walk behavior types into a `behavior` module.\n\nThis change moves walk behavior types from the `walk` module into a\n`behavior` sub-module. These types are re-exported from `walk`.","shortMessageHtmlLink":"Refactor walk behavior types into a <code>behavior</code> module."}},{"before":"da774b0a8703d459c7e5002dc39ab9b40170561d","after":null,"ref":"refs/heads/walktest","pushedAt":"2024-03-16T01:25:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"}},{"before":"25700819cf78283eb3f5d1a6a3be92686dbaf6f7","after":"da774b0a8703d459c7e5002dc39ab9b40170561d","ref":"refs/heads/master","pushedAt":"2024-03-16T01:12:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Migrate walk tests to test cases.\n\nThis change refactors some walk tests into test cases of a more general\ntest.","shortMessageHtmlLink":"Migrate walk tests to test cases."}},{"before":null,"after":"da774b0a8703d459c7e5002dc39ab9b40170561d","ref":"refs/heads/walktest","pushedAt":"2024-03-16T00:58:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Migrate walk tests to test cases.\n\nThis change refactors some walk tests into test cases of a more general\ntest.","shortMessageHtmlLink":"Migrate walk tests to test cases."}},{"before":"561a33216ea8a4a92c45c0bcceced5738831cd2b","after":null,"ref":"refs/heads/issue46","pushedAt":"2024-03-15T23:34:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"}},{"before":"905778b7344e6a4f0b569b93d18d1cc6a8fb4ff7","after":"25700819cf78283eb3f5d1a6a3be92686dbaf6f7","ref":"refs/heads/master","pushedAt":"2024-03-15T23:29:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"},"commit":{"message":"Test partitioning of empty `Glob`s.\n\nThis change introduces tests and test cases that exercise\n`Glob::partition` against empty `Glob`s.","shortMessageHtmlLink":"Test partitioning of empty <code>Glob</code>s."}},{"before":"05b5f049a2d1500d0a85254202380b5396cbb94f","after":null,"ref":"refs/heads/depth","pushedAt":"2024-03-15T23:09:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"}},{"before":"657dcea238a04d596e6fd161b2b32264344c3b95","after":null,"ref":"refs/heads/treeish","pushedAt":"2024-03-15T23:07:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"}},{"before":"4d13430b6515377f2445107470e7b7e1275b5c4f","after":null,"ref":"refs/heads/walk-token","pushedAt":"2024-03-15T23:07:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"olson-sean-k","name":"Sean Olson","path":"/olson-sean-k","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481619?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEJMTbEwA","startCursor":null,"endCursor":null}},"title":"Activity · olson-sean-k/wax"}