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

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

2022-09-23	Oli Scherer	Also require other subtrees to always build successfully	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	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	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	Lint fixes	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Fix wrongly refactored Lift impl	commit \| commitdiff \| tree
2022-09-19	Oli Scherer	Document projection condition	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	Merge two arguments into one	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-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	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	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
2022-09-01	Oli Scherer	tracing::instrument cleanup	commit \| commitdiff \| tree
2022-09-01	Oli Scherer	Always import all tracing macros for the entire crate...	commit \| commitdiff \| tree
2022-09-01	Oli Scherer	Directly use the `instrument` macro instead of its...	commit \| commitdiff \| tree
2022-08-31	Oli Scherer	Bump ui_test to 0.3.1	commit \| commitdiff \| tree
2022-08-31	Oli Scherer	Bump UI test dependency	commit \| commitdiff \| tree
2022-08-26	Oli Scherer	Fix merge conflict	commit \| commitdiff \| tree
2022-08-25	Oli Scherer	Use ui_test from crates.io instead of having it in...	commit \| commitdiff \| tree
2022-08-25	Oli Scherer	Run `pass` tests without building dependencies first	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	Bump tracing to 0.1.35	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	never inline the only thing that calls a query, which...	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	tracing 0.1.32	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	tracing 0.1.33	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	Update tracing to 0.1.31	commit \| commitdiff \| tree
2022-07-28	Oli Scherer	Revert "Rollup merge of #97346 - JohnTitor:remove-back...	commit \| commitdiff \| tree
2022-07-28	Oli Scherer	Pass PatCtxt instead of passing MatchCtxt + Ty separately	commit \| commitdiff \| tree
2022-07-28	Oli Scherer	Don't pass (the rather large) `PatCtxt` by value	commit \| commitdiff \| tree
2022-07-28	Oli Scherer	Move constructor into the branch that actually uses it	commit \| commitdiff \| tree
2022-07-25	Oli Scherer	Add default impls for `FileDescriptor` methods	commit \| commitdiff \| tree
2022-07-21	Oli Scherer	Document MIRI_AUTO_OPS	commit \| commitdiff \| tree
2022-07-21	Oli Scherer	Use a MIRI namespaced env var name for auto ops	commit \| commitdiff \| tree
2022-07-21	Oli Scherer	Avoid rustformatting on autosave	commit \| commitdiff \| tree
2022-07-21	Oli Scherer	Use names suggestive of channel endpoints	commit \| commitdiff \| tree
2022-07-21	Oli Scherer	Print one character per test instead of one line	commit \| commitdiff \| tree
2022-07-21	Oli Scherer	Add a dedicated thread for output printing	commit \| commitdiff \| tree
2022-07-21	Oli Scherer	Add a scheme for always using the default toolchain...	commit \| commitdiff \| tree
2022-07-20	Oli Scherer	Allow tests to have dependencies	commit \| commitdiff \| tree
2022-07-20	Oli Scherer	Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaqu...	commit \| commitdiff \| tree
2022-07-20	Oli Scherer	Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaqu...	commit \| commitdiff \| tree
2022-07-20	Oli Scherer	Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaqu...	commit \| commitdiff \| tree
2022-07-18	Oli Scherer	Check generators for well formedness	commit \| commitdiff \| tree
2022-07-17	Oli Scherer	clippy	commit \| commitdiff \| tree
2022-07-17	Oli Scherer	Add test flag for running a test only on the host	commit \| commitdiff \| tree
2022-07-17	Oli Scherer	Remove `--offline` from `./miri install` as otherwise...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Infer wildcard type from other patterns at every pattern...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Move constructor into the branch that actually uses it	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Revert a hack that only ever worked on level deep	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Make destructuring a defining use	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Allow destructuring opaque types, since the patterns...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Some tracing helpers	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Reuse a helper method instead of manually rolling it	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Remove early return that would likely have caused miscompila...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Pass one argument instead of fetching two fields of...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Add some tracing instrumentation	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Introduce opaque type to hidden type projection	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Introduce opaque type to hidden type projection	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Introduce opaque type to hidden type projection	commit \| commitdiff \| tree
2022-07-13	Oli Scherer	Error patterns can be regexes	commit \| commitdiff \| tree
2022-07-13	Oli Scherer	Limit test to x86 targets for reproducability	commit \| commitdiff \| tree
2022-07-12	Oli Scherer	Always check Cell alongside with `UnsafeCell`	commit \| commitdiff \| tree
2022-07-12	Oli Scherer	Use some more visible sigils than `,`	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Document require-annotations-for-level	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Fix annotation filtering with revisions	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Only check relative sizes on platform specific types	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	tidy	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Simplify size checking	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Don't allow accidental runtime-checks	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom