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

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

2018-08-27	varkor	Revert crate root changes	commit \| commitdiff \| tree
2018-08-27	varkor	Make small modifications	commit \| commitdiff \| tree
2018-08-27	varkor	Rename hir::map::NodeKind to hir::Node	commit \| commitdiff \| tree
2018-08-27	varkor	Convert EntryKind to a struct, Entry	commit \| commitdiff \| tree
2018-08-27	varkor	Remove path prefixes from NodeKind	commit \| commitdiff \| tree
2018-08-27	varkor	Remove Node* prefix from AnnNode	commit \| commitdiff \| tree
2018-08-27	varkor	Rename hir::map::Node to hir::map::NodeKind	commit \| commitdiff \| tree
2018-08-27	varkor	Rename MapEntry to EntryKind	commit \| commitdiff \| tree
2018-08-22	varkor	Lament the invincibility of the Turbofish	commit \| commitdiff \| tree
2018-08-22	varkor	Fix rebase issues	commit \| commitdiff \| tree
2018-08-22	varkor	Replace TyForeign with ForeignTy	commit \| commitdiff \| tree
2018-08-22	varkor	Rename Def::{Param, Foreign} to Def::{TyParam, TyForeign}	commit \| commitdiff \| tree
2018-08-22	varkor	Remove unnecessary TyKind::s	commit \| commitdiff \| tree
2018-08-22	varkor	Remove Ty prefix from Ty{Bool\|Char\|Int\|Uint\|Float\|Str}	commit \| commitdiff \| tree
2018-08-22	varkor	Remove Ty prefix from Ty{Foreign\|Param}	commit \| commitdiff \| tree
2018-08-22	varkor	Remove Ty prefix from Ty{Adt\|Array\|Slice\|RawPtr\|Ref...	commit \| commitdiff \| tree
2018-08-22	varkor	Rename ty::TyVariants to ty::TyKind	commit \| commitdiff \| tree
2018-08-22	varkor	Rename ty::Slice to ty::List	commit \| commitdiff \| tree
2018-08-22	varkor	Lament the invincibility of the Turbofish	commit \| commitdiff \| tree
2018-08-22	varkor	Fix a grammatical mistake in "expected generic arguments...	commit \| commitdiff \| tree
2018-08-21	varkor	Add some extra edge case tests	commit \| commitdiff \| tree
2018-08-21	varkor	Use a boundary method instead of an endpoint method...	commit \| commitdiff \| tree
2018-08-21	varkor	Add a test case for u128::MAX - 1	commit \| commitdiff \| tree
2018-08-21	varkor	Iterate through all crates in stability.rs rather than...	commit \| commitdiff \| tree
2018-08-20	varkor	Add more detail to the split_grouped_constructors comment	commit \| commitdiff \| tree
2018-08-20	varkor	Add assertion to constructor_intersects_pattern	commit \| commitdiff \| tree
2018-08-20	varkor	Remove pattern consideration from split_grouped_constructors	commit \| commitdiff \| tree
2018-08-20	varkor	Improve some comments	commit \| commitdiff \| tree
2018-08-20	varkor	Add a test for skipping all arguments versus just one	commit \| commitdiff \| tree
2018-08-20	varkor	Fix diagnostic regression	commit \| commitdiff \| tree
2018-08-19	varkor	Fix ICE	commit \| commitdiff \| tree
2018-08-19	varkor	Update new ui tests	commit \| commitdiff \| tree
2018-08-19	varkor	Tweak comments	commit \| commitdiff \| tree
2018-08-19	varkor	Taking a peek	commit \| commitdiff \| tree
2018-08-19	varkor	Fix some remaining tests	commit \| commitdiff \| tree
2018-08-19	varkor	Avoid clone and update documentation	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor generic argument count check in check/mod.rs	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor generic argument count check in method/confirm.rs	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor generic argument count check in astconv	commit \| commitdiff \| tree
2018-08-19	varkor	Add Default for GenericParamCount	commit \| commitdiff \| tree
2018-08-19	varkor	Args first, then params	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor lock-step	commit \| commitdiff \| tree
2018-08-19	varkor	Clean match statement	commit \| commitdiff \| tree
2018-08-19	varkor	Consolidate into create_substs_for_generic_args	commit \| commitdiff \| tree
2018-08-19	varkor	Revert broken test	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor astconv.rs (part ii)	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor confirm.rs (part ii)	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor mod/check (part viii)	commit \| commitdiff \| tree
2018-08-19	varkor	Fix behaviour in error condition	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor mod/check (part vii)	commit \| commitdiff \| tree
2018-08-19	varkor	Make prohibit_generics take IntoIterators	commit \| commitdiff \| tree
2018-08-19	varkor	"Fix" annoying test	commit \| commitdiff \| tree
2018-08-19	varkor	Fix confirm.rs	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor astconv.rs	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor confirm.rs	commit \| commitdiff \| tree
2018-08-19	varkor	Move lifetime calculation outside loop	commit \| commitdiff \| tree
2018-08-19	varkor	Supress consecutive errors	commit \| commitdiff \| tree
2018-08-19	varkor	Fix param_idx calculation	commit \| commitdiff \| tree
2018-08-19	varkor	Fix integer overflow	commit \| commitdiff \| tree
2018-08-19	varkor	Fix tidy check	commit \| commitdiff \| tree
2018-08-19	varkor	Replace generics_require_inlining with generics.requires_mon...	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor mod/check (part vi)	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor mod/check (part v)	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor mod/check (part iv)	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor mod/check (part iii)	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor mod/check (part ii)	commit \| commitdiff \| tree
2018-08-19	varkor	Refactor mod/check (part i)	commit \| commitdiff \| tree
2018-08-19	varkor	Fix quadratic loop in confirm.rs	commit \| commitdiff \| tree
2018-08-19	varkor	Replace for_each with for	commit \| commitdiff \| tree
2018-08-19	varkor	Address minor comments	commit \| commitdiff \| tree
2018-08-16	varkor	Fix handling of floating-point ranges	commit \| commitdiff \| tree
2018-08-16	varkor	Handle equivalence classes of length-1 ranges	commit \| commitdiff \| tree
2018-08-16	varkor	Add equivalence class splitting for range constructors	commit \| commitdiff \| tree
2018-08-16	varkor	Add some more compound exhaustiveness tests	commit \| commitdiff \| tree
2018-08-16	varkor	More formatting improvements	commit \| commitdiff \| tree
2018-08-16	varkor	Add a summary of the algorithm to the file	commit \| commitdiff \| tree
2018-08-16	varkor	Some reformatting	commit \| commitdiff \| tree
2018-08-16	varkor	Add a test for integer products	commit \| commitdiff \| tree
2018-08-16	varkor	Move logic from push_wild_constructor to apply_constructor	commit \| commitdiff \| tree
2018-08-16	varkor	Move witnesses inside push_wild_constructor	commit \| commitdiff \| tree
2018-08-16	varkor	Add some comments	commit \| commitdiff \| tree
2018-08-16	varkor	Refactor condition	commit \| commitdiff \| tree
2018-08-16	varkor	Add guarded arms to tests	commit \| commitdiff \| tree
2018-08-16	varkor	No longer return value_constructors for all_constructors	commit \| commitdiff \| tree
2018-08-16	varkor	Refactor for less allocation	commit \| commitdiff \| tree
2018-08-16	varkor	Refactor after miri api changes	commit \| commitdiff \| tree
2018-08-16	varkor	Replace ... with ..= in suggestions	commit \| commitdiff \| tree
2018-08-16	varkor	Introduce signed_bias method	commit \| commitdiff \| tree
2018-08-16	varkor	Inline encode and decode methods	commit \| commitdiff \| tree
2018-08-16	varkor	Fix print_miri_value for signed integers	commit \| commitdiff \| tree
2018-08-16	varkor	Simplify bitwise operations	commit \| commitdiff \| tree
2018-08-16	varkor	Special-case (RangeEnd::Included, Ordering::Equal)...	commit \| commitdiff \| tree
2018-08-16	varkor	Improve the comments	commit \| commitdiff \| tree
2018-08-16	varkor	Fix sign conversion arithmetic errors	commit \| commitdiff \| tree
2018-08-16	varkor	Refactor to remove explicit integer type matching	commit \| commitdiff \| tree
2018-08-16	varkor	Add singleton patterns to test	commit \| commitdiff \| tree
2018-08-16	varkor	Fix integer overflow	commit \| commitdiff \| tree
2018-08-16	varkor	Use bit operators for min_max_ty	commit \| commitdiff \| tree
2018-08-16	varkor	Refactor interval conditions	commit \| commitdiff \| tree
2018-08-16	varkor	Fix range splitting	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom