Johannes Altmanninger

Commit 619fb6c197db17c724c9328c53053d761fb53cd0 adds a limit of 300 to the depth of nested objects to the parser. Would it be possible to make that limit configurable? I need to parse a...

We have code like ```go buffer := bytes.Buffer{} _, _ = buffer.WriteString("") ``` We always want to ignore these errors, so I want to add some `-exclude` or `-ignore` rules...

The breaking-cleanups branch in the Kakoune repo makes p and P select the pasted text. This messes with the order in which ":find" places line locations and line contents. Fix...

When a matched line contains a part that looks like a jump location, like the one below, the wrong file name and location are used. Fix this by using the...

Avoid unit deletions in DRAT proofs

13

Hi, DRAT proof checkers ignore deletions of (pseudo) unit clauses for reasons stated [here](https://github.com/marijnheule/drat-trim#clause-deletion-details). Unsatisfiability proofs by CryptoMiniSat can contain deletions of unit clauses and as a result many of...

We @symflower have been using a slightly modified version of testify for years. We'd like to upstream several changes that we have found very useful for everyday testing. This is...

My terminal allows to map `` and `` independently. I like to use `` as escape key so I have this mapping: map global prompt `` `` Unfortunately, this is...

First two commits are from https://github.com/mawww/kakoune/pull/4677 to avoid a trivial merge conflict The last commit's log message tries to rationalize the implementation.

This looks a bit weird but it's exactly what the user needs to type anyway. This means we can type echo %val{bufn and it will do the right thing.