27 Commits

Author	SHA1	Message	Date
Alex Waygood	6febd96dfe	[red-knot] Add a `read_directory()` method to the `ruff_db::system::System` trait (#12289)	2024-07-12 12:31:05 +00:00
Alex Waygood	5b21922420	[red-knot] Add more stress tests for module resolver invalidation (#12272)	2024-07-10 14:34:06 +00:00
Micha Reiser	abcf07c8c5	Change `File::touch_path` to only take a `SystemPath` (#12273)	2024-07-10 12:15:14 +00:00
Alex Waygood	6fa4e32ad3	[red-knot] Use vendored typeshed stubs for stdlib module resolution (#12224)	2024-07-09 09:21:52 +00:00
Micha Reiser	b5834d57af	[red-knot] Only store absolute paths in `Files` (#12215)	2024-07-09 09:52:13 +02:00
Micha Reiser	ac04380f36	[red-knot] Rename `FileSystem` to `System` (#12214)	2024-07-09 07:20:51 +00:00
Alex Waygood	0f6f73ecf3	[red-knot] Require that `FileSystem` objects implement `Debug` (#12204)	2024-07-05 12:53:30 +01:00
Micha Reiser	e2e0889a30	[red-knot] Add very basic benchmark (#12182)	2024-07-04 15:29:00 +00:00
Micha Reiser	4d385b60c8	[red-knot] Migrate CLI to Salsa (#11972)	2024-07-04 07:23:45 +00:00
Micha Reiser	b950a6c389	Replace `Mutex<RefCell>` with `Mutex` in vendored file system" (#12170)	2024-07-03 15:12:13 +02:00
Micha Reiser	37f260b5af	Introduce `HasTy` trait and `SemanticModel` facade (#11963)	2024-07-01 14:48:27 +02:00
Alex Waygood	cd2af3be73	[red-knot] Reduce allocations when normalizing `VendoredPath`s (#11992)	2024-06-24 13:08:01 +01:00
Alex Waygood	375d2c87b2	[red-knot] Simplify conversions from `std::path::Path` to `VendoredPath(Buf)` (#11988)	2024-06-23 15:52:26 +01:00
Alex Waygood	92b145e56a	[red-knot] Manually implement `Debug` for `VendoredFileSystem` (#11983)	2024-06-23 14:25:56 +01:00
Micha Reiser	519a278899	[red-knot] Remove itertools dependency from `ruff_db` (#11984)	2024-06-22 18:37:51 +00:00
Micha Reiser	927069c12f	[red-knot] Upgrade to Salsa 3.0 (#11952)	2024-06-20 20:19:16 +01:00
Micha Reiser	b456051be8	[red-knot] Add tracing to Salsa queries (#11949)	2024-06-20 13:33:41 +02:00
Alex Waygood	1d73d60bd3	[red-knot]: Add a VendoredFileSystem implementation (#11863) ... Co-authored-by: Micha Reiser <micha@reiser.io>	2024-06-18 15:43:39 +00:00
Micha Reiser	f666d79cd7	red-knot: Symbol table (#11860)	2024-06-18 13:10:45 +00:00
Micha Reiser	26ac805e6d	red-knot: Port module resolver to salsa (#11835)	2024-06-18 12:11:58 +00:00
Micha Reiser	98b13b9844	red-knot: Add a method to resolve a file for an arbitrary `VfsPath` (#11826) ... Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>	2024-06-18 12:03:30 +00:00
Micha Reiser	c5bc368e43	[red-knot] Improve `Vfs` and `FileSystem` documentation (#11856)	2024-06-13 11:49:27 +00:00
Micha Reiser	73370fe798	Use `starts_with('/')` instead of `is_absolute` to avoid platform specific API (#11855)	2024-06-13 12:35:31 +01:00
Micha Reiser	22b6488550	red-knot: Add directory support to `MemoryFileSystem` (#11825)	2024-06-13 07:48:28 +00:00
Micha Reiser	d4dd96d1f4	red-knot: `source_text`, `line_index`, and `parsed_module` queries (#11822)	2024-06-13 07:37:02 +00:00
Micha Reiser	efbf7b14b5	red-knot[salsa part 2]: Setup semantic DB and Jar (#11837) ... Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>	2024-06-13 08:00:51 +01:00
Micha Reiser	93973b96cb	red-knot: `VfsFile` input ingredient and a `Vfs` (#11802)	2024-06-12 07:06:15 +00:00