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

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

2017-08-01	Oliver Schneider	Move all intrinsics out of `interpret` and fail CTFE...	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Update env_logger in order to share more dependencies	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Move a method used everywhere out of `intrinsic.rs`	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Fix doc text	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Reduce the chance of accidentally calling functions...	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Move the `global_item` function to the `EvalContext`	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Rename `const_eval::Evaluator` to `CompileTimeFunctionEvaluator`	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Move more non-CTFE operations to the Machine	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Split "new" miri crate into modules	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Implement the first machine function	commit \| commitdiff \| tree
2017-08-01	Oliver Schneider	Split up miri into the librustc_mir and bin parts	commit \| commitdiff \| tree
2017-07-31	Oliver Schneider	Merge pull request #274 from RalfJung/packed2	commit \| commitdiff \| tree
2017-07-26	Oliver Schneider	Merge pull request #272 from oli-obk/mir-validate	commit \| commitdiff \| tree
2017-07-26	Oliver Schneider	Merge pull request #273 from RalfJung/ref	commit \| commitdiff \| tree
2017-07-24	Oliver Schneider	Merge pull request #267 from RalfJung/cast	commit \| commitdiff \| tree
2017-07-24	Oliver Schneider	Pass `HasDataLayout` instead of the data layout itself	commit \| commitdiff \| tree
2017-07-23	Oliver Schneider	Use rustc traits instead of our own	commit \| commitdiff \| tree
2017-07-22	Oliver Schneider	Merge pull request #269 from oli-obk/cleanups	commit \| commitdiff \| tree
2017-07-21	Oliver Schneider	Remove unused `IntoValTyPair` hack	commit \| commitdiff \| tree
2017-07-21	Oliver Schneider	Merge pull request #258 from oli-obk/upstream	commit \| commitdiff \| tree
2017-07-21	Oliver Schneider	Prep miri repository for rustc merger	commit \| commitdiff \| tree
2017-07-21	Oliver Schneider	Merge pull request #266 from RalfJung/align	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Merge pull request #265 from oli-obk/optimize_prime	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Also test optimized MIR	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Merge pull request #264 from oli-obk/paths	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Reduce the usage of global paths	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Merge pull request #260 from RalfJung/tests	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Move rustc tests from tests to a binary, since they...	commit \| commitdiff \| tree
2017-07-20	Oliver Schneider	Merge pull request #259 from RalfJung/ref-validate	commit \| commitdiff \| tree
2017-07-19	Oliver Schneider	Merge pull request #257 from oli-obk/cleanups	commit \| commitdiff \| tree
2017-07-19	Oliver Schneider	Export types and functions needed by priroda	commit \| commitdiff \| tree
2017-07-18	Oliver Schneider	Merge pull request #254 from RalfJung/dangling	commit \| commitdiff \| tree
2017-07-18	Oliver Schneider	Merge pull request #245 from oli-obk/funky_allocs	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Merge pull request #249 from RalfJung/lvalue	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Add a comment explaining the static "local" during...	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Fix static mutation tests	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Remove duplicate test	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Use enum instead of boolean	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Clarify documentation	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Ensure that it is not possible to explicitly free stack...	commit \| commitdiff \| tree
2017-07-14	Oliver Schneider	Merge pull request #247 from RalfJung/packed	commit \| commitdiff \| tree
2017-07-13	Oliver Schneider	Merge pull request #243 from solson/magic_numbers	commit \| commitdiff \| tree
2017-07-13	Oliver Schneider	Reuse the `const_eval` method for syscall name resolution	commit \| commitdiff \| tree
2017-07-13	Oliver Schneider	Don't use magic numbers for synconf names	commit \| commitdiff \| tree
2017-07-13	Oliver Schneider	Copy `path_to_def` from clippy	commit \| commitdiff \| tree
2017-07-13	Oliver Schneider	Merge pull request #248 from RalfJung/pointer-games	commit \| commitdiff \| tree
2017-07-12	Oliver Schneider	Merge pull request #241 from solson/rustc_integration	commit \| commitdiff \| tree
2017-07-12	Oliver Schneider	Merge pull request #242 from solson/various	commit \| commitdiff \| tree
2017-07-12	Oliver Schneider	Produce `ConstInt` from a `def_id` for rustc	commit \| commitdiff \| tree
2017-07-12	Oliver Schneider	Add tests for #113	commit \| commitdiff \| tree
2017-07-12	Oliver Schneider	Merge pull request #238 from RalfJung/tests	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Merge pull request #236 from oli-obk/pointers	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Document the reason for `Pointer`'s existence	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Simplify `with_extra`	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Remove `offset` methods from `PrimVal` onto `Pointer`	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Use a wrapper type to differentiate between PrimVal...	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Add a dedicated `write_null` method	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Rename Pointer to MemoryPointer	commit \| commitdiff \| tree
2017-07-11	Oliver Schneider	Merge pull request #237 from RalfJung/reallocate	commit \| commitdiff \| tree
2017-07-05	Oliver Schneider	Merge pull request #234 from RalfJung/reallocate	commit \| commitdiff \| tree
2017-07-04	Oliver Schneider	Merge pull request #232 from oli-obk/master	commit \| commitdiff \| tree
2017-07-04	Oliver Schneider	Merge pull request #235 from RalfJung/intrinsics	commit \| commitdiff \| tree
2017-07-04	Oliver Schneider	Merge pull request #233 from RalfJung/transmute	commit \| commitdiff \| tree
2017-07-03	Oliver Schneider	Only check pointers when dereferencing	commit \| commitdiff \| tree
2017-07-01	Oliver Schneider	Merge pull request #231 from dwrensha/update-compiletest	commit \| commitdiff \| tree
2017-06-29	Oliver Schneider	Merge pull request #230 from dwrensha/cargo-miri	commit \| commitdiff \| tree
2017-06-29	Oliver Schneider	Merge pull request #223 from oli-obk/lvalue_read	commit \| commitdiff \| tree
2017-06-29	Oliver Schneider	Merge pull request #226 from dwrensha/rustup	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Merge pull request #222 from oli-obk/const_eval_checks	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Merge pull request #225 from RalfJung/comments	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Optimize lvalue reads from Value::ByVal and Value:...	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Code nits	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Address comments	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Merge pull request #220 from oli-obk/undo_single_field_opt	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Reword comments	commit \| commitdiff \| tree
2017-06-28	Oliver Schneider	Merge pull request #221 from dwrensha/rustup	commit \| commitdiff \| tree
2017-06-27	Oliver Schneider	Simplify all the code	commit \| commitdiff \| tree
2017-06-27	Oliver Schneider	Merge pull request #218 from oli-obk/minimal_ctfe	commit \| commitdiff \| tree
2017-06-26	Oliver Schneider	Initial work towards checking const eval rules in miri	commit \| commitdiff \| tree
2017-06-24	Oliver Schneider	Merge pull request #210 from RalfJung/ptrcast	commit \| commitdiff \| tree
2017-06-24	Oliver Schneider	Make zst compile-fail tests more readable	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	Merge pull request #212 from oli-obk/zero_sense_types	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	Ensure tests run with and without full MIR	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	PrimVal used to allow comparing `Undef`	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	fetch_tls_dtor "read" an `Undef` as nonzero	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	Typo	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	Remove the zst allocation	commit \| commitdiff \| tree
2017-06-23	Oliver Schneider	Merge pull request #209 from RalfJung/ptrs	commit \| commitdiff \| tree
2017-06-22	Oliver Schneider	Merge pull request #203 from RalfJung/offset	commit \| commitdiff \| tree
2017-06-22	Oliver Schneider	Merge pull request #201 from oli-obk/test_suite_fails	commit \| commitdiff \| tree
2017-06-22	Oliver Schneider	Update regions-mock-trans.rs	commit \| commitdiff \| tree
2017-06-22	Oliver Schneider	Update foreign-fn-linkname.rs	commit \| commitdiff \| tree
2017-06-22	Oliver Schneider	Update mod.rs	commit \| commitdiff \| tree
2017-06-22	Oliver Schneider	Merge pull request #206 from RalfJung/ptrs	commit \| commitdiff \| tree
2017-06-22	Oliver Schneider	Merge pull request #205 from RalfJung/tests	commit \| commitdiff \| tree
2017-06-22	Oliver Schneider	malloc should return null for zst allocs	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Report better errors on random numbers and threads	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Merge pull request #200 from oli-obk/master	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Implement `malloc` and `free`	commit \| commitdiff \| tree
2017-06-21	Oliver Schneider	Store env vars where necessary	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom