Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Minor, push allocations down | Aleksey Kladov | 2020-07-14 | 2 | -3/+3 |
| | |||||
* | Optimize VFS processing | Aleksey Kladov | 2020-07-10 | 1 | -1/+1 |
| | |||||
* | Also reload when adding new examples, tests, etc | Aleksey Kladov | 2020-07-10 | 1 | -1/+1 |
| | |||||
* | Replace ad hocery with science | Aleksey Kladov | 2020-07-07 | 2 | -56/+80 |
| | |||||
* | Fix symbol search in salsa | Aleksey Kladov | 2020-07-07 | 1 | -19/+90 |
| | | | | | | | | | | | | | | | | | | | | | | Previous solution for binning paths into disjoint directories was simple and fast -- just a single binary search. Unfortunatelly, it wasn't coorrect: if the ditr are /d /d/a /d/c then partitioning the file /d/b/lib.rs won't pick /d as a correct directory. The correct solution here is a trie, but it requires exposing path components. So, we use a poor man's substitution -- a *vector* of sorted paths, such that each bucket is prefix-free closes #5246 | ||||
* | FileSetConfig works with empty set of roots | Aleksey Kladov | 2020-07-01 | 1 | -1/+1 |
| | | | | Closes #5139 | ||||
* | Make VFS join methods fallible | Jonas Schievink | 2020-06-26 | 2 | -8/+10 |
| | |||||
* | Less error-prone naming | Aleksey Kladov | 2020-06-24 | 1 | -4/+4 |
| | |||||
* | Cleanup project.json deserialization | Aleksey Kladov | 2020-06-24 | 1 | -2/+2 |
| | |||||
* | Make Debug less verbose for VfsPath and use Display in analysis-stats | Laurențiu Nicola | 2020-06-24 | 1 | -2/+17 |
| | |||||
* | New VFS | Aleksey Kladov | 2020-06-23 | 5 | -130/+67 |
| | |||||
* | Speedup VFS::partition | Aleksey Kladov | 2020-06-19 | 2 | -9/+26 |
| | | | | | | | | | | The task of `partition` function is to bin the flat list of paths into disjoint filesets. Ideally, it should be incremental -- each new file should be added to a specific fileset. However, preliminary measurnments show that it is actually fast enough if we just optimize this to use a binary search instead of a linear scan. | ||||
* | New VFS API | Aleksey Kladov | 2020-06-16 | 6 | -0/+494 |