rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2017-08-03	with Validation MIR around drop being fixed, we can remove the hack working ↵	Ralf Jung	-7/+2
	around this
2017-08-03	Revert "disable validation code so that it all compiles against current nightly"	Ralf Jung	-35/+10
	This reverts commit 791dbaf58402ef87c16485be8d8ee37b5aa1dda3.
2017-08-03	Merge pull request #280 from solson/archeology	Oliver Schneider	-119/+189
	Produce backtraces for miri internals
2017-08-03	fix comment	Ralf Jung	-1/+4

2017-08-03	Reuse the `Backtrace` object instead of rolling our own	Oliver Schneider	-28/+41

2017-08-03	Remove accidental text paste	Oliver Schneider	-1/+1

2017-08-02	fix size_of_val on unsized tuples	Ralf Jung	-5/+15

2017-08-02	step.rs: improve comment for clarity	Ralf Jung	-4/+4

2017-08-02	Produce backtraces for miri internals	Oliver Schneider	-120/+177

2017-08-01	Process untagged unions	Oliver Schneider	-2/+6

2017-08-01	Address comments	Oliver Schneider	-6/+6

2017-08-01	Properly process ptr_op for const eval	Oliver Schneider	-3/+7

2017-08-01	Allow machines to create new memory kinds	Oliver Schneider	-52/+77

2017-08-01	Move all intrinsics out of `interpret` and fail CTFE on intrinsic calls	Oliver Schneider	-579/+42

2017-08-01	Move a method used everywhere out of `intrinsic.rs`	Oliver Schneider	-102/+96

2017-08-01	Fix doc text	Oliver Schneider	-1/+1

2017-08-01	Reduce the chance of accidentally calling functions in CTFE	Oliver Schneider	-68/+49
	previously miri had a check for const fn and other cases that CTFE requires. Instead the function call is completely processed inside the machine. This allows CTFE to have full control over what is called and miri to not have useless CTFE-checks in normal mode.
2017-08-01	Move the `global_item` function to the `EvalContext`	Oliver Schneider	-54/+62

2017-08-01	Rename `const_eval::Evaluator` to `CompileTimeFunctionEvaluator`	Oliver Schneider	-3/+3

2017-08-01	Move more non-CTFE operations to the Machine	Oliver Schneider	-153/+113

2017-08-01	Implement the first machine function	Oliver Schneider	-795/+179

2017-08-01	Split up miri into the librustc_mir and bin parts	Oliver Schneider	-512/+155

2017-07-31	fix for latest nightly	Ralf Jung	-1/+1

2017-07-28	remove some commented-out tracing	Ralf Jung	-2/+0

2017-07-28	avoid anonymous bool	Ralf Jung	-57/+62

2017-07-27	use Cell for memory's aligned flag to avoid infecting interfaces with 'fake' ↵	Ralf Jung	-77/+91
	mutability
2017-07-26	make force_allocation handle packed ByValPair	Ralf Jung	-41/+71

2017-07-26	disable validation code so that it all compiles against current nightly	Ralf Jung	-11/+35

2017-07-26	whitelist some more methods	Ralf Jung	-2/+7

2017-07-25	move undef-check-on-release-validation out, to catch more cases	Ralf Jung	-8/+16

2017-07-25	check mutable UnsafeCell; hack for AtomicBool::get_mut	Ralf Jung	-3/+2

2017-07-25	more hacks to make test cases pass	Ralf Jung	-23/+59

2017-07-25	whitelist things so that more tests pass	Ralf Jung	-6/+44

2017-07-25	suspend lvalues, not locks. refactor memory locking.	Ralf Jung	-163/+239
	Due to this, we are back down to 88 tests
2017-07-25	make LockInfo non-Copy	Ralf Jung	-4/+4

2017-07-25	fix checks when releasing write locks (101)	Ralf Jung	-8/+7

2017-07-25	we don't have to set the frame on every step	Ralf Jung	-3/+0

2017-07-25	handle type of function definitions (98)	Ralf Jung	-4/+7

2017-07-25	we need to normalize associated types also deep in the hierarchy (89)	Ralf Jung	-15/+16

2017-07-25	Handle trait objects. Only very superficial checking of the vtable for now. ↵	Ralf Jung	-1/+15
	(88)
2017-07-25	nits. also, rustc now emits released for drop. (72)	Ralf Jung	-1/+1

2017-07-25	exempt UnsafeCell from checks (69)	Ralf Jung	-0/+5

2017-07-25	move validation to its own file	Ralf Jung	-237/+246

2017-07-25	we have to permit deallocation memory for which we hold a read lock (67)	Ralf Jung	-3/+5

2017-07-25	fix handling univariant enums (62)	Ralf Jung	-2/+6

2017-07-25	permit locking constant memory (60)	Ralf Jung	-9/+14

2017-07-25	fn ptrs and never were accidentally disabled (55)	Ralf Jung	-8/+12

2017-07-25	fix normalizing associated types. this brings us up to 52 passing tests!	Ralf Jung	-3/+12

2017-07-25	handle array types	Ralf Jung	-1/+8

2017-07-25	Re-do the way locking is done during verification	Ralf Jung	-64/+145
	We now lock at the "leaves" on the types, rather than locking at references. In particular, Validate for sth. of non-reference lvalue will also lock the "outer" memory. Also change the way we release write locks, and some refactoring in the memory.