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

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

2019-11-06	Dylan MacKenzie	Add test for promotability in `let`	commit \| commitdiff \| tree
2019-11-06	Dylan MacKenzie	Remove `IsNotPromotable` and `IsNotImplicitlyPromotable`	commit \| commitdiff \| tree
2019-11-06	Dylan MacKenzie	Remove `promotion_candidates` from `Checker`	commit \| commitdiff \| tree
2019-11-06	Dylan MacKenzie	Remove `valid_promotion_candidates`	commit \| commitdiff \| tree
2019-11-04	Dylan MacKenzie	Add tests for loop constructs in consts	commit \| commitdiff \| tree
2019-11-03	Dylan MacKenzie	Don't extend lifetime of temp in `Repeat` expressions	commit \| commitdiff \| tree
2019-11-03	Dylan MacKenzie	Test that borrows of projections are promoted everywhere	commit \| commitdiff \| tree
2019-11-03	Dylan MacKenzie	Mark entire local as promoted even if only part is...	commit \| commitdiff \| tree
2019-11-02	Dylan MacKenzie	Don't double-count `simd_shuffle` promotion candidates	commit \| commitdiff \| tree
2019-10-30	Dylan MacKenzie	Remove references to now unused `E0526`	commit \| commitdiff \| tree
2019-10-29	Dylan MacKenzie	Stop emitting error in `qualify_consts` if promotion...	commit \| commitdiff \| tree
2019-10-29	Dylan MacKenzie	Emit errors in `promote_consts` when required promotion...	commit \| commitdiff \| tree
2019-10-29	Dylan MacKenzie	Add method to `Candidate` that determines its promotability...	commit \| commitdiff \| tree
2019-10-26	Dylan MacKenzie	Remove `QualifResolver` abstraction	commit \| commitdiff \| tree
2019-10-26	Dylan MacKenzie	Use `is_lang_panic_fn` from `check_consts` in `promote_consts`	commit \| commitdiff \| tree
2019-10-26	Dylan MacKenzie	Deduplicate `promote_consts::Validator` and `check_consts...	commit \| commitdiff \| tree
2019-10-26	Dylan MacKenzie	Make `Item` fields pub	commit \| commitdiff \| tree
2019-10-26	Dylan MacKenzie	Make `check_consts::Item` work on non-const fns	commit \| commitdiff \| tree
2019-10-20	Dylan MacKenzie	Ignore DOT files in .gitignore	commit \| commitdiff \| tree
2019-10-20	Dylan MacKenzie	Check all files in `src/test` for `borrowck_graphviz_postflow`	commit \| commitdiff \| tree
2019-10-20	Dylan MacKenzie	Remove `borrowck_graphviz_postflow` from test	commit \| commitdiff \| tree
2019-10-17	Dylan MacKenzie	Suppress validation mismatch ICE in the presence of...	commit \| commitdiff \| tree
2019-10-17	Dylan MacKenzie	Enable `drain_filter`	commit \| commitdiff \| tree
2019-10-17	Dylan MacKenzie	Add regression test for #65394	commit \| commitdiff \| tree
2019-10-16	Dylan MacKenzie	Bless graphviz test with unique identifiers	commit \| commitdiff \| tree
2019-10-16	Dylan MacKenzie	Use subgraphs to render multiple MIR bodies	commit \| commitdiff \| tree
2019-10-16	Dylan MacKenzie	Use `DefId` to create globally unique basic block labels	commit \| commitdiff \| tree
2019-10-16	Dylan MacKenzie	Don't print newline inside a node label	commit \| commitdiff \| tree
2019-10-13	Dylan MacKenzie	Add regression test for #65348	commit \| commitdiff \| tree
2019-10-13	Dylan MacKenzie	Remove special case for zero-sized arrays from indirectly...	commit \| commitdiff \| tree
2019-10-13	Dylan MacKenzie	Return `false` from `needs_drop` for all zero-sized...	commit \| commitdiff \| tree
2019-10-03	Dylan MacKenzie	Bless test	commit \| commitdiff \| tree
2019-10-03	Dylan MacKenzie	Remove `borrowck_graphviz_postflow` from test	commit \| commitdiff \| tree
2019-10-02	Dylan MacKenzie	Add test exposing unsoundness in `IndirectlyMutableLocals`	commit \| commitdiff \| tree
2019-10-02	Dylan MacKenzie	Add `rustc_peek` support for `IndirectlyMutableLocals`	commit \| commitdiff \| tree
2019-10-02	Dylan MacKenzie	Refactor `rustc_peek`	commit \| commitdiff \| tree
2019-10-01	Dylan MacKenzie	Update example table to match current output	commit \| commitdiff \| tree
2019-10-01	Dylan MacKenzie	Reset row background for each block	commit \| commitdiff \| tree
2019-10-01	Dylan MacKenzie	This needs to be build-pass since it involves debuginfo	commit \| commitdiff \| tree
2019-10-01	Dylan MacKenzie	Fix typo passing flags to rustc	commit \| commitdiff \| tree
2019-10-01	Dylan MacKenzie	Add test cases for #64945	commit \| commitdiff \| tree
2019-10-01	Dylan MacKenzie	Don't mark zero-sized arrays as indirectly mutable...	commit \| commitdiff \| tree
2019-10-01	Dylan MacKenzie	Pass attrs to `do_dataflow` in new const checker	commit \| commitdiff \| tree
2019-09-30	Dylan MacKenzie	Stop printing `Qualif` results in debug logs	commit \| commitdiff \| tree
2019-09-30	Dylan MacKenzie	Use separate files for debugging `Qualif` dataflow...	commit \| commitdiff \| tree
2019-09-30	Dylan MacKenzie	Update consumers of `generic::Engine` API	commit \| commitdiff \| tree
2019-09-30	Dylan MacKenzie	Add graphviz debug output for generic dataflow	commit \| commitdiff \| tree
2019-09-30	Dylan MacKenzie	Allow `ResultsCursor` to borrow the underlying `Results`	commit \| commitdiff \| tree
2019-09-30	Dylan MacKenzie	Fix typo in docs	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Rename `sty` to `kind`	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Bless miri unleashed output	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Revert "Use conservative, type-based qualifcation for...	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Correct `IndirectlyMutableLocals` docs	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Mask results from flow-sensitive resolver with `in_any_value...	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Add description for every module in `check_consts`	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Share `IndirectlyMutableLocals` results via reference	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Require `fmt::Debug` to implement `NonConstOp`	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Use conservative, type-based qualifcation for statics	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Return a `bool` from `in_any_value_of_ty`	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Give usage instructions `IndirectlyMutableLocals` docs	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Trigger ICE on nightly if validators disagree	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Explain why `visit_terminator` does nothing for `IndirectlyM...	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Move non-const ops into their own module	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Remember to replace ICE with some form of warning	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Add rationale for `suppress_errors` flag	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Correct list of miri-supported operations	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Fix tests broken by more consistent miri unleashed...	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Run new validator in compare mode	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Add dataflow-based const validation	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Pass current qualification state in a separate parameter	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Control whether a `Qualif` is cleared on move	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Remove reference to `Mode::NonConstFn` in qualifs	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Add requisite imports and bitset to hold qualifs	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Make new qualifs public	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Remove unnecessary method	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Copy `Qualif` to start work on new const validator	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Don't treat locals as mutably borrowed after they're...	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Add analysis to determine if a local is indirectly...	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Add additional `const` tests	commit \| commitdiff \| tree
2019-09-28	Dylan MacKenzie	Silence "skipping const checks" if outside a const...	commit \| commitdiff \| tree
2019-09-23	Dylan MacKenzie	Add convenience function for detecting cyclic CFGs	commit \| commitdiff \| tree
2019-09-23	Dylan MacKenzie	Add cycle detection for graphs	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Fix bug where `is_call_return_effect_applied` was never set	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Add summary of the current state and future plans	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Publish `rustc_mir::dataflow` and remove `#[allow(unused)]`	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Fix typo	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Use an associated const for `name`	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Fix `Analysis` example	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Add ignore reason to placate `tidy`	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Temporarily add `#[allow(unused)]` for CI	commit \| commitdiff \| tree
2019-09-18	Dylan MacKenzie	Document new dataflow analysis	commit \| commitdiff \| tree
2019-09-17	Dylan MacKenzie	Add generic dataflow impl	commit \| commitdiff \| tree
2019-09-17	Dylan MacKenzie	Remove `dataflow::state_for_location`	commit \| commitdiff \| tree
2019-09-17	Dylan MacKenzie	Replace all uses of `dataflow::state_for_location`	commit \| commitdiff \| tree
2019-09-17	Dylan MacKenzie	Add a getter for the current state to `DataflowResultsCursor`	commit \| commitdiff \| tree
2019-08-30	Dylan MacKenzie	Use new `Place::is_indirect` API where possible	commit \| commitdiff \| tree
2019-08-29	Dylan MacKenzie	Add `Place::is_indirect`	commit \| commitdiff \| tree
2019-07-14	Dylan MacKenzie	Actually call `visit_block_entry` in `DataflowResultsConsumer`	commit \| commitdiff \| tree
2019-06-27	Dylan MacKenzie	Use more efficient iteration order for backward dataflow	commit \| commitdiff \| tree
2019-06-27	Dylan MacKenzie	Use a more efficient iteration order for forward dataflow	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom