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

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

2019-04-17	Santiago Pastorino	Place::iterate do not take an accumulator anymore,...	commit \| commitdiff \| tree
2019-04-17	Santiago Pastorino	Place::unroll -> Place::iterate	commit \| commitdiff \| tree
2019-04-17	Santiago Pastorino	Move unroll_place to Place::unroll	commit \| commitdiff \| tree
2019-03-02	Santiago Pastorino	Update miri	commit \| commitdiff \| tree
2019-03-01	Santiago Pastorino	Put Local, Static and Promoted as one Base variant...	commit \| commitdiff \| tree
2019-02-20	Santiago Pastorino	Run rustfmt	commit \| commitdiff \| tree
2019-02-20	Santiago Pastorino	Fix erroneous loop diagnostic in nll	commit \| commitdiff \| tree
2019-02-20	Santiago Pastorino	Use successor_within_block helper	commit \| commitdiff \| tree
2018-11-10	Santiago Pastorino	Avoid converting bytes to UTF-8 strings to print, just...	commit \| commitdiff \| tree
2018-09-19	Santiago Pastorino	Add regression test for thread local static mut borrows	commit \| commitdiff \| tree
2018-09-17	Santiago Pastorino	Inspect parents paths when checking for moves	commit \| commitdiff \| tree
2018-08-30	Santiago Pastorino	Run rustfmt	commit \| commitdiff \| tree
2018-08-30	Santiago Pastorino	Make move out computation lazy	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	Buffer errors in MIR borrow check	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	Remove redundant outlives declarations	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	Remove wrong allow(dead_code) directive	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	Remove unneded lifetimes relations declaration	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	Let mir reference lifetime be inferred	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	Let lifetimes on find be inferred	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	Remove unused lifetime annotation	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	gcx outlives tcx which outlives a, no need to explicitly...	commit \| commitdiff \| tree
2018-07-23	Santiago Pastorino	Remove duplicated report word in docs	commit \| commitdiff \| tree
2018-07-05	Santiago Pastorino	Do not run AST borrowck when -Zborrowck=mir	commit \| commitdiff \| tree
2018-07-05	Santiago Pastorino	Remove rustc_mir_borrowck attribute and use rustc_mir...	commit \| commitdiff \| tree
2018-07-01	Santiago Pastorino	Run rustfmt	commit \| commitdiff \| tree
2018-07-01	Santiago Pastorino	Make causal tracking lazy	commit \| commitdiff \| tree
2018-07-01	Santiago Pastorino	Move find_use stuff to it's own file	commit \| commitdiff \| tree
2018-07-01	Santiago Pastorino	let add_element return by itself	commit \| commitdiff \| tree
2018-06-22	Santiago Pastorino	Run rustfmt	commit \| commitdiff \| tree
2018-06-22	Santiago Pastorino	Fix erroneous error note when using field after move	commit \| commitdiff \| tree
2018-06-20	Santiago Pastorino	Fix variable name in E0502 double borrow error	commit \| commitdiff \| tree
2018-06-20	Santiago Pastorino	Run rustfmt	commit \| commitdiff \| tree
2018-06-20	Santiago Pastorino	Suggest that values are dropped in the opposite order...	commit \| commitdiff \| tree
2018-05-30	Santiago Pastorino	Run rustfmt	commit \| commitdiff \| tree
2018-05-30	Santiago Pastorino	Add compare-mode to x.py	commit \| commitdiff \| tree
2018-05-30	Santiago Pastorino	Add polonius compare mode	commit \| commitdiff \| tree
2018-05-29	Santiago Pastorino	Whitelist datafrog on tidy	commit \| commitdiff \| tree
2018-05-29	Santiago Pastorino	Run rustfmt	commit \| commitdiff \| tree
2018-05-29	Santiago Pastorino	Use polonius_output	commit \| commitdiff \| tree
2018-05-24	Santiago Pastorino	Use AllFacts from polonius-engine	commit \| commitdiff \| tree
2018-04-19	Santiago Pastorino	Fix Iter exhaustion in prove_predicates when debug...	commit \| commitdiff \| tree
2018-04-11	Santiago Pastorino	Fix unsoundness bug in functions input references	commit \| commitdiff \| tree
2018-04-11	Santiago Pastorino	Make prove_predicates take an Iterator	commit \| commitdiff \| tree
2018-04-11	Santiago Pastorino	Run rustfmt over type_check/mod.rs	commit \| commitdiff \| tree
2018-04-09	Santiago Pastorino	rustfmt explain_borrow/mod	commit \| commitdiff \| tree
2018-04-09	Santiago Pastorino	Fix ICE when a borrow is used after drop	commit \| commitdiff \| tree
2018-03-06	Santiago Pastorino	Run rustfmt over modified files	commit \| commitdiff \| tree
2018-03-06	Santiago Pastorino	mir is already a reference	commit \| commitdiff \| tree
2018-03-06	Santiago Pastorino	Make causal tracking lazy	commit \| commitdiff \| tree
2018-03-06	Santiago Pastorino	Remove nll-dump-cause flag and always track causes	commit \| commitdiff \| tree
2018-03-01	Santiago Pastorino	rustfmt over error_reporting, explain_borrow and region_infe...	commit \| commitdiff \| tree
2018-03-01	Santiago Pastorino	Make explain borrow work for Universal lifetimes	commit \| commitdiff \| tree
2018-03-01	Santiago Pastorino	Refactor note_and_explain_region to call note_and_explain_fr...	commit \| commitdiff \| tree
2018-02-28	Santiago Pastorino	Avoid printing overwhelming info on -Znll-dump-cause	commit \| commitdiff \| tree
2018-02-28	Santiago Pastorino	Do not report _#nr lifetimes names in errors	commit \| commitdiff \| tree
2018-02-23	Santiago Pastorino	Run rustfmt over bitvec.rs and region_infer/values.rs	commit \| commitdiff \| tree
2018-02-23	Santiago Pastorino	Fix typo otherwies -> otherwise	commit \| commitdiff \| tree
2018-02-23	Santiago Pastorino	Use Sparse bitsets instead of dense ones for NLL results	commit \| commitdiff \| tree
2018-02-22	Santiago Pastorino	Move word type and word size usage to constants & make...	commit \| commitdiff \| tree
2018-01-30	Santiago Pastorino	Do not ignore lifetime bounds in Copy impls	commit \| commitdiff \| tree
2018-01-27	Santiago Pastorino	Make region inference use a dirty list	commit \| commitdiff \| tree
2018-01-22	Santiago Pastorino	Add dynamic-drop test to nll tests also	commit \| commitdiff \| tree
2018-01-20	Santiago Pastorino	Run yield-subtype test on nll mode too as a regression...	commit \| commitdiff \| tree
2018-01-20	Santiago Pastorino	Integrate generators to universal region setup	commit \| commitdiff \| tree
2018-01-19	Santiago Pastorino	Add rustc-args option to test runner	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	feature nll implies borrowck=mir	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	feature nll implies two-phase-borrows	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	Add nll feature and make nll imply nll_dump_cause	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	Add nll_dump_cause helper to Session	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	Add three point error handling to borrowck	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	Move MirVisitable to visit.rs	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Mir typeck Cast for Unsize value	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Mir typeck Cast for ClosureFnPtr value	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Extract coerce_closure_fn_ty function	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Mir typeck Cast for UnsafeFnPtr value	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Mir typeck Cast for ReifyFnPtr value	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Restructure a bit check_aggregate_rvalue code	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Add more debug logs	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Check functions predicates	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Check Aggregate predicates	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Check NullaryOp Rvalue	commit \| commitdiff \| tree
2017-12-13	Santiago Pastorino	Check Repeat Rvalue	commit \| commitdiff \| tree
2017-11-22	Santiago Pastorino	Make RegionVid use newtype_index!	commit \| commitdiff \| tree
2017-11-04	Santiago Pastorino	Make DefIndex use newtype_index macro	commit \| commitdiff \| tree
2017-11-04	Santiago Pastorino	Make DEBUG_FORMAT = custom work	commit \| commitdiff \| tree
2017-11-04	Santiago Pastorino	Make DepNodeIndex use newtype_index macro	commit \| commitdiff \| tree
2017-10-31	Santiago Pastorino	add basic region subtyping inference	commit \| commitdiff \| tree
2017-10-31	Santiago Pastorino	add reborrow constraints	commit \| commitdiff \| tree
2017-10-17	Santiago Pastorino	Generate FirstStatementIndex using newtype_index macro	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	Add License to infer.rs	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	TODO -> FIXME	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	Add allow_dead code directive to unused methods	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	Do not move infcx, just borrow it	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	borrow block_data instead of moving it	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	sup_def is a mutable reference	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	inteference_context should be mut	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	Mark Region as public	commit \| commitdiff \| tree
2017-10-13	Santiago Pastorino	Mark free regions handling as TODO	commit \| commitdiff \| tree
2017-10-05	Santiago Pastorino	Generate ScopeId using newtype_index macro	commit \| commitdiff \| tree
2017-10-05	Santiago Pastorino	Generate SerializedDepNodeIndex using newtype_index...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom