git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2021-09-25	Nadrieril	Avoid double-deref in `Fields`	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Replace `Pat` with a new intermediate representation	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Remove dependency of `SubPatSet` on `Pat`	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Move special `&str` handling to `Constructor` and ...	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Use usize for slice arity	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Rework `Fields` internals.	commit \| commitdiff \| tree
2021-09-25	Nadrieril	A for loop is a lot faster apparently	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Cleanup the reporting of unreachable patterns	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Always report reachability for user-supplied patterns	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Remove some unreachable code	commit \| commitdiff \| tree
2021-09-25	Nadrieril	Remove premature shortcutting	commit \| commitdiff \| tree
2021-09-22	Nadrieril	Add tests	commit \| commitdiff \| tree
2021-02-01	Nadrieril	Make `SubPatSet` clearer by flipping its meaning	commit \| commitdiff \| tree
2021-01-24	Nadrieril	Specialized `Usefulness` variants are redundant	commit \| commitdiff \| tree
2021-01-24	Nadrieril	Identify subpatterns by the path to them instead of...	commit \| commitdiff \| tree
2021-01-24	Nadrieril	Factor or-pattern expansion	commit \| commitdiff \| tree
2021-01-24	Nadrieril	Split `Usefulness::NotUseful` into two	commit \| commitdiff \| tree
2021-01-24	Nadrieril	Reimplement `Usefulness::merge` in terms of a binop	commit \| commitdiff \| tree
2021-01-24	Nadrieril	Don't expose `Usefulness` in the api	commit \| commitdiff \| tree
2021-01-24	Nadrieril	Improve the debugging experience	commit \| commitdiff \| tree
2021-01-24	Nadrieril	Add tests	commit \| commitdiff \| tree
2021-01-12	Nadrieril	Make `DefIdForest` cheaper to clone	commit \| commitdiff \| tree
2021-01-12	Nadrieril	Turn type inhabitedness into a query	commit \| commitdiff \| tree
2021-01-12	Nadrieril	Add tests for uninhabited types	commit \| commitdiff \| tree
2021-01-12	Nadrieril	Deduplicate some tests using revisions	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Fix a comment	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Apply suggestions from code review	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Simplify field filtering	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Make the special "missing patterns" constructor real	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Completely rework the explanation of the algorithm	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Pass `Matrix` explicitly instead of via `PatCtxt`	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Inline the constructor-specific `split` functions	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Inline `all_constructors`	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Rebrand `MissingConstructors` as `SplitWildcard`	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Factor out `SplitVarLenSlice` used for slice splitting	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Run the annoying lint separately	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Factor out `SplitIntRange` used for integer range splitting	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Add some tests	commit \| commitdiff \| tree
2020-12-19	Nadrieril	Tweak diagnostics	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Unify the two kinds of usefulness merging	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Merge unreachable subpatterns correctly	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Keep all witnesses of non-exhaustiveness	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Rewrite usefulness merging using `SpanSet`	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Log the output of `is_useful` in the or-pattern case too	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Factor out or-pattern usefulness merging	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Add tests	commit \| commitdiff \| tree
2020-12-12	Nadrieril	Remove an unused dependency that made `rustdoc` crash	commit \| commitdiff \| tree
2020-12-04	Nadrieril	Inline `is_covered_by`	commit \| commitdiff \| tree
2020-11-29	Nadrieril	`overlapping_range_endpoints` does not belong in the...	commit \| commitdiff \| tree
2020-11-29	Nadrieril	Improve error message	commit \| commitdiff \| tree
2020-11-29	Nadrieril	Be consistent about linting singletons	commit \| commitdiff \| tree
2020-11-29	Nadrieril	Rename the `overlapping_patterns` lint to `overlapping_range...	commit \| commitdiff \| tree
2020-11-29	Nadrieril	Add tests	commit \| commitdiff \| tree
2020-11-28	Nadrieril	Don't store `ty` and `span` in `IntRange`	commit \| commitdiff \| tree
2020-11-28	Nadrieril	Correctly detect `usize`/`isize` range overlaps	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Rename `_match` to `usefulness`	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Rename `pat_constructor` to `Constructor::from_pat`	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Move the definitions of the two `Ctxt`s to the top	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Extract everything related to pattern deconstruction...	commit \| commitdiff \| tree
2020-11-27	Nadrieril	No need to expose `Matrix` internals	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Disentangle `Fields` and `PatStack`	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Move `Constructor::apply` to `Fields`	commit \| commitdiff \| tree
2020-11-21	Nadrieril	Improve integer range tests	commit \| commitdiff \| tree
2020-11-19	Nadrieril	Regroup many usefulness-related test in the same folder	commit \| commitdiff \| tree
2020-11-16	Nadrieril	Add a test for foreign empty enums	commit \| commitdiff \| tree
2020-11-16	Nadrieril	Apply suggestions from code review	commit \| commitdiff \| tree
2020-11-12	Nadrieril	Factor out match usefulness computation in `check_match`	commit \| commitdiff \| tree
2020-11-12	Nadrieril	Unreachable subpatterns are rare	commit \| commitdiff \| tree
2020-11-12	Nadrieril	Handle empty matches cleanly	commit \| commitdiff \| tree
2020-11-12	Nadrieril	Add tests	commit \| commitdiff \| tree
2020-11-05	Nadrieril	Emit lints in the order in which they occur in the...	commit \| commitdiff \| tree
2020-11-05	Nadrieril	Fix unreachable sub-branch detection	commit \| commitdiff \| tree
2020-11-05	Nadrieril	Add test	commit \| commitdiff \| tree
2020-11-01	Nadrieril	The need for `Single` to cover `Unlistable` was a hack	commit \| commitdiff \| tree
2020-11-01	Nadrieril	Fix #78549	commit \| commitdiff \| tree
2020-10-28	Nadrieril	Apply suggestions from code review	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Simplify slice splitting a bit	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Deduplicate work between splitting and subtraction	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Be honest about being able to list constructors	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Simplify specialize_constructor	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Unify the paths through `is_useful`	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Recompute `MissingConstructors` when needed	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Pass more things through `PatCtxt`	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Let MissingConstructors handle the subtleties of missing...	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Cache head constructor in PatStack	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Unify the two kinds of specialization by adding a Wildcard...	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Inline `specialize_one_pattern`	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Factor out the two specialization steps	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Clarify specialization into two steps	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Use pat_constructor to simplify specialize_one_pattern	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Split `split_grouped_constructor` into smaller functions	commit \| commitdiff \| tree
2020-10-21	Nadrieril	Explain the `Opaque` special case in specialization	commit \| commitdiff \| tree
2020-10-21	Nadrieril	Add a test for #53708	commit \| commitdiff \| tree
2020-10-19	Nadrieril	Accidentally fixed #78071	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Add comment	commit \| commitdiff \| tree
2020-10-18	Nadrieril	The only remaining constant patterns are opaque	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Treat string literals separately from other constants	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Handle ranges of float consistently	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Fix comment	commit \| commitdiff \| tree
2020-10-18	Oliver Scherer	Treat booleans as integers with valid range 0..=1	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom