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

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

2020-07-25	bors	Auto merge of #1485 - RalfJung:miri-extern-fn, r=oli-obk	blob \| commitdiff \| raw
2020-07-23	Ralf Jung	add a Miri extern fn to mark an allocation as being...	blob \| commitdiff \| raw
2020-07-18	bors	Auto merge of #1436 - samrat:support-stdin-read, r...	blob \| commitdiff \| raw \| diff to current
2020-07-17	bors	Auto merge of #1480 - RalfJung:diagnostic-stacktrace...	blob \| commitdiff \| raw \| diff to current
2020-07-17	Ralf Jung	fix non-fatal diagnostics stacktraces	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-02	bors	Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2020-07-02	Ralf Jung	add option to track call IDs	blob \| commitdiff \| raw \| diff to current
2020-06-15	bors	Auto merge of #1451 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-06-15	Ralf Jung	rustup	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-25	bors	Auto merge of #1362 - vakaras:add-sync-primitives-cr1...	blob \| commitdiff \| raw \| diff to current
2020-05-24	Vytautas Astrauskas	Improve code readability and comments.	blob \| commitdiff \| raw \| diff to current
2020-05-24	Vytautas Astrauskas	Implement support for synchronization primitives.	blob \| commitdiff \| raw \| diff to current
2020-05-03	bors	Auto merge of #1387 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-05-03	Ralf Jung	bump Rust, fix warnings	blob \| commitdiff \| raw \| diff to current
2020-04-30	bors	Auto merge of #1284 - vakaras:add-threads-cr2, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-29	Vytautas Astrauskas	Improve code readability and comments.	blob \| commitdiff \| raw \| diff to current
2020-04-27	Vytautas Astrauskas	Improve style and comments.	blob \| commitdiff \| raw \| diff to current
2020-04-27	Vytautas Astrauskas	Unify TLS dtors; move stepping outside.	blob \| commitdiff \| raw \| diff to current
2020-04-27	Vytautas Astrauskas	Clarify comments about TLS destructor handling in Windo...	blob \| commitdiff \| raw \| diff to current
2020-04-27	Vytautas Astrauskas	Fix support for MacOS.	blob \| commitdiff \| raw \| diff to current
2020-04-27	Vytautas Astrauskas	Make an assert message consistent with other asserts.	blob \| commitdiff \| raw \| diff to current
2020-04-27	Vytautas Astrauskas	Address some of the reviewers comments.	blob \| commitdiff \| raw \| diff to current
2020-04-27	Vytautas Astrauskas	Implement basic support for concurrency (Linux only).	blob \| commitdiff \| raw \| diff to current
2020-04-27	bors	Auto merge of #1354 - divergentdave:dump-alloc-on-undef...	blob \| commitdiff \| raw \| diff to current
2020-04-22	bors	Auto merge of #1348 - RalfJung:raw-addr-of-align, r...	blob \| commitdiff \| raw \| diff to current
2020-04-22	Ralf Jung	rustup	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 #1349 - RalfJung:machine-layouts, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-18	Ralf Jung	use pre-computed layouts some more	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-14	bors	Auto merge of #1331 - samrat:macos-mach-timebase-info...	blob \| commitdiff \| raw \| diff to current
2020-04-14	bors	Auto merge of #1332 - RalfJung:disable-alignment-check...	blob \| commitdiff \| raw \| diff to current
2020-04-13	Ralf Jung	add option to disable alignment checks	blob \| commitdiff \| raw \| diff to current
2020-04-10	bors	Auto merge of #1308 - RalfJung:miri, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-10	bors	Auto merge of #1316 - RalfJung:compiletest, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-10	bors	Auto merge of #1304 - RalfJung:backtrace-sep, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-07	bors	Auto merge of #1301 - RalfJung:global-leaks, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-07	bors	Auto merge of #1310 - RalfJung:float-assoc, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-06	bors	Auto merge of #1157 - divergentdave:shim-pthread-try...	blob \| commitdiff \| raw \| diff to current
2020-04-05	David Cook	Eagerly compute i32 and u32 layouts	blob \| commitdiff \| raw \| diff to current
2020-04-05	Ralf Jung	update Windows leak comment	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-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	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 #1263 - RalfJung:shims-limit, 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	Ralf Jung	env shim: make sure we clean up all the memory we allocate	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	run Windows TLS dtor function	blob \| commitdiff \| raw \| diff to current
2020-03-28	bors	Auto merge of #1267 - RalfJung:macos-dtors, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-27	Ralf Jung	implement TLS cleanup for macOS	blob \| commitdiff \| raw \| diff to current
2020-03-25	bors	Auto merge of #1262 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-25	Ralf Jung	rustup; get rid of some try_from that are no longer...	blob \| commitdiff \| raw \| diff to current
2020-03-22	bors	Auto merge of #1250 - RalfJung:error-context, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2020-03-22	Ralf Jung	move -Zmiri-disable-isolation hint to help	blob \| commitdiff \| raw \| diff to current
2020-03-22	bors	Auto merge of #1249 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-22	Ralf Jung	platform -> target	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	Add an optional message to abort	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 #1231 - JOE1994:patch-1, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-15	Youngsuk Kim	Minor typo fix	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-08	bors	Auto merge of #1215 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-08	bors	Auto merge of #1214 - RalfJung:depup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-08	bors	Auto merge of #1208 - christianpoveda:environ-shim...	blob \| commitdiff \| raw \| diff to current
2020-03-08	Christian Poveda	only expose environ on linux	blob \| commitdiff \| raw \| diff to current
2020-03-07	Christian Poveda	minor corrections	blob \| commitdiff \| raw \| diff to current
2020-03-06	Christian Poveda	update the environ shim when environment changes	blob \| commitdiff \| raw \| diff to current
2020-03-06	Christian Poveda	add working shim for environ	blob \| commitdiff \| raw \| diff to current
2020-03-06	bors	Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2020-03-06	Ralf Jung	add option to track a particular AllocId (does nothing...	blob \| commitdiff \| raw \| diff to current
2020-03-02	bors	Auto merge of #1190 - RalfJung:canonical-alloc-id,...	blob \| commitdiff \| raw \| diff to current
2020-03-02	Ralf Jung	port from find_foreign_static to canonical_alloc_id	blob \| commitdiff \| raw \| diff to current
2020-03-02	Ralf Jung	rename memory kind: Env -> Machine	blob \| commitdiff \| raw \| diff to current
2020-03-01	bors	Auto merge of #1197 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-01	Ralf Jung	some formatting	blob \| commitdiff \| raw \| diff to current
2020-02-26	bors	Auto merge of #1152 - divergentdave:shim-directory...	blob \| commitdiff \| raw \| diff to current
2020-02-26	bors	Auto merge of #1192 - RalfJung:disable-stacked-borrows...	blob \| commitdiff \| raw \| diff to current
2020-02-24	Ralf Jung	move validate field from memory to machine	blob \| commitdiff \| raw \| diff to current
2020-02-24	Ralf Jung	add an option to disable Stacked Borrows	blob \| commitdiff \| raw \| diff to current
2020-02-23	bors	Auto merge of #1189 - RalfJung:cleanup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-02-23	Ralf Jung	avoid lowercasing platforms	blob \| commitdiff \| raw \| diff to current
2020-01-10	bors	Auto merge of #1143 - christianpoveda:symlink-shim...	blob \| commitdiff \| raw \| diff to current
2020-01-09	bors	Auto merge of #1127 - rust-lang:stacked_borrow_tracing...	blob \| commitdiff \| raw \| diff to current
2020-01-09	Oliver Scherer	Document all the things	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom