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

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

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
2018-08-29	Dylan MacKenzie	Update docs for `swap_nonoverlapping`	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Fix unused variable warning in doctest	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Fix failing doctests	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Mention alignment in top-level docs	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Rewrite docs for `std::ptr`	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Move `Eq + Hash + Clone` bounds to `Machine`	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Shorten error message and add link to test	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Derive Eq and Hash for types used in Miri's evaluator	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Avoid overflow in step counter	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Explain reason behind error span	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Add a UI test for #50637	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Rename `bloom` to `hashes`	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Enable loop detector in step loop	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Add an `InfiniteLoop` variant to `EvalErrorKind`	commit \| commitdiff \| tree
2018-07-04	Dylan MacKenzie	Improve correctness of `Frame` and `Memory` equality	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom