Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixed typos in local bindings | Vincent Esche | 2021-01-09 | 1 | -2/+2 |
* | Change <|> to $0 - Rebase | Kevaundray Wedderburn | 2021-01-07 | 1 | -1/+1 |
* | Fix accidently quadratic syntax rewriter | Aleksey Kladov | 2020-12-10 | 1 | -8/+14 |
* | Profile completions better | Kirill Bulatov | 2020-11-27 | 1 | -0/+13 |
* | Merge #6512 | bors[bot] | 2020-11-09 | 1 | -36/+89 |
|\ | |||||
| * | Don't replace parent node when inserting as first child in algo::diff | Lukas Wirth | 2020-11-09 | 1 | -36/+89 |
* | | Fix debug for SyntaxRewriter | Aleksey Kladov | 2020-11-09 | 1 | -1/+4 |
|/ | |||||
* | Do insertion lookahead in algo::diff | Lukas Wirth | 2020-10-26 | 1 | -40/+120 |
* | Remove InsertPos::Before variant in Syntax Rewriter | Lukas Wirth | 2020-10-24 | 1 | -13/+20 |
* | Support insertion in SyntaxRewriter | Lukas Wirth | 2020-10-24 | 1 | -24/+134 |
* | algo::diff tests | Lukas Wirth | 2020-10-22 | 1 | -2/+326 |
* | Rewrite algo::diff to support insertion and deletion | Lukas Wirth | 2020-10-22 | 1 | -23/+64 |
* | Omit lenses for not runnable doctests | Kirill Bulatov | 2020-08-22 | 1 | -1/+1 |
* | Rename ra_syntax -> syntax | Aleksey Kladov | 2020-08-12 | 1 | -0/+406 |