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

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

2018-08-29	Dylan MacKenzie	Redefine range validity	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Remove definiton of valid pointer	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Fix off-by-one error when specifying a valid range	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Reword module level docs re: alignment	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Update docs for `swap_nonoverlapping`	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Fix unused variable warning in doctest	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Fix failing doctests	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Mention alignment in top-level docs	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Rewrite docs for `std::ptr`	commit \| commitdiff \| tree
2018-08-28	Ralf Jung	first test const-ness, then hook fn call	commit \| commitdiff \| tree
2018-08-28	Ralf Jung	fix const_prop detecting unary neg underflows	commit \| commitdiff \| tree
2018-08-28	Ralf Jung	restructure unary_op to also dispatch on type first...	commit \| commitdiff \| tree
2018-08-28	Ralf Jung	fix unsized extern types	commit \| commitdiff \| tree
2018-08-28	Ralf Jung	address nits	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	use associated const for machine controlling mutable...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	get rid of most of the fn call hack by honoring mir...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	fix len() on non-array but array-layout types (e.g...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	expand comment on how statics work	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	fix handling of unsized types in validation; validate...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	validate enum discriminant whenever it is read	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	dedicated handling for binops on bool and char (UB...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	get rid of FinishStatic hack from stack clenaup; const_eval...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	move const_eval out of rustc_mir::interpret	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	switch validation to use operand, not mplace	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	terminator/drop.rs is just one fn... merge it together...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	Clean up function calling	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	simplify const_to_allocation_provider because it is...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	allow Machine to hook into foreign statics; remove...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	without all those copies of constants, we can finally...	commit \| commitdiff \| tree
2018-08-27	Ralf Jung	Miri Memory Work	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	update nomicon and book	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix error reporting in validation	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix validating fat pointers to user-defined unsized...	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix a comment in validity	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix layout sanity check	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	also avoid recomputing the layout for unary and binary...	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	in a Use statement, exploit the fact that type and...	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	optimize creating a stack frame	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix validating fat raw pointers	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	optimize sanity check path printing	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	avoid some redundant alignment checks	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	better error message when using NULL in to_ptr	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix UI tests	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	optimize validation iterating over the elements of...	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	test for detecting bad data inside trait objects /...	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix formatting nits	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	move validation to its own file	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix operator handling when using 128bit intrinsics	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	finally remove all traces of signs from memory	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix computing layout when calling virtual fn	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	avoid allocating for ZST	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix using copy_op to transmute	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	try_read_value_from_ptr -> try_read_value_from_mplace	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix dynamically determining size and alignment	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix accessing unsized fields	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix drop typing; use same machinery for validating...	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix dropping with vtables	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	Tweak logging	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	fix union field access and DST computations and dumping...	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	remove cur_frame from memory (validation is gone, new...	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	generalize truncate and sign_extend to take a Size	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	miri/CTFE refactor	commit \| commitdiff \| tree
2018-08-22	Ralf Jung	Move some value-and-memory related things out of eval_context	commit \| commitdiff \| tree
2018-08-20	Ralf Jung	comment	commit \| commitdiff \| tree
2018-08-20	Ralf Jung	fix array drop glue: properly turn raw ptr into reference	commit \| commitdiff \| tree
2018-08-17	Ralf Jung	fix license	commit \| commitdiff \| tree
2018-08-16	Ralf Jung	enable more tests on stage1 again	commit \| commitdiff \| tree
2018-08-16	Ralf Jung	libtest terse format: show how far in we are	commit \| commitdiff \| tree
2018-08-15	Ralf Jung	fix error for unsized packed struct field	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	fixed wording	commit \| commitdiff \| tree
2018-08-13	Ralf Jung	Window Mutex: make sure we properly initialize the...	commit \| commitdiff \| tree
2018-08-12	Ralf Jung	unions are not always trivially dropable	commit \| commitdiff \| tree
2018-08-09	Ralf Jung	repr(transparent)	commit \| commitdiff \| tree
2018-08-08	Ralf Jung	missed one	commit \| commitdiff \| tree
2018-08-08	Ralf Jung	avoid using the word 'initialized' to talk about that...	commit \| commitdiff \| tree
2018-08-07	Ralf Jung	document mode possibilities for all RMW operations	commit \| commitdiff \| tree
2018-08-07	Ralf Jung	list possible orderings for load and store	commit \| commitdiff \| tree
2018-08-07	Ralf Jung	forgot to add comment for some atomic types	commit \| commitdiff \| tree
2018-08-07	Ralf Jung	fix link label; use more https	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	inore some codegen tests when debug assertions are...	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	update ripgrep tested by cargotest	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	unconfuse @eddyb	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	remove unnecessary CoerceUnsized impl	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	actually, reentrant uninitialized mutex acquisition...	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	argue why at_exit_imp is fine	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	make Lazy::new unsafe and check reentrancy condition...	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	I think we have to strengthen Mutex::init UB	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	clarify partially initialized Mutex issues	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	Remove references to `StaticMutex` which got removed...	commit \| commitdiff \| tree
2018-08-06	Ralf Jung	atomic ordering docs	commit \| commitdiff \| tree
2018-08-03	Ralf Jung	unsized ManuallyDrop	commit \| commitdiff \| tree
2018-08-03	Ralf Jung	volatile operations docs: clarify that this does not...	commit \| commitdiff \| tree
2018-08-02	Ralf Jung	test that align_of handles alignment properly for the...	commit \| commitdiff \| tree
2018-08-02	Ralf Jung	debug_assert to ensure that from_raw_parts is only...	commit \| commitdiff \| tree
2018-08-01	Ralf Jung	use the same length computation everywhere	commit \| commitdiff \| tree
2018-08-01	Ralf Jung	Introduce another way to compute the length, to fix...	commit \| commitdiff \| tree
2018-08-01	Ralf Jung	simplify len macro: No longer require the type	commit \| commitdiff \| tree
2018-08-01	Ralf Jung	macro-inline len() and is_empty() to fix performance...	commit \| commitdiff \| tree
2018-08-01	Ralf Jung	make the code for nth closer to what it used to be	commit \| commitdiff \| tree
2018-08-01	Ralf Jung	test nth better	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom