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

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

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