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

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

2022-09-30	b-naber	don't repeat lifetime names from outer binder in print	commit \| commitdiff \| tree
2022-09-28	b-naber	add test	commit \| commitdiff \| tree
2022-09-28	b-naber	account for use of index-based lifetime names in print...	commit \| commitdiff \| tree
2022-09-26	b-naber	address review	commit \| commitdiff \| tree
2022-09-26	b-naber	bless tests	commit \| commitdiff \| tree
2022-09-26	b-naber	don't duplicate late-bound region names in print of...	commit \| commitdiff \| tree
2022-09-23	b-naber	rename Unevaluated to UnevaluatedConst	commit \| commitdiff \| tree
2022-09-23	b-naber	fix test	commit \| commitdiff \| tree
2022-09-22	b-naber	don't convert valtree to constvalue during normalization	commit \| commitdiff \| tree
2022-09-22	b-naber	use valtrees for comparison	commit \| commitdiff \| tree
2022-09-22	b-naber	address review	commit \| commitdiff \| tree
2022-09-22	b-naber	bless tests	commit \| commitdiff \| tree
2022-09-22	b-naber	introduce mir::Unevaluated	commit \| commitdiff \| tree
2022-09-15	b-naber	nits	commit \| commitdiff \| tree
2022-09-14	b-naber	address review again	commit \| commitdiff \| tree
2022-09-13	b-naber	rebase	commit \| commitdiff \| tree
2022-09-13	b-naber	rebase	commit \| commitdiff \| tree
2022-09-13	b-naber	bless tests	commit \| commitdiff \| tree
2022-09-13	b-naber	address review	commit \| commitdiff \| tree
2022-09-13	b-naber	remove visit_const from mir visitors	commit \| commitdiff \| tree
2022-09-13	b-naber	cranelift changes	commit \| commitdiff \| tree
2022-09-13	b-naber	fixes/working version	commit \| commitdiff \| tree
2022-09-13	b-naber	renumber regions in mir constants correctly	commit \| commitdiff \| tree
2022-09-13	b-naber	use ty::Unevaluated<'tcx, ()> in type system	commit \| commitdiff \| tree
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom