History

Carl Meyer dcfebaa4a8 [red-knot] use declared types in inference/checking (#13335 ) Use declared types in inference and checking. This means several things: * Imports prefer declarations over inference, when declarations are available. * When we encounter a binding, we check that the bound value's inferred type is assignable to the live declarations of the bound symbol, if any. * When we encounter a declaration, we check that the declared type is assignable from the inferred type of the symbol from previous bindings, if any. * When we encounter a binding+declaration, we check that the inferred type of the bound value is assignable to the declared type.		2024-09-17 08:11:06 -07:00
..
benches	[red-knot] use declared types in inference/checking (#13335 )	2024-09-17 08:11:06 -07:00
src	Revert "Remove criterion/codspeed compat layer (#12524 )" (#12680 )	2024-08-05 07:49:04 +00:00
Cargo.toml	Fix build of `ruff_benchmark` on NixOS (#13366 )	2024-09-16 09:41:46 +02:00
README.md	Update contributing docs to use `cargo bench -p ruff_benchmark` (#9535 )	2024-01-15 14:57:30 -05:00

README.md

Ruff Benchmarks

The ruff_benchmark crate benchmarks the linter and the formatter on individual files:

# Run once on the "baseline".
cargo bench -p ruff_benchmark -- --save-baseline=main

# Compare against the "baseline".
cargo bench -p ruff_benchmark -- --baseline=main

# Run the lexer benchmarks.
cargo bench -p ruff_benchmark lexer -- --baseline=main

See CONTRIBUTING.md on how to use these benchmarks.