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

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

2018-09-30	Jorge Aparicio	make the nil-enum test work again	commit \| commitdiff \| tree
2018-09-30	Jorge Aparicio	adapt to change in Session API	commit \| commitdiff \| tree
2018-09-30	Jorge Aparicio	allow dead_code	commit \| commitdiff \| tree
2018-09-30	Jorge Aparicio	add empty enum to the test cases	commit \| commitdiff \| tree
2018-09-30	Jorge Aparicio	improve the run-pass test	commit \| commitdiff \| tree
2018-09-30	Jorge Aparicio	move our check to reuse a previous computation	commit \| commitdiff \| tree
2018-09-30	Jorge Aparicio	improve panic message	commit \| commitdiff \| tree
2018-09-30	Jorge Aparicio	use is_uninhabited in more places	commit \| commitdiff \| tree
2018-09-30	Jorge Aparicio	panic when instantiating an uninhabited type via mem...	commit \| commitdiff \| tree
2018-09-29	Jorge Aparicio	add MaybeUninit	commit \| commitdiff \| tree
2018-09-29	Ralf Jung	Revert "Auto merge of #53508 - japaric:maybe-uninit...	commit \| commitdiff \| tree
2018-09-21	Ralf Jung	fix comment	commit \| commitdiff \| tree
2018-09-21	Ralf Jung	clarify write_bytes a bit	commit \| commitdiff \| tree
2018-09-20	Ralf Jung	fix stage 0 compilation	commit \| commitdiff \| tree
2018-09-20	Ralf Jung	unsurprisingly, miri needs tcx	commit \| commitdiff \| tree
2018-09-20	Ralf Jung	move loop detector constants to the module that uses...	commit \| commitdiff \| tree
2018-09-20	Ralf Jung	make some things a bit more private	commit \| commitdiff \| tree
2018-09-20	Ralf Jung	rename evaluator -> interpreter to make eddyb happy	commit \| commitdiff \| tree
2018-09-20	Ralf Jung	move CTFE engine snapshot state out of miri engine...	commit \| commitdiff \| tree
2018-09-18	Ralf Jung	clarify swap	commit \| commitdiff \| tree
2018-09-17	Ralf Jung	miri: correctly compute expected alignment for field	commit \| commitdiff \| tree
2018-09-17	Ralf Jung	rearrange for clarity	commit \| commitdiff \| tree
2018-09-17	Ralf Jung	tweaks	commit \| commitdiff \| tree
2018-09-17	Ralf Jung	update miri	commit \| commitdiff \| tree
2018-09-16	Ralf Jung	use mem::zeroed to make up ZST values	commit \| commitdiff \| tree
2018-09-15	Ralf Jung	keep around some information for dead allocations so...	commit \| commitdiff \| tree
2018-09-09	Ralf Jung	miri loop detector hashing: fix enum hashing to also...	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	remark on concurrency in validity section	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	Valid raw pointers	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	make sure we do not copy unsized data	commit \| commitdiff \| tree
2018-08-31	Ralf Jung	fix doctests	commit \| commitdiff \| tree
2018-08-31	Ralf Jung	(un)aligned	commit \| commitdiff \| tree
2018-08-31	Ralf Jung	apply feedback	commit \| commitdiff \| tree
2018-08-31	Ralf Jung	turn ptr type method docs into links to docs of free...	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	fix example	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	fix example	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	improve volatile comments	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	avoid shadowing; fix examples	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	address remaining remarks and add example for dropping...	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	apply comments	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	clarify ZST comment	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	assert sanity in memory	commit \| commitdiff \| tree
2018-08-29	Ralf Jung	fix some uses of pointer intrinsics with invalid pointers	commit \| commitdiff \| tree
2018-08-29	Ralf Jung	clarify that these are preliminary guarantees	commit \| commitdiff \| tree
2018-08-29	Ralf Jung	edit docs a little	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Resolve null/ZST conflict correctly (whoops)	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Add a list of known facts re: validity	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	You can't make an omlette without breaking a few links	commit \| commitdiff \| tree
2018-08-29	Dylan MacKenzie	Incorporate RalfJung's suggestions	commit \| commitdiff \| tree
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-29	Ralf Jung	audit the relocations code, and clean it up a little	commit \| commitdiff \| tree
2018-08-29	Ralf Jung	refactor memory access methods a bit	commit \| commitdiff \| tree
2018-08-29	Ralf Jung	make ptr_op finally reponsible for all ops involving...	commit \| commitdiff \| tree
2018-08-29	Ralf Jung	re-do argument passing one more time to finally be...	commit \| commitdiff \| tree
2018-08-29	Ralf Jung	memory: make getting the alloc for a static an associate...	commit \| commitdiff \| tree
2018-08-29	Ralf Jung	move some Scalar helpers from miri here, and use them...	commit \| commitdiff \| tree
2018-08-28	Ralf Jung	move file-extension based .gitignore down to src/	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-28	Ralf Jung	split paragraph	commit \| commitdiff \| tree
2018-08-28	Ralf Jung	stabilize slice_align_to	commit \| commitdiff \| tree
2018-08-28	Ralf Jung	expand keep-stage --help text	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom