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

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

2019-11-15	Dylan MacKenzie	Enable standalone const-checking with `Validator`	commit \| commitdiff \| tree
2019-11-15	Dylan MacKenzie	Allow `Validator` to get qualifs for the return place	commit \| commitdiff \| tree
2019-11-15	Dylan MacKenzie	Remove `requires_sync`	commit \| commitdiff \| tree
2019-11-15	Dylan MacKenzie	Remove `QUALIF_ERROR_BIT` checking	commit \| commitdiff \| tree
2019-11-14	Dylan MacKenzie	Link to tracking issue in HIR const-check error	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Use `ast::Mutability`	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Bless miri unleashed test now that errors are mandatory	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Bless less verbose error messages	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Change control flow error to delay span bug	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Fix broken doc-test	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Small fixes to comments	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Bless back-compat breakages	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Bless const tests with improved diagnostics	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Extend const-loop and const-if to handle more cases	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Remove if/loop tests from min_const_fn	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Enable const-checking HIR bodies	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Add HIR pass to check for `if`s and `loop`s in a `const`	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Get `FnSig` by `HirId`	commit \| commitdiff \| tree
2019-11-13	Dylan MacKenzie	Add E0744 for control flow in consts	commit \| commitdiff \| tree
2019-11-08	Dylan MacKenzie	Clean up dead code in `qualify_consts`	commit \| commitdiff \| tree
2019-11-08	Dylan MacKenzie	Bless tests now that we do promotion if `min_const_fn...	commit \| commitdiff \| tree
2019-11-08	Dylan MacKenzie	Use new `PromoteTemps` for promotion	commit \| commitdiff \| tree
2019-11-08	Dylan MacKenzie	Add a `PromoteTemps` pass	commit \| commitdiff \| tree
2019-11-08	Dylan MacKenzie	Stop returning promotables from `mir_const_qualif`	commit \| commitdiff \| tree
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom