Remy Willems

Add incremental parsing, which allows for fast re-parsing on partial textual changes. This is required for IDE support. See [this paper](https://ohmlang.github.io/pubs/sle2017/incremental-packrat-parsing.pdf) for more details.

Enable dynamic method resolution for Node objects. Possibly this can even find singleton `NodeField` objects, by storing those in a registry that allows string based lookup. If that's not possible,...

Add the Jasmin language as an example. Jasmin is a simplified bytecode language, defined here: https://en.wikipedia.org/wiki/Jasmin_(software) It serves as a great intermediate language for Java compilation.

This PR attempts to help debug a flaky test: https://github.com/dafny-lang/dafny/issues/5420 ### Description - Improve logging for `Compilation` - Turn on more logging for `ProjectFileDoesNotOwnAllSourceFilesItUses` ### How has this been tested?...

### Description - Add option `ProjectManagerDatabase.ProjectFileCacheExpiry` that allows test to not wait for the cache to expire, something which is otherwise easily forgotten - Fix a bug that could lead...

### Description - Improve code navigation for around import declaration with no explicit name - Improve code navigation for explicit types of variables ### How has this been tested? -...

Timeout: https://github.com/dafny-lang/dafny/actions/runs/9075070562/job/24934982834?pr=5429 ``` Waited for 49 seconds for new notification. Last received notification was SymbolStatus, Uri: file:///tmp/0oq3xvzl.lbt/ChangingTheDocumentStopsOnChangeVerification.dfy, Version: 1, NamedVerifiables: NamedVerifiableStatus { NameRange = [start: (0, 23), end: (0, 26)],...

The following program crashes the resolver ```dafny ghost function f2(items: set): (r:nat) requires |items| > 0 { var item :| item in items; item } function f(items: set) : (r:nat)...

https://github.com/dafny-lang/dafny/actions/runs/9064782607/job/24903792744 The job almost took 120m, which is when it times out.