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

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

2019-05-12	Matthew Jasper	Remove feature(nll) when compare mode is sufficient	commit \| commitdiff \| tree
2019-05-12	Matthew Jasper	Change compare mode to use -Zborrowck=mir	commit \| commitdiff \| tree
2019-05-02	Matthew Jasper	Constrain all regions in the concrete type for an opaque...	commit \| commitdiff \| tree
2019-05-01	Matthew Jasper	Slightly simplify the MIR for slice drop shims	commit \| commitdiff \| tree
2019-05-01	Matthew Jasper	Add test for slice drop shims	commit \| commitdiff \| tree
2019-04-26	Matthew Jasper	Search for incompatible universes in borrow errors	commit \| commitdiff \| tree
2019-04-26	Matthew Jasper	Remove unused MIR visitor methods	commit \| commitdiff \| tree
2019-04-26	Matthew Jasper	Remove region from borrow place contexts	commit \| commitdiff \| tree
2019-04-26	Matthew Jasper	Use visit_terminator_kind when possible	commit \| commitdiff \| tree
2019-04-26	Matthew Jasper	Remove BasicBlock parameter from mir visitor methods	commit \| commitdiff \| tree
2019-04-24	Matthew Jasper	Evaluate hair::ExprKind::Use in into	commit \| commitdiff \| tree
2019-04-24	Matthew Jasper	Allow subtyping of the final expression of a constant	commit \| commitdiff \| tree
2019-04-24	Matthew Jasper	Remove incorrect debug assertion in interpret	commit \| commitdiff \| tree
2019-04-22	Matthew Jasper	update tests for migrate mode by default	commit \| commitdiff \| tree
2019-04-21	Matthew Jasper	Enable migrate mode by default on the 2015 edition	commit \| commitdiff \| tree
2019-04-06	Matthew Jasper	Update miri	commit \| commitdiff \| tree
2019-04-04	Matthew Jasper	Mark variables captured by reference as mutable correctly	commit \| commitdiff \| tree
2019-04-04	Matthew Jasper	Use more accurate lint root for mutable_borrow_reservation_c...	commit \| commitdiff \| tree
2019-04-04	Matthew Jasper	Adjust the mutable_borrow_reservation_conflict message	commit \| commitdiff \| tree
2019-04-04	Matthew Jasper	Update tests for restrictive two-phase borrows	commit \| commitdiff \| tree
2019-04-04	Matthew Jasper	Treat two-phase borrow reservations as mutable accesses	commit \| commitdiff \| tree
2019-04-04	Matthew Jasper	Fix cases of conflicting two-phase borrows	commit \| commitdiff \| tree
2019-04-01	Matthew Jasper	Use normal newtype_index macro for MIR dataflow	commit \| commitdiff \| tree
2019-03-31	Matthew Jasper	Fixes for shallow borrows	commit \| commitdiff \| tree
2019-03-17	Matthew Jasper	Use a valid name for graphviz graphs	commit \| commitdiff \| tree
2019-03-10	Matthew Jasper	Make migrate mode work at item level granularity	commit \| commitdiff \| tree
2019-03-03	Matthew Jasper	Use the correct state for poisoning a generator	commit \| commitdiff \| tree
2019-03-03	Matthew Jasper	Don't incorrectly mark blocks in generator drop shims...	commit \| commitdiff \| tree
2019-03-03	Matthew Jasper	Check which blocks are cleanup in mir-opt tests	commit \| commitdiff \| tree
2019-03-01	Matthew Jasper	Handle type annotations in promoted MIR correctly	commit \| commitdiff \| tree
2019-03-01	Matthew Jasper	Remove unnecessary parameter	commit \| commitdiff \| tree
2019-03-01	Matthew Jasper	Include bounds from promoted constants in NLL	commit \| commitdiff \| tree
2019-02-24	Matthew Jasper	update miri	commit \| commitdiff \| tree
2019-02-24	Matthew Jasper	Type check pointer comparisons	commit \| commitdiff \| tree
2019-02-23	Matthew Jasper	Type check coercions to pointer types	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Move the exit block of the match to the end	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Fix error index example	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Fix codegen test	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Simplify the cleanup_post_borrowck passes	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Add address stability test for matches	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Activate two phase borrows on all uses	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Use normal mutable borrows in MIR match lowering	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Match discriminant -> scrutinee	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Clean up MIR match lowering	commit \| commitdiff \| tree
2019-02-21	Matthew Jasper	Improve error message and add tests for borrowck match...	commit \| commitdiff \| tree
2019-02-13	Matthew Jasper	Check the self-type of inherent associated constants	commit \| commitdiff \| tree
2019-02-13	Matthew Jasper	Propagate region constraints more precisely from closures	commit \| commitdiff \| tree
2019-02-13	Matthew Jasper	Buffer and migrate nice region errors	commit \| commitdiff \| tree
2019-02-13	Matthew Jasper	Avoid propagating redundant outlives constraints from...	commit \| commitdiff \| tree
2019-02-10	Matthew Jasper	Add test for MIR printing changes	commit \| commitdiff \| tree
2019-02-10	Matthew Jasper	Fix ICE and invalid filenames in MIR printing code	commit \| commitdiff \| tree
2019-02-09	Matthew Jasper	Use ? in librustc macros	commit \| commitdiff \| tree
2019-01-30	Matthew Jasper	Pass correct arguments to places_conflict	commit \| commitdiff \| tree
2019-01-19	Matthew Jasper	Don't ignore `_` in type casts and ascriptions	commit \| commitdiff \| tree
2019-01-19	Matthew Jasper	Type check unnanotated constant items with NLL	commit \| commitdiff \| tree
2019-01-19	Matthew Jasper	Handle lifetime annotations in unreachable code	commit \| commitdiff \| tree
2019-01-19	Matthew Jasper	Use a struct for user type annotations	commit \| commitdiff \| tree
2019-01-19	Matthew Jasper	Rename CanonicalUserTypeAnnotation -> CanonicalUserType	commit \| commitdiff \| tree
2019-01-19	Matthew Jasper	Rename UserTypeAnnotation -> UserType	commit \| commitdiff \| tree
2019-01-05	Matthew Jasper	Remove `Region` from HAIR	commit \| commitdiff \| tree
2019-01-03	Matthew Jasper	Forbid impl Trait from referring to unnamable recursive...	commit \| commitdiff \| tree
2019-01-03	Matthew Jasper	Display `impl Sized` correctly	commit \| commitdiff \| tree
2019-01-02	Matthew Jasper	Add missing 'static bound for the Machine trait	commit \| commitdiff \| tree
2019-01-02	Matthew Jasper	Wf-check the output type of a function in MIR-typeck	commit \| commitdiff \| tree
2018-12-30	Matthew Jasper	Remove unused nll debug flags	commit \| commitdiff \| tree
2018-12-29	Matthew Jasper	Remove unused types from rustc::mir::interpret	commit \| commitdiff \| tree
2018-12-28	Matthew Jasper	Remove unnecessary borrow generation	commit \| commitdiff \| tree
2018-12-13	Matthew Jasper	Make determining the discriminant a normal Shallow...	commit \| commitdiff \| tree
2018-12-04	Matthew Jasper	Call methods on the right tcx	commit \| commitdiff \| tree
2018-12-03	Matthew Jasper	Propagate all closure requirements to the caller	commit \| commitdiff \| tree
2018-11-30	Matthew Jasper	Use visit_local to find 2PB activations	commit \| commitdiff \| tree
2018-11-30	Matthew Jasper	Remove the `region_map` field from `BorrowSet`	commit \| commitdiff \| tree
2018-11-30	Matthew Jasper	Fix some rustc doc links	commit \| commitdiff \| tree
2018-11-30	Matthew Jasper	Drop function parameters in expected order	commit \| commitdiff \| tree
2018-11-18	Matthew Jasper	Simplify MIR drop generation	commit \| commitdiff \| tree
2018-11-18	Matthew Jasper	Only handle ReVar regions in NLL borrowck	commit \| commitdiff \| tree
2018-11-18	Matthew Jasper	Remove mir::StatementKind::EndRegion	commit \| commitdiff \| tree
2018-10-29	Matthew Jasper	Don't emit cannot move errors twice in migrate mode	commit \| commitdiff \| tree
2018-10-21	Matthew Jasper	Use new region infer errors for explaining borrows	commit \| commitdiff \| tree
2018-10-20	Matthew Jasper	Give an error number for "borrowed data escapes outside...	commit \| commitdiff \| tree
2018-10-20	Matthew Jasper	Use more accurate `ConstraintCategory`s	commit \| commitdiff \| tree
2018-10-20	Matthew Jasper	Prefer type annotations and returns in free region...	commit \| commitdiff \| tree
2018-10-18	Matthew Jasper	Propagate bounds from generators	commit \| commitdiff \| tree
2018-10-10	Matthew Jasper	Check user types are well-formed in MIR borrow check	commit \| commitdiff \| tree
2018-10-10	Matthew Jasper	Use the span of the user type for `AscribeUserType`	commit \| commitdiff \| tree
2018-10-06	Matthew Jasper	Improve closure region bound errors	commit \| commitdiff \| tree
2018-10-06	Matthew Jasper	Move ConstraintCategory to rustc::mir	commit \| commitdiff \| tree
2018-10-03	Matthew Jasper	Clearer later use messages for calls	commit \| commitdiff \| tree
2018-10-03	Matthew Jasper	Record whether a Call in MIR corresponds to a call...	commit \| commitdiff \| tree
2018-09-27	Matthew Jasper	Enable NLL compare mode for more tests	commit \| commitdiff \| tree
2018-09-26	Matthew Jasper	Get Polonius borrow check to work in simple cases	commit \| commitdiff \| tree
2018-09-25	Matthew Jasper	Handle impl trait in MIR type checked for assignments.	commit \| commitdiff \| tree
2018-09-24	Matthew Jasper	Rename places_conflict to borrow_conflicts_with_place	commit \| commitdiff \| tree
2018-09-24	Matthew Jasper	Update mir opt tests	commit \| commitdiff \| tree
2018-09-24	Matthew Jasper	Add a MIR transform to remove fake reads	commit \| commitdiff \| tree
2018-09-24	Matthew Jasper	Update ui tests	commit \| commitdiff \| tree
2018-09-24	Matthew Jasper	Add tests for new match borrows	commit \| commitdiff \| tree
2018-09-24	Matthew Jasper	Don't check for conflicting borrows of `ReadForMatch`es	commit \| commitdiff \| tree
2018-09-24	Matthew Jasper	Add more fake borrows to matches	commit \| commitdiff \| tree
2018-09-24	Matthew Jasper	Better messages for errors from Shallow borrows	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom