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

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

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-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
2019-06-22	Dylan MacKenzie	Merge `BitSetOperator` and `InitialFlow` into one trait.	commit \| commitdiff \| tree
2019-06-22	Dylan MacKenzie	rustc_mir: don't pass `on_entry` when building transfer...	commit \| commitdiff \| tree
2019-06-20	Dylan MacKenzie	Kill conflicting borrows of places with projections.	commit \| commitdiff \| tree
2019-06-08	Dylan MacKenzie	Add `const`-ness tests for `i32::signum`	commit \| commitdiff \| tree
2019-06-07	Dylan MacKenzie	Make `i*::signum` a `const fn`.	commit \| commitdiff \| tree
2019-05-16	Dylan MacKenzie	Add all keywords to keyword docs	commit \| commitdiff \| tree
2019-01-08	Dylan MacKenzie	Add link destination for `read-ownership`	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Resolve null/ZST conflict correctly (whoops)	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Add a list of known facts re: validity	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	You can't make an omlette without breaking a few links	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Incorporate RalfJung's suggestions	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Redefine range validity	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Remove definiton of valid pointer	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Fix off-by-one error when specifying a valid range	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Reword module level docs re: alignment	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom