git.lizzy.rs Git - rust.git/history - src/shims/intrinsics.rs

]> git.lizzy.rs Git - rust.git/history - src/shims/intrinsics.rs

[rust.git] / src / shims / intrinsics.rs

2020-11-05	JCTyBlaidd	Split out vector_clock to separate file, general tidy...	blob \| commitdiff \| raw
2020-11-02	JCTyBlaidd	Initial data-race detector,	blob \| commitdiff \| raw \| diff to current
2020-09-27	bors	Auto merge of #1555 - lzutao:upstream-assume-const...	blob \| commitdiff \| raw \| diff to current
2020-09-27	Lzu Tao	Remove assume intrinsic from EvalContextExt	blob \| commitdiff \| raw \| diff to current
2020-09-17	bors	Auto merge of #1540 - RalfJung:cargo-miri-redone, r...	blob \| commitdiff \| raw \| diff to current
2020-09-17	bors	Auto merge of #1547 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-09-17	Ralf Jung	rustup; no need to special-case the guaranteed_eq/ne...	blob \| commitdiff \| raw \| diff to current
2020-09-04	bors	Auto merge of #1534 - LeSeulArtichaut:tys-kind, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-09-04	LeSeulArtichaut	Change `ty.kind` -> `ty.kind()`	blob \| commitdiff \| raw \| diff to current
2020-08-03	bors	Auto merge of #1495 - samrat:fd-trait, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2020-07-30	bors	Auto merge of #1492 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-07-30	Ralf Jung	remove upstreamed intrinsic impls	blob \| commitdiff \| raw \| diff to current
2020-07-30	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2020-07-27	bors	Auto merge of #1487 - pnadon:miri-rename-undef-uninit...	blob \| commitdiff \| raw \| diff to current
2020-07-26	Philippe Nadon	renamed Immediate::to_scalar_or_undef	blob \| commitdiff \| raw \| diff to current
2020-07-26	Philippe Nadon	renamed ScalarMaybeUninit::not_undef to check_init	blob \| commitdiff \| raw \| diff to current
2020-07-25	bors	Auto merge of #1485 - RalfJung:miri-extern-fn, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2020-07-23	Ralf Jung	make miri_start_panic intrinsic an FFI function	blob \| commitdiff \| raw \| diff to current
2020-07-23	bors	Auto merge of #1482 - canova:remote-unreachable, r...	blob \| commitdiff \| raw \| diff to current
2020-07-18	Nazım Can Altınova	Remove unreachable intrinsic	blob \| commitdiff \| raw \| diff to current
2020-07-03	bors	Auto merge of #1466 - RalfJung:target, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-07-03	bors	Auto merge of #1465 - nbdd0121:patch-1, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-07-02	Gary Guo	Remove likely and unlikely from intrinsics shim	blob \| commitdiff \| raw \| diff to current
2020-06-27	bors	Auto merge of #1460 - RalfJung:modules, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-06-27	bors	Auto merge of #1459 - RalfJung:ptr_guaranteed_eq, r...	blob \| commitdiff \| raw \| diff to current
2020-06-27	Ralf Jung	supply our own implementation of the CTFE pointer compa...	blob \| commitdiff \| raw \| diff to current
2020-06-09	bors	Auto merge of #1418 - divergentdave:file-sync, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-05-30	bors	Auto merge of #1412 - josephlr:ptr, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-05-30	Ralf Jung	rustup (and account for stabilization)	blob \| commitdiff \| raw \| diff to current
2020-05-30	Joe Richey	Remove pointer arithmetic intrinsics	blob \| commitdiff \| raw \| diff to current
2020-05-24	bors	Auto merge of #1432 - RalfJung:int-size, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-05-24	Ralf Jung	use helper method to compute size of int type	blob \| commitdiff \| raw \| diff to current
2020-05-05	bors	Auto merge of #1393 - RalfJung:arg-count-cleanup, r...	blob \| commitdiff \| raw \| diff to current
2020-05-05	Ralf Jung	fix a comment now that we have concurrency	blob \| commitdiff \| raw \| diff to current
2020-05-05	Ralf Jung	make sure we check argument count everywhere	blob \| commitdiff \| raw \| diff to current
2020-05-05	bors	Auto merge of #1298 - toc-the-younger:check-arg-count...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Chase Albert	Check that shims are called with the correct number...	blob \| commitdiff \| raw \| diff to current
2020-04-20	bors	Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-20	Vytautas Astrauskas	Move the stack to the evaluator to make Miri compile...	blob \| commitdiff \| raw \| diff to current
2020-04-19	bors	Auto merge of #1342 - divergentdave:pause-instruction...	blob \| commitdiff \| raw \| diff to current
2020-04-18	bors	Auto merge of #1325 - RalfJung:float_to_int_unchecked...	blob \| commitdiff \| raw \| diff to current
2020-04-15	bors	Auto merge of #1337 - RalfJung:intrinsic-tests, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-15	Ralf Jung	test some so-far untested intrinsics	blob \| commitdiff \| raw \| diff to current
2020-04-12	Ralf Jung	remove some unnecessary trait bounds	blob \| commitdiff \| raw \| diff to current
2020-04-12	Ralf Jung	implement float_to_int_unchecked	blob \| commitdiff \| raw \| diff to current
2020-04-12	bors	Auto merge of #1324 - RalfJung:intrinsic-orga, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-12	Ralf Jung	there is no 'align_of_val' intrinsic	blob \| commitdiff \| raw \| diff to current
2020-04-12	Ralf Jung	remove an intrinsic that was moved to rustc	blob \| commitdiff \| raw \| diff to current
2020-04-12	Ralf Jung	organize intrinsics into groups	blob \| commitdiff \| raw \| diff to current
2020-04-04	bors	Auto merge of #1293 - Firstyear:1289-miri-readme, r...	blob \| commitdiff \| raw \| diff to current
2020-04-03	bors	Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-02	bors	Auto merge of #1299 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-02	Ralf Jung	rustup for import changes	blob \| commitdiff \| raw \| diff to current
2020-04-02	bors	Auto merge of #1295 - RalfJung:ci-no-incremental, r...	blob \| commitdiff \| raw \| diff to current
2020-04-02	bors	Auto merge of #1283 - RalfJung:backtrace, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-02	Ralf Jung	adjust for span not being passed around any more	blob \| commitdiff \| raw \| diff to current
2020-04-01	bors	Auto merge of #1290 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-01	Ralf Jung	remove ICEin intrinsic	blob \| commitdiff \| raw \| diff to current
2020-03-30	bors	Auto merge of #1270 - RalfJung:incremental, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-30	bors	Auto merge of #1279 - divergentdave:open_O_EXCL, r...	blob \| commitdiff \| raw \| diff to current
2020-03-30	bors	Auto merge of #1281 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-30	Ralf Jung	adjust for librustc rename; reduce 'extern crate' to...	blob \| commitdiff \| raw \| diff to current
2020-03-28	bors	Auto merge of #1276 - RalfJung:scalar-precise-sizes...	blob \| commitdiff \| raw \| diff to current
2020-03-28	Ralf Jung	use ptr_null where appropriate	blob \| commitdiff \| raw \| diff to current
2020-03-28	Ralf Jung	avoid Scalar::from_(u)int in favor of giving the size...	blob \| commitdiff \| raw \| diff to current
2020-03-28	bors	Auto merge of #1275 - JOE1994:move_string_helpers,...	blob \| commitdiff \| raw \| diff to current
2020-03-28	bors	Auto merge of #1265 - RalfJung:float-cast, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-28	bors	Auto merge of #1271 - RalfJung:env-clean, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-28	bors	Auto merge of #1269 - RalfJung:windows-dtor, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-28	Ralf Jung	cleanup tcx usage and a few comments	blob \| commitdiff \| raw \| diff to current
2020-03-25	bors	Auto merge of #1260 - RalfJung:unreachable, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-25	Ralf Jung	test unreachable intrinsic	blob \| commitdiff \| raw \| diff to current
2020-03-21	bors	Auto merge of #1248 - RalfJung:overflow, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-21	Ralf Jung	detect UB: overflow in copy/write_bytes	blob \| commitdiff \| raw \| diff to current
2020-03-18	bors	Auto merge of #1239 - elichai:2020-03-abort-intrinsics...	blob \| commitdiff \| raw \| diff to current
2020-03-18	Elichai Turkel	Abort instead of panic in asserting intrinsics, because...	blob \| commitdiff \| raw \| diff to current
2020-03-17	bors	Auto merge of #1237 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-17	Ralf Jung	rustup; remove no longer existing intrinsics	blob \| commitdiff \| raw \| diff to current
2020-03-17	bors	Auto merge of #1235 - RalfJung:check-arith, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-17	Ralf Jung	avoid using unchecked casts or arithmetic	blob \| commitdiff \| raw \| diff to current
2020-03-15	bors	Auto merge of #1227 - RalfJung:unwind, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-15	Ralf Jung	abort intrinsic is handled by librustc_mir now	blob \| commitdiff \| raw \| diff to current
2020-03-15	Ralf Jung	adjust Miri to needs of changed unwinding strategy	blob \| commitdiff \| raw \| diff to current
2020-03-14	bors	Auto merge of #1228 - RalfJung:typo, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-14	Ralf Jung	fix typo and deduplicate comment	blob \| commitdiff \| raw \| diff to current
2020-03-14	bors	Auto merge of #1226 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-14	Ralf Jung	rustup, fix for intrinsic rename and transmute error...	blob \| commitdiff \| raw \| diff to current
2020-03-12	bors	Auto merge of #1224 - RalfJung:diverge, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-12	Ralf Jung	refactor handling of diverging intrinsics/foreign functions	blob \| commitdiff \| raw \| diff to current
2020-03-12	bors	Auto merge of #1223 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-12	Ralf Jung	rustup, test Abort terminator	blob \| commitdiff \| raw \| diff to current
2020-03-12	bors	Auto merge of #1213 - lcnr:master, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-11	bors	Auto merge of #1220 - elichai:2020-03-bump, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-11	Ralf Jung	share some code between panic intrinsics, and fix the...	blob \| commitdiff \| raw \| diff to current
2020-03-11	Elichai Turkel	Implement panic_if_any_invalid and panic_if_zero_invali...	blob \| commitdiff \| raw \| diff to current
2020-03-08	bors	Auto merge of #1218 - RalfJung:panic, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-08	Ralf Jung	properly panic in panic_if_uninhabited and align_offset...	blob \| commitdiff \| raw \| diff to current
2020-03-08	Bastian Kauschke	rm custom `intrinsics::discriminant_value`	blob \| commitdiff \| raw \| diff to current
2020-02-08	bors	Auto merge of #1159 - divergentdave:shim-seek, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-02-06	bors	Auto merge of #1168 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom