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

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

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
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-06	Nadrieril Feneanar	Apply suggestions from code review	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	Add some test cases	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-05	Nadrieril	Rename Constructor::Slice to FixedLenSlice	commit \| commitdiff \| tree
2019-11-05	Nadrieril	Add some slice-pattern exhaustiveness tests	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Clarifications suggested by varkor	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Factor out witness reconstruction	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Factor out constructor subtraction	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Define a MissingConstructors struct for cleanliness	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Wording	commit \| commitdiff \| tree
2019-11-01	Nadrieril	`specialize` conceptually operates on a single pattern	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Clarify some variable names	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Refactor "wild constructor" construction	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Extract constructor application as a Constructor method	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Remove duplicate logic in compute_missing_constructors	commit \| commitdiff \| tree
2019-11-01	Nadrieril	Remove some redundancy	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
2019-10-27	Nadrieril	Gather together usefulness tests	commit \| commitdiff \| tree
2019-10-27	Nadrieril	Clarify and fix the explanation of the algorithm	commit \| commitdiff \| tree
2019-10-27	Nadrieril	Remove mention of old slice pattern syntax	commit \| commitdiff \| tree
2019-10-27	Nadrieril	tidy	commit \| commitdiff \| tree
2019-10-27	Nadrieril	Run `rustfmt`	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom