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

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

2022-06-29	kadmin	Erase regions in new abstract consts	commit \| commitdiff \| tree
2022-05-24	kadmin	Coalesce branches	commit \| commitdiff \| tree
2022-05-17	kadmin	Add tests for lint on type dependent on consts	commit \| commitdiff \| tree
2022-04-17	kadmin	Add slice::remainder	commit \| commitdiff \| tree
2022-02-10	kadmin	Fix ICE if no trait assoc const eq	commit \| commitdiff \| tree
2022-02-07	kadmin	Rm ValuePairs::Ty/Const	commit \| commitdiff \| tree
2022-02-07	kadmin	Add in ValuePair::Term	commit \| commitdiff \| tree
2022-02-03	kadmin	Fix ret > 1 bound if shadowed by const	commit \| commitdiff \| tree
2022-02-01	kadmin	Fix w/ comments	commit \| commitdiff \| tree
2022-01-31	kadmin	Add ValuePairs::Terms & Fix compile error	commit \| commitdiff \| tree
2022-01-28	kadmin	Remove generalization over projection	commit \| commitdiff \| tree
2022-01-27	kadmin	Continue work on assoc const eq	commit \| commitdiff \| tree
2022-01-17	kadmin	Update with final comments	commit \| commitdiff \| tree
2022-01-17	kadmin	Add term to ExistentialProjection	commit \| commitdiff \| tree
2022-01-17	kadmin	Add term to ExistentialProjection	commit \| commitdiff \| tree
2022-01-17	kadmin	Update w/ comments	commit \| commitdiff \| tree
2022-01-17	kadmin	Update w/ comments	commit \| commitdiff \| tree
2022-01-17	kadmin	Update term for use in more places	commit \| commitdiff \| tree
2022-01-17	kadmin	Update term for use in more places	commit \| commitdiff \| tree
2022-01-17	kadmin	Use Term in ProjectionPredicate	commit \| commitdiff \| tree
2022-01-17	kadmin	Use Term in ProjectionPredicate	commit \| commitdiff \| tree
2022-01-17	kadmin	Add term	commit \| commitdiff \| tree
2022-01-17	kadmin	Add term	commit \| commitdiff \| tree
2022-01-17	kadmin	Add term	commit \| commitdiff \| tree
2022-01-17	kadmin	add eq constraints on associated constants	commit \| commitdiff \| tree
2022-01-17	kadmin	add eq constraints on associated constants	commit \| commitdiff \| tree
2022-01-17	kadmin	add eq constraints on associated constants	commit \| commitdiff \| tree
2021-10-04	kadmin	Move generic error message to separate branches	commit \| commitdiff \| tree
2021-07-26	kadmin	Actually infer args in visitors	commit \| commitdiff \| tree
2021-07-26	kadmin	Actually infer args in visitors	commit \| commitdiff \| tree
2021-07-25	kadmin	Add inferred args to typeck	commit \| commitdiff \| tree
2021-07-25	kadmin	Add inferred args to typeck	commit \| commitdiff \| tree
2021-07-25	kadmin	Add generic arg infer	commit \| commitdiff \| tree
2021-07-25	kadmin	Add generic arg infer	commit \| commitdiff \| tree
2021-05-01	kadmin	Add help message for unused type param	commit \| commitdiff \| tree
2021-03-23	kadmin	Update to not have extra match	commit \| commitdiff \| tree
2021-03-23	kadmin	Add has_default to GenericParamDefKind::Const	commit \| commitdiff \| tree
2021-03-23	kadmin	Update with comments	commit \| commitdiff \| tree
2021-03-23	kadmin	Update with comments	commit \| commitdiff \| tree
2021-03-23	kadmin	Add query for const_param_default	commit \| commitdiff \| tree
2021-03-23	kadmin	Update tests	commit \| commitdiff \| tree
2021-03-23	kadmin	Add has_default to GenericParamDefKind::Const	commit \| commitdiff \| tree
2021-03-09	kadmin	Clean up todos	commit \| commitdiff \| tree
2021-03-09	kadmin	Clean up todos	commit \| commitdiff \| tree
2021-03-09	kadmin	Switch to changing cp_non_overlap in tform	commit \| commitdiff \| tree
2021-03-09	kadmin	Build StKind::CopyOverlapping	commit \| commitdiff \| tree
2021-03-09	kadmin	Switch to changing cp_non_overlap in tform	commit \| commitdiff \| tree
2021-03-09	kadmin	Update cranelift	commit \| commitdiff \| tree
2021-03-09	kadmin	Update cranelift	commit \| commitdiff \| tree
2021-03-09	kadmin	Build StKind::CopyOverlapping	commit \| commitdiff \| tree
2021-03-09	kadmin	Change CopyNonOverlapping::codegen_ssa	commit \| commitdiff \| tree
2021-03-09	kadmin	Replace todos with impls	commit \| commitdiff \| tree
2021-03-09	kadmin	Update cranelift	commit \| commitdiff \| tree
2021-03-09	kadmin	Update match branches	commit \| commitdiff \| tree
2021-03-09	kadmin	Update interpret step	commit \| commitdiff \| tree
2021-03-09	kadmin	Update match branches	commit \| commitdiff \| tree
2021-03-09	kadmin	Update fmt and use of memcpy	commit \| commitdiff \| tree
2021-03-09	kadmin	Impl StatementKind::CopyNonOverlapping	commit \| commitdiff \| tree
2021-02-23	kadmin	Small optimizations to obligation forest	commit \| commitdiff \| tree
2021-02-16	kadmin	Remove ordering hint	commit \| commitdiff \| tree
2021-02-16	kadmin	Update w/ comments	commit \| commitdiff \| tree
2021-02-13	kadmin	Add additional type info to mismatch err	commit \| commitdiff \| tree
2021-02-02	kadmin	Add additional benchmarks to bit_set	commit \| commitdiff \| tree
2021-02-02	kadmin	Add better diagnostic for missing where clause	commit \| commitdiff \| tree
2021-01-31	kadmin	Add error message for private fn	commit \| commitdiff \| tree
2021-01-30	kadmin	Remove const_in_array_rep_expr	commit \| commitdiff \| tree
2021-01-27	kadmin	Check that value is explicitly none	commit \| commitdiff \| tree
2021-01-08	kadmin	Add more benchmarks	commit \| commitdiff \| tree
2021-01-08	kadmin	Clean up branching in skip	commit \| commitdiff \| tree
2021-01-04	kadmin	Add check for array/usize mismatch in astconv	commit \| commitdiff \| tree
2020-12-29	kadmin	Add regr. test for mutual recursion	commit \| commitdiff \| tree
2020-11-22	kadmin	Change slice::to_vec to not use extend_from_slice	commit \| commitdiff \| tree
2020-11-10	kadmin	Add macro test for min-const-generics	commit \| commitdiff \| tree
2020-11-01	kadmin	Add delay_span_bug to no longer ICE	commit \| commitdiff \| tree
2020-10-30	kadmin	Add regression test	commit \| commitdiff \| tree
2020-10-27	kadmin	Add UI test for invalid values for bool & char	commit \| commitdiff \| tree
2020-10-27	kadmin	Add const_fn in generics test	commit \| commitdiff \| tree
2020-09-28	kadmin	Use more efficient scheme for display u128/i128	commit \| commitdiff \| tree
2020-09-16	kadmin	Add array window fn	commit \| commitdiff \| tree
2020-09-07	kadmin	Add regression test and help note	commit \| commitdiff \| tree
2020-09-04	kadmin	Add test for checking if-let or-patterns	commit \| commitdiff \| tree
2020-09-03	kadmin	Add further tests and liberalize type checking	commit \| commitdiff \| tree
2020-09-03	kadmin	Update to use multipart suggestion	commit \| commitdiff \| tree
2020-09-03	kadmin	Initial commit	commit \| commitdiff \| tree
2020-08-30	kadmin	Remove error message in specific case	commit \| commitdiff \| tree
2020-08-27	kadmin	Fix ICE due to carriage return w/ multibyte char	commit \| commitdiff \| tree
2020-08-14	kadmin	Rm allocation in uninhabited_enum_branching	commit \| commitdiff \| tree
2020-08-14	kadmin	Add fix	commit \| commitdiff \| tree
2020-08-13	kadmin	Add regression test for matching on u8	commit \| commitdiff \| tree
2020-08-13	kadmin	Clean up some mir transform passes	commit \| commitdiff \| tree
2020-08-13	kadmin	Add 64bit / 32bit files	commit \| commitdiff \| tree
2020-08-13	kadmin	bless diff	commit \| commitdiff \| tree
2020-08-13	kadmin	Update to pick Eq or Ne	commit \| commitdiff \| tree
2020-08-13	kadmin	Update w/ comments from oli	commit \| commitdiff \| tree
2020-08-13	kadmin	Update to actually use transform	commit \| commitdiff \| tree
2020-08-13	kadmin	First iteration of simplify match branches	commit \| commitdiff \| tree
2020-08-13	kadmin	Add drop check test & MaybeUninit::first_ptr_mut	commit \| commitdiff \| tree
2020-08-13	kadmin	Rm hiding feature gate & add 1 more example	commit \| commitdiff \| tree
2020-08-13	kadmin	Add tracking issue #75243	commit \| commitdiff \| tree
2020-08-13	kadmin	Add recommend changes to array	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom