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

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

2022-11-02	Oli Scherer	Simplify astconv item def id handling	commit \| commitdiff \| tree
2022-10-26	Oli Scherer	Remove unneeded sub-comparison	commit \| commitdiff \| tree
2022-10-26	Oli Scherer	Add cargo miri to x.py check	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Split diagnostic details out into a separate function...	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Move a wf-check into the site where the value is instantiated	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Bubble the opaque type ordering int opaque type handling	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Use the general type API instead of directly accessing...	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Pull opaque type handling out of the type relating...	commit \| commitdiff \| tree
2022-10-24	Oli Scherer	Make param index generation a bit more robust	commit \| commitdiff \| tree
2022-10-21	Oli Scherer	Require Drop impls to have the same constness on its...	commit \| commitdiff \| tree
2022-10-21	Oli Scherer	Remove needless special cases and dead code	commit \| commitdiff \| tree
2022-10-14	Oli Scherer	Require lifetime bounds for opaque types in order to...	commit \| commitdiff \| tree
2022-10-13	Oli Scherer	Remove unused macro argument	commit \| commitdiff \| tree
2022-10-12	Oli Scherer	Enable `x.py check` for miri	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	typeck result is now affected by opaque type spans	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Add a regression test	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Check hidden types in dead code	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Remap hidden types from typeck before storing them...	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Move ReverseMapper logic onto OpaqueHiddenType	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Remove some dead code	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Unconditionally encode hidden types in typeck results	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Allow transmutes between the same types after erasing...	commit \| commitdiff \| tree
2022-10-04	Oli Scherer	It's not about types or consts, but the lack of regions	commit \| commitdiff \| tree
2022-10-04	Oli Scherer	It's not about types or consts, but the lack of regions	commit \| commitdiff \| tree
2022-10-04	Oli Scherer	Merge the `~const` and `impl const` checks and add...	commit \| commitdiff \| tree
2022-10-04	Oli Scherer	Only allow ~const bounds for traits with #[const_trait]	commit \| commitdiff \| tree
2022-09-29	Oli Scherer	Split out the error reporting logic into a separate...	commit \| commitdiff \| tree
2022-09-29	Oli Scherer	Some path updates	commit \| commitdiff \| tree
2022-09-29	Oli Scherer	Split collect.rs	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Also require other subtrees to always build successfully	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Report diagnostics at the actually actionable site	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Some test cleanups	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Make the test actually show the problematic case	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Show errors instead of hiding them due to an earlier...	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Showcase a broken diagnostic	commit \| commitdiff \| tree
2022-09-22	Oli Scherer	Const unification is already infallible, remove the...	commit \| commitdiff \| tree
2022-09-22	Oli Scherer	Allow miri docs to keep failing for now	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Remove unused imports	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e...	commit \| commitdiff \| tree
2022-09-21	Ralf Jung	miri is not in toolstate any more	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	HACK: Treat miri as if it were a submodule	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Remove miri from the submodule list and require it...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Remove miri submodule	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Improve diagnostic for adding more bounds to opaque...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Reproduce sad diagnostic	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Try out a perf optimization	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Simplify insert_outlives_predicate opaque type logic	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Inline substitution logic into `declared_region_bounds`	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Add regression test	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Also collect bounds from the ParamEnv for opaque types	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Neither require nor imply lifetime bounds on opaque...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Generalize projection_must_outlive	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Generalize a helper to be useful for types other than...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Inline a trivial function	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Only support libffi on unix for now	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Deduplicate two functions that would soon have been...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Some tracing instrumentation cleanups	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Split match out into a helper function	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Lint fixes	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Fix wrongly refactored Lift impl	commit \| commitdiff \| tree
2022-09-20	Oli Scherer	Retry with inlining attributes	commit \| commitdiff \| tree
2022-09-19	Oli Scherer	Document projection condition	commit \| commitdiff \| tree
2022-09-19	Oli Scherer	Actually visit/fold the types inside CanonicalVarInfos	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Only generate `OpaqueCast` for opaque types	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrain...	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrain...	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrain...	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Merge two arguments into one	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Revert TypeVisitor changes	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Don't throw away information just to recompute it again	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Merge all `TypeVisitable for &List<T>` impls into one...	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Replace more manual TypeFoldable and TypeVisitable...	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	derive TypeVisitable and TypeFoldable for mir types	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Derive TypeFoldable and TypeVisitable for mir::PlaceElement	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Resolve a FIXME	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	derive various Lift impl instead of hand rolling them	commit \| commitdiff \| tree
2022-09-14	Oli Scherer	Prefer explict closure sig types over expected ones	commit \| commitdiff \| tree
2022-09-12	Oli Scherer	Update miri submodule	commit \| commitdiff \| tree
2022-09-10	Oli Scherer	Rustup	commit \| commitdiff \| tree
2022-09-09	Oli Scherer	The `<const T>::guaranteed_` methods now return an...	commit \| commitdiff \| tree
2022-09-09	Oli Scherer	The `<const T>::guaranteed_` methods now return an...	commit \| commitdiff \| tree
2022-09-08	Oli Scherer	Clarify some diagnostic messages	commit \| commitdiff \| tree
2022-09-08	Oli Scherer	Uncomment unsound code example	commit \| commitdiff \| tree
2022-09-08	Oli Scherer	Opaque types' generic params do not imply anything...	commit \| commitdiff \| tree
2022-09-07	Oli Scherer	Update miri submodule	commit \| commitdiff \| tree
2022-09-07	Oli Scherer	Rustup	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Check all operands, they may contain indirections in...	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Test bump	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Generalize the Assume intrinsic statement to a general...	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Generalize the Assume intrinsic statement to a general...	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Update docs	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Lower the assume intrinsic to a MIR statement	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Lower the assume intrinsic to a MIR statement	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Move CTFE handling of nondiverging intrinsics to intrinsics.rs	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Generalize the Assume intrinsic statement to a general...	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Lower the assume intrinsic to a MIR statement	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Remove dead broken code from const zst handling in...	commit \| commitdiff \| tree
2022-09-02	Oli Scherer	Clippy after rustup	commit \| commitdiff \| tree
2022-09-02	Oli Scherer	Rustup	commit \| commitdiff \| tree
2022-09-01	Oli Scherer	Adjust stderr file	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom