177 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 VendoredPaths (#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