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

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

2022-08-10	b-naber	add test	commit \| commitdiff \| tree
2022-08-09	b-naber	fix	commit \| commitdiff \| tree
2022-08-03	b-naber	fix typo	commit \| commitdiff \| tree
2022-06-24	b-naber	fmt	commit \| commitdiff \| tree
2022-06-24	b-naber	address review	commit \| commitdiff \| tree
2022-06-24	b-naber	small refactor	commit \| commitdiff \| tree
2022-06-24	b-naber	use correct substs in enum discriminant hack	commit \| commitdiff \| tree
2022-06-24	b-naber	add test	commit \| commitdiff \| tree
2022-06-14	b-naber	rebase	commit \| commitdiff \| tree
2022-06-14	b-naber	account for endianness in debuginfo for const args	commit \| commitdiff \| tree
2022-06-14	b-naber	rebase	commit \| commitdiff \| tree
2022-06-14	b-naber	correctly create Scalar for meta info	commit \| commitdiff \| tree
2022-06-14	b-naber	fix wrong evaluation in clippy	commit \| commitdiff \| tree
2022-06-14	b-naber	fix wrong evaluation in clippy	commit \| commitdiff \| tree
2022-06-14	b-naber	address review	commit \| commitdiff \| tree
2022-06-14	b-naber	address review	commit \| commitdiff \| tree
2022-06-14	b-naber	bless 32-bit ui tests	commit \| commitdiff \| tree
2022-06-14	b-naber	manually bless 32-bit mir-opt tests	commit \| commitdiff \| tree
2022-06-14	b-naber	address review	commit \| commitdiff \| tree
2022-06-14	b-naber	fix clippy test failures	commit \| commitdiff \| tree
2022-06-14	b-naber	fix clippy test failures	commit \| commitdiff \| tree
2022-06-14	b-naber	implement valtrees as the type-system representation...	commit \| commitdiff \| tree
2022-06-14	b-naber	implement valtrees as the type-system representation...	commit \| commitdiff \| tree
2022-06-14	b-naber	implement valtrees as the type-system representation...	commit \| commitdiff \| tree
2022-05-26	b-naber	rebase, use Ty in CallArgument and re-insert static_assert_s...	commit \| commitdiff \| tree
2022-05-25	b-naber	bless existing test with compare-mode=nll and remove...	commit \| commitdiff \| tree
2022-05-25	b-naber	update tests	commit \| commitdiff \| tree
2022-05-25	b-naber	suggest constraining dyn trait in impl in NLL	commit \| commitdiff \| tree
2022-05-25	b-naber	make TraitObject visitors public	commit \| commitdiff \| tree
2022-05-25	b-naber	add def_id and substs to ConstraintCategory::CallArgument	commit \| commitdiff \| tree
2022-05-24	b-naber	add and update tests	commit \| commitdiff \| tree
2022-05-24	b-naber	give correct error message on structural match violation	commit \| commitdiff \| tree
2022-05-16	b-naber	use GlobalId in eval_to_valtree query and introduce...	commit \| commitdiff \| tree
2022-04-27	b-naber	combine all unsized types and add another recursive...	commit \| commitdiff \| tree
2022-04-26	b-naber	account for custom DSTs in valtree -> constvalue conversion	commit \| commitdiff \| tree
2022-04-26	b-naber	add hacky closure to struct_tail_with_normalize in...	commit \| commitdiff \| tree
2022-04-24	b-naber	include valtree creation and valtree -> constvalue...	commit \| commitdiff \| tree
2022-04-21	b-naber	deduplicate a lot of code	commit \| commitdiff \| tree
2022-04-21	b-naber	implement (as of now still unused) query for valtree...	commit \| commitdiff \| tree
2022-04-21	b-naber	implement valtree -> constvalue conversion	commit \| commitdiff \| tree
2022-04-21	b-naber	add helper methods on ValTree	commit \| commitdiff \| tree
2022-04-21	b-naber	add some helper methods to ScalarInt	commit \| commitdiff \| tree
2022-04-14	b-naber	handle arrays and slices uniformly in valtree creation	commit \| commitdiff \| tree
2022-04-12	b-naber	use len on mplace instead of reading immediate, remove...	commit \| commitdiff \| tree
2022-04-08	b-naber	use deref on ImmTy	commit \| commitdiff \| tree
2022-04-08	b-naber	create leafs for slices	commit \| commitdiff \| tree
2022-04-08	b-naber	dont make lit_to_mir_constant a query	commit \| commitdiff \| tree
2022-04-06	b-naber	get rid of visit_constant in thir visitor	commit \| commitdiff \| tree
2022-04-06	b-naber	get rid of visit_constant in thir visitor	commit \| commitdiff \| tree
2022-04-02	b-naber	rebase and remove dead code	commit \| commitdiff \| tree
2022-04-02	b-naber	try to evaluate in from_opt_const_arg_anon_const	commit \| commitdiff \| tree
2022-04-02	b-naber	update tests	commit \| commitdiff \| tree
2022-04-02	b-naber	rebase and use ty::Const in patterns again	commit \| commitdiff \| tree
2022-04-02	b-naber	rebase and use ty::Const in patterns again	commit \| commitdiff \| tree
2022-04-02	b-naber	do use ty::Const in patterns and abstract consts	commit \| commitdiff \| tree
2022-04-02	b-naber	change thir to use mir::ConstantKind instead of ty...	commit \| commitdiff \| tree
2022-04-02	b-naber	bless tests	commit \| commitdiff \| tree
2022-03-29	b-naber	include refs in valtree creation	commit \| commitdiff \| tree
2022-03-29	b-naber	Add type for slices in ValTrees	commit \| commitdiff \| tree
2022-03-23	b-naber	dont use a query for lit_to_constant	commit \| commitdiff \| tree
2022-03-23	b-naber	add test for treating ExprKind::ConstParam as temp	commit \| commitdiff \| tree
2022-03-23	b-naber	use NonHirLiteral instead of ScalarLiteral, move pattern...	commit \| commitdiff \| tree
2022-03-23	b-naber	move ExprKind::Repeat arm to expr_is_poly	commit \| commitdiff \| tree
2022-03-23	b-naber	use ParamConst in ExprKind::ConstParam	commit \| commitdiff \| tree
2022-03-23	b-naber	remove thir::Visitor::visit_const	commit \| commitdiff \| tree
2022-03-23	b-naber	change thir to lazily create constants	commit \| commitdiff \| tree
2022-03-22	b-naber	erase region in ParamEnvAnd and make ConstUnifyCtxt...	commit \| commitdiff \| tree
2022-03-22	b-naber	dont canonicalize in try_unify_abstract_consts and...	commit \| commitdiff \| tree
2022-03-22	b-naber	fix previous failures and address review	commit \| commitdiff \| tree
2022-03-21	b-naber	add/update tests	commit \| commitdiff \| tree
2022-03-21	b-naber	dont try to unify unevaluated constants that contain...	commit \| commitdiff \| tree
2022-03-21	b-naber	stall on on constants that contain infer vars in const_eval_...	commit \| commitdiff \| tree
2022-03-21	b-naber	try to evaluate in try_unify	commit \| commitdiff \| tree
2022-03-09	b-naber	keep ERROR in message	commit \| commitdiff \| tree
2022-03-09	b-naber	manually bless 32-bit stderr	commit \| commitdiff \| tree
2022-03-09	b-naber	normalization change and rebase	commit \| commitdiff \| tree
2022-03-09	b-naber	bless tests	commit \| commitdiff \| tree
2022-03-09	b-naber	treat all mir::Constant values as ConstantKind::Val	commit \| commitdiff \| tree
2022-03-08	b-naber	mention ignored fields of ExprKind::StaticRef	commit \| commitdiff \| tree
2022-03-08	b-naber	treat literals in ExprKind::StaticRef as mir::ConstantKind...	commit \| commitdiff \| tree
2022-02-15	b-naber	try to bless 32bit mir tests manually	commit \| commitdiff \| tree
2022-02-15	b-naber	use AllocId and Ty in ExprKind::StaticRef and delay...	commit \| commitdiff \| tree
2022-02-15	b-naber	bless mir-opt tests	commit \| commitdiff \| tree
2022-02-15	b-naber	use mir::Visitor when collecting alloc_ids in pretty...	commit \| commitdiff \| tree
2022-02-15	b-naber	bless tests	commit \| commitdiff \| tree
2022-02-15	b-naber	treat mir::ConstantKind::Val correctly in check_static_ptr	commit \| commitdiff \| tree
2022-02-15	b-naber	use ConstantKind::Val in StaticRef	commit \| commitdiff \| tree
2022-01-17	b-naber	add and update tests	commit \| commitdiff \| tree
2022-01-17	b-naber	directly use ConstValue for single literals in blocks	commit \| commitdiff \| tree
2021-12-13	b-naber	use try_normalize_erasing_regions in RevealAllVisitor	commit \| commitdiff \| tree
2021-12-13	b-naber	get rid of normalize_generic_arg... queries	commit \| commitdiff \| tree
2021-12-13	b-naber	normalize_generic_arg_after in terms of try version	commit \| commitdiff \| tree
2021-12-08	b-naber	add tests	commit \| commitdiff \| tree
2021-12-05	b-naber	add test and bless existing ones	commit \| commitdiff \| tree
2021-12-05	b-naber	allow for failure of subst_normalize_erasing_regions...	commit \| commitdiff \| tree
2021-12-05	b-naber	bless tests	commit \| commitdiff \| tree
2021-12-05	b-naber	skip reborrows during AbstractConst building	commit \| commitdiff \| tree
2021-12-05	b-naber	add test	commit \| commitdiff \| tree
2021-12-02	b-naber	use try_normalize_erasing_regions in needs_drop	commit \| commitdiff \| tree
2021-12-01	b-naber	rebase	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom