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

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

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
2020-10-18	Nadrieril	A ConstantValue constructor with a slice pattern is...	commit \| commitdiff \| tree
2020-10-18	Oliver Scherer	Destructure byte slices and remove all the workarounds	commit \| commitdiff \| tree
2020-10-18	Oliver Scherer	Destructure byte array constants to array patterns...	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Add some tests	commit \| commitdiff \| tree
2020-07-04	Nadrieril	Fix #71977	commit \| commitdiff \| tree
2020-07-02	Nadrieril	Use `Span`s to identify unreachable subpatterns in...	commit \| commitdiff \| tree
2020-05-23	Nadrieril	Remove out-of-date comment	commit \| commitdiff \| tree
2020-05-23	Nadrieril	Work around type normalization issues	commit \| commitdiff \| tree
2020-05-23	Nadrieril	Naming	commit \| commitdiff \| tree
2020-05-23	Nadrieril	Improve debugging	commit \| commitdiff \| tree
2020-05-19	Nadrieril	Make caveat more precise	commit \| commitdiff \| tree
2020-05-18	Nadrieril	Don't mention function pointers	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Improve comments	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Cache len in Fields	commit \| commitdiff \| tree
2020-05-17	Nadrieril	typo	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Fix bug just discovered	commit \| commitdiff \| tree
2020-05-17	Nadrieril	We don't use tyerr anymore	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Small allocation improvement	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Filter out fields that should not be seen	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Make all field-handling go through Fields	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Clarify specialize_one_pattern	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Use Fields as output to specialize_one_pattern	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Factor out a struct that holds subfields of a pattern	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Only need TyErr for uninhabited types	commit \| commitdiff \| tree
2020-05-17	Nadrieril	We already handle arrays of unknown length correctly	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Factor the code that generates TyErrs	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Fix incorrect ordering	commit \| commitdiff \| tree
2019-12-11	Nadrieril	Revert a diagnostic change in the case of integer ranges	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Forgot to update some test outputs	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Simplify	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Only special-case empty matches when `exhaustive_patterns...	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Move empty_match check after usefulness check	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Forgot to update some test outputs	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Reuse `adt_defined_here`	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Move empty match check to `check_exhaustive`	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Simplify	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Use the default code path to list missing patterns	commit \| commitdiff \| tree
2019-12-04	Nadrieril	List missing constructors in an almost empty match	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Add tests	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Only warn about missing patterns in the case of an...	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Add tests	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Make empty match lint more consistent under exhaustive_patterns	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Fix erroneous comment	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Tweak error on empty match	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Factor out some `non_exhaustive`-related checks	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Add tests	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Fix explanation of handling of empty enums	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Clarify handling of `exhaustive_patterns` in `all_constructors`	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Remove top-level or-pattern hack	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Move recently changed tests to the correct file	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Correct error on partially unreachable or-pat in `if...	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Lint for redundant branches in or-patterns	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Add some tests	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Simplify lifetimes by allocating patterns on the arena	commit \| commitdiff \| tree
2019-12-02	Nadrieril	`UsefulWithWitness` always carries some witnesses	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Don't build the same matrix twice	commit \| commitdiff \| tree
2019-11-26	Nadrieril	Move tests to ui, split them and add some	commit \| commitdiff \| tree
2019-11-26	Nadrieril	Make the ice a fatal error	commit \| commitdiff \| tree
2019-11-25	Nadrieril	Address reviews	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Add some more tests	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Initial implementation of or-pattern usefulness checking	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Reuse pat_constructor in split_grouped_ctors	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Fold away `AscribeUserType`	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Use appropriate constructor for const slices	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Add some tests	commit \| commitdiff \| tree
2019-11-18	Nadrieril	Tweak diagnostics code	commit \| commitdiff \| tree
2019-11-17	Nadrieril	`ConstantValue` is the only other ctor allowed when...	commit \| commitdiff \| tree
2019-11-17	Nadrieril	Store SliceKinds directly when subtracting	commit \| commitdiff \| tree
2019-11-17	Nadrieril	Small improvement to exhaustiveness diagnostics	commit \| commitdiff \| tree
2019-11-17	Nadrieril	Factor out slice constructor struct and simplify	commit \| commitdiff \| tree
2019-11-17	Nadrieril	Unify the various slice constructors	commit \| commitdiff \| tree
2019-11-16	Nadrieril	Add regression test for issue 53820	commit \| commitdiff \| tree
2019-11-16	Nadrieril	Introduce new FixedLenSlice constructor	commit \| commitdiff \| tree
2019-11-16	Nadrieril	Add some tests	commit \| commitdiff \| tree
2019-11-16	Nadrieril	Tweak VarLenSlice subtraction	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Apply suggestions from code review	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Add regression test	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Apply suggestions from code review	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Factor out IntRange::is_subrange	commit \| commitdiff \| tree
2019-11-15	Nadrieril Feneanar	Apply suggestions from code review	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Add test for failing `try_eval_bits`	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Remove fishy condition	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Malformed range patterns can't happen thanks to E0030	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Remove unnecessary data from ConstantValue/ConstantRange	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Store Const directly in ConstantRange	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Make should_treat_range_exhaustively a method	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Inline now-trivial IntRange::from_ctor	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Factor out getting the boundaries of an `IntRange`	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Eagerly convert ranges to IntRange	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Add `IntRange::to_pat` and use it instead of custom...	commit \| commitdiff \| tree
2019-11-15	Nadrieril	formatting	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Introduce IntRange constructor	commit \| commitdiff \| tree
2019-11-15	Nadrieril	`Constructor::display` was only needed for displaying...	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Avoid converting through Constructor when subtracting...	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Special-case subtracting from a range if that range...	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Prefer IntRange::into_ctor to range_to_ctor	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Move range exhaustiveness check to IntRange::intersection	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom