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

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

2019-11-21	Nadrieril	Initial implementation of or-pattern usefulness checking	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	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
2019-11-15	Nadrieril	Special-case range inclusion when the range is integral...	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Cleanup `constructor_covered_by_range`	commit \| commitdiff \| tree
2019-11-15	Nadrieril	IntRange::from_pat is redundant with pat_constructors	commit \| commitdiff \| tree
2019-11-15	Nadrieril	`pat_constructor` does not need `pcx` anymore	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Factor out range construction in `all_constructors`	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Clarify conditions for exhaustive integer range matching	commit \| commitdiff \| tree
2019-11-15	Nadrieril	Note link between apply/specialize/arity functions	commit \| commitdiff \| tree
2019-11-12	Nadrieril	Move NonExhaustive checks to the relevant match branches	commit \| commitdiff \| tree
2019-11-12	Nadrieril	Introduce Constructor::NonExhaustive	commit \| commitdiff \| tree
2019-11-12	Nadrieril	Match constructor first in Constructor methods	commit \| commitdiff \| tree
2019-11-10	Nadrieril	tidy	commit \| commitdiff \| tree
2019-11-10	Nadrieril	Inline constructor_sub_pattern_tys	commit \| commitdiff \| tree
2019-11-06	Nadrieril	Split slice-patterns test as suggested by Centril	commit \| commitdiff \| tree
2019-11-06	Nadrieril	Factor out constructing a new wildcard pattern	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Move a few more tests to the usefulness/ folder	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Use VarLenSlice consistently when splitting constructors	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Inline max_slice_length	commit \| commitdiff \| tree
2019-11-05	Nadrieril	pat_constructors returns at most one constructor	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Store both prefix and suffix length in VarLenSlice	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Make exhaustiveness error message more consistent for...	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Don't use max_slice_length when subtracting from VarLenSlice	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Simpler code path for subtracting from FixedLenSlice	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Add special variable-length slice constructor	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Match on self first in subtract_constructor	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Factor out some pattern-stack related functions	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Abstract out pattern stacks to make the code more legible	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom